Tool support of orderly transition from informal to formal descriptions in requirements engineering

摘要

In the analysis and specification of user requirements, software engineers are often confronted with difficulties due to the complexity of the problem, the communication barriers between peoples of diverse backgrounds, the inconsistency and incompleteness of user's statement of requirements and frequent changes of user's requirements. This paper reports a tool that supports engineers to cope with these difficulties by automatic consistency and completeness checking and automatic generation of functional specifications.