Issue No. 05 - September (1983 vol. 9)
C.L. Heitmeyer , Computer Science and Systems Branch, Naval Research Laboratory
An abstract requirements specification states system requirements precisely without describing a real or a paradigm implementation. Although such specifications have important advantages, they are difficult to produce for complex systems and hence are seldom seen in the "real" programming world. This paper introduces an approach to producing abstract requirements specifications that applies to a significant class of real-world systems, including any system that must reconstruct data that have undergone a sequence of transformations. tions. It also describes how the approach was used to produce a requirements document for SCP, a small, but nontrivial Navy communications system. The specification techniques used in the SCP requirements document are introduced and illustrated with examples.
Formal specifications, Contracts, Measurement standards, Standards development, Computer science, Software maintenance, Personnel, Software algorithms, Data structures
C. Heitmeyer and J. McLean, "Abstract requirements specification: A new approach and its application," in IEEE Transactions on Software Engineering, vol. 9, no. 5, pp. 580-589, .