Issue No.01 - January (1980 vol.6)
K.L. Heninger , Naval Research Laboratory
This paper concerns new techniques for making requirements specifications precise, concise, unambiguous, and easy to check for completeness and consistency. The techniques are well-suited for complex real-time software systems; they were developed to document the requirements of existing flight software for the Navy's A-7 aircraft. The paper outlines the information that belongs in a requirements document and discusses the objectives behind the techniques. Each technique is described and illustrated with examples from the A-7 document. The purpose of the paper is to introduce the A-7 document as a model of a disciplined approach to requirements specification; the document is available to anyone who wishes to see a fully worked-out example of the approach.
specifications, Documentation techniques, functional specifications, real-time software, requirements, requirements definition, software requirements
K.L. Heninger, "Specifying Software Requirements for Complex Systems: New Techniques and Their Application", IEEE Transactions on Software Engineering, vol.6, no. 1, pp. 2-13, January 1980, doi:10.1109/TSE.1980.230208