Software engineering: planning for change
Software engineering: planning for change
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
A simple approach to specifying concurrent systems
Communications of the ACM
Software development process from natural language specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Program design by informal English descriptions
Communications of the ACM
| Hi-index | 0.00 |
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.