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
10.1145/48529.48534

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

0 Comments

No entries found

Purchase the Article

A comparison of techniques for the specification of external system behavior

The full text of this article is premium content

0 Comments

Forgot your password?

Need Access?

Join the ACM

Subscribe to Communications of the ACM Magazine