Title: Specifying Software Requirements for Complex Systems: New Techniques and Their Application
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 ...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.Read More
Publication Year: 1980
Publication Date: 1980-01-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 512
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot