The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September (1983 vol.9)
pp: 580-589
C.L. Heitneter , Computer Science and Systems Branch, Naval Research Laboratory
ABSTRACT
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
specifications, Abstract specification, communications system, formal specifications, requirements document, requirements specification
CITATION
C.L. Heitneter, J.D. McLean, "Abstract Requirements Specification: A New Approach and Its Application", IEEE Transactions on Software Engineering, vol.9, no. 5, pp. 580-589, September 1983, doi:10.1109/TSE.1983.235117
109 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool