A comparison of techniques for the specification of external system behavior
- 1 September 1988
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 31 (9), 1098-1115
- https://doi.org/10.1145/48529.48534
Abstract
The elimination of ambiguity, inconsistency, and incompleteness in a Software Requirements Specification (SRS) document is inherently difficult, due to the use of natural language. The focus here is a survey of available techniques designed to reduce these negatives in the documentation of a software product's external behavior.Keywords
This publication has 23 references indexed in Scilit:
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Decision tablesSoftware: Practice and Experience, 1983
- A demonstration of three requirements language systemsACM SIGPLAN Notices, 1983
- Decision Trees and DiagramsACM Computing Surveys, 1982
- SDL--CCITT Specification and Description LanguageIEEE Transactions on Communications, 1982
- Rapid prototyping using executable requirements specificationsACM SIGSOFT Software Engineering Notes, 1982
- Requirements language processing for the effective testing of real-time systemsACM SIGSOFT Software Engineering Notes, 1978
- Petri NetsACM Computing Surveys, 1977
- Some experience with automated aids to the design of large-scale reliable softwareACM SIGPLAN Notices, 1975
- Functional Specification of Call Processing by State Transition DiagramIEEE Transactions on Communication Technology, 1971