Specifying Software Requirements for Complex Systems: New Techniques and Their Application Export

@article{heninger80, 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.}, author = {Heninger, Kathryn}, citeulike-article-id = {761546}, citeulike-linkout-0 = {http://www.cs.wm.edu/~coppit/other-papers/heninger.pdf}, journal = {IEEE Transactions on Software Engineering}, keywords = {complex, requirements, scr}, month = {January}, number = {1}, pages = {2--13}, posted-at = {2006-07-16 23:20:43}, priority = {0}, title = {Specifying Software Requirements for Complex Systems: New Techniques and Their Application}, url = {http://www.cs.wm.edu/~coppit/other-papers/heninger.pdf}, volume = {6}, year = {1980} }

TY - JOUR ID - heninger80 L3 - citeulike-article-id:761546 N2 - 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. IS - 1 JF - IEEE Transactions on Software Engineering EP - 13 TI - Specifying Software Requirements for Complex Systems: New Techniques and Their Application VL - 6 SP - 2 KW - complex KW - requirements KW - scr AU - Heninger, Kathryn PY - 1980/01// UR - http://www.cs.wm.edu/~coppit/other-papers/heninger.pdf ER -