Home → Magazine Archive → September 1988 (Vol. 31, No. 9) → A comparison of techniques for the specification of... → Abstract

A comparison of techniques for the specification of external system behavior

By Alan M. Davis

Communications of the ACM, Vol. 31 No. 9, Pages 1098-1115

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.

The full text of this article is premium content


No entries found