A comparison of techniques for the specification of external system behavior
Alan Mark Davis · Communications of the ACM · 1988
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.