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 systems
Science of Computer Programming, 1987
Decision tables
Software: Practice and Experience, 1983
A demonstration of three requirements language systems
ACM SIGPLAN Notices, 1983
Decision Trees and Diagrams
ACM Computing Surveys, 1982
SDL--CCITT Specification and Description Language
IEEE Transactions on Communications, 1982
Rapid prototyping using executable requirements specifications
ACM SIGSOFT Software Engineering Notes, 1982
Requirements language processing for the effective testing of real-time systems
ACM SIGSOFT Software Engineering Notes, 1978
Petri Nets
ACM Computing Surveys, 1977
Some experience with automated aids to the design of large-scale reliable software
ACM SIGPLAN Notices, 1975
Functional Specification of Call Processing by State Transition Diagram
IEEE Transactions on Communication Technology, 1971