K. Heninger, D. Parnas, J. Shore, and J. Kallander. Software requirements for the A-71 aircraft. Technical Report 3876, Naval Research Lab., Wash., DC, 1978. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Using Model Checking to Generate Tests from Requirements.. - Gargantini, Heitmeyer (1999) (29 citations) (Correct)
....four specifications. Section 6 reviews related work, and Section 7 presents a summary and plans for future work. 2 Background: The SCR Requirements Method The SCR method was formulated in 1978 to specify the requirements of the Op erational Flight Program (OFP) of the U.S. Navy s A 7 aircraft [15]. Since then, many industrial organizations, including Bell Laboratories, Grumman, Ontario Hydro, and Lockheed have used SCR to specify the requirements of practical systems. The largest application to date occurred in 1994 when Lockheed engineers used SCR tables to document the complete ....
K. Heninger, D. Parnas, J. Shore, and J. Kallander. Software requirements for the A-71 aircraft. Technical Report 3876, Naval Research Lab., Wash., DC, 1978.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC