Specifying Software Requirements for Complex Systems: New Techniques and Their Application
- 1 January 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-6 (1), 2-13
- https://doi.org/10.1109/tse.1980.230208
Abstract
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.Keywords
This publication has 7 references indexed in Scilit:
- Designing Software for Ease of Extension and ContractionIEEE Transactions on Software Engineering, 1979
- Use of Abstract Interfaces in the Development of Software for Embedded Computer SystemsPublished by Defense Technical Information Center (DTIC) ,1977
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Proving monitorsCommunications of the ACM, 1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- MonitorsCommunications of the ACM, 1974
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972