Study on the Techniques for Eliciting Software Requirements Compliant with Regulations

在本研究项目中，为了高效地开发符合法规的高质量业务流程和信息系统，我们开发了一种技术来指导需求分析人员通过计算机推导出符合法规的需求，并开发了一种技术来发现违反法规的需求说明（如果有的话）并显示它们。此外，我们已经开发了计算机化的工具来支持基于上述技术的需求分析。

In this research project, in order to develop efficiently business processes and information systems of high quality compliant with regulations, we have developed the technique to guide requirements analysts to elicit requirements compliant with regulations by computer and the technique to find regulatory violations of requirements specifications if any and show them. Furthermore we have developed computerized tools to support requirements analysts based on the above techniques.