Creating formal specifications from requirements documents
Edward G. Amoroso · ACM SIGSOFT Software Engineering Notes · 1995
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.