On Formalism in Specifications
- 1 January 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 2 (1) , 6-26
- https://doi.org/10.1109/ms.1985.229776
Abstract
A critique of a natural-language specification, followed by presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications.Keywords
This publication has 10 references indexed in Scilit:
- Specification of the UNIX Filing SystemIEEE Transactions on Software Engineering, 1984
- Formal specification of a display-oriented text editorScience of Computer Programming, 1982
- Abstract Data Type Specification in the Affirm SystemIEEE Transactions on Software Engineering, 1980
- A controlled experiment in program testing and code walkthroughs/inspectionsCommunications of the ACM, 1978
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- Structured Analysis for Requirements DefinitionIEEE Transactions on Software Engineering, 1977
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- Toward a theory of test data selectionPublished by Association for Computing Machinery (ACM) ,1975
- The humble programmerCommunications of the ACM, 1972
- Programming by action clustersBIT Numerical Mathematics, 1969