Affiliation:
1. Secure Systems Department, AT&T Bell Laboratories, Whippany, NJ
Abstract
An approach is introduced for creating a model-based formal specification from an informal requirements document. The approach employs a structured categorization and evolutionary refinement of informal requirements to functional requirements, goals, implementation demands, theorems, and axioms stated with respect to a formal specification. The evolutionary refinement terminates when the specification and axioms can be expressed using constructs in a target specification language. Guidance is provided for integrating requirements changes, existing automated support, and informal design activities into the refinement. The approach is demonstrated using informal requirements for an RS-232 repeater device.
Publisher
Association for Computing Machinery (ACM)
Reference17 articles.
1. The existence of refinement mappings
2. Program design by informal English descriptions
3. [Al87] M. Alford Requirements Driven Development With Emphasis on Systems Engineering Ascent Logic Corporation San Jose CA. 1987. [Al87] M. Alford Requirements Driven Development With Emphasis on Systems Engineering Ascent Logic Corporation San Jose CA. 1987.
4. [DoD85] Department of Defense Trusted Computer System Evaluation Criteria DoD 5200.28-STD. December 1985. [DoD85] Department of Defense Trusted Computer System Evaluation Criteria DoD 5200.28-STD. December 1985.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantic software engineering;Encyclopedia with Semantic Computing and Robotic Intelligence;2017-03
2. Semantic Languages for Software Engineering;Semantic Computing;2010-07-20
3. FROM SEMANTICOBJECTS TO SEMANTIC SOFTWARE ENGINEERING;International Journal of Semantic Computing;2007-03