This Article 
 Bibliographic References 
 Add to: 
September 1983 (vol. 9 no. 5)
pp. 580-589
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.
Index Terms:
Formal specifications,Contracts,Measurement standards,Standards development,Computer science,Software maintenance,Personnel,Software algorithms,Data structures,specifications,Abstract specification,communications system,formal specifications,requirements document,requirements specification
C.L. Heitmeyer, J.D. McLean, "Abstract requirements specification: A new approach and its application," IEEE Transactions on Software Engineering, vol. 9, no. 5, pp. 580-589, Sept. 1983, doi:10.1109/TSE.1983.235117
Usage of this product signifies your acceptance of the Terms of Use.