1. 1
W. Royce (1990) "Current Problems." Aerospace Software Engineering Progress in Astronautics and Aeronautics Volume 136 (Eds. Anderson C. and Dorfman M.) (AIAA) pp. 5-15. 1 W. Royce (1990) "Current Problems." Aerospace Software Engineering Progress in Astronautics and Aeronautics Volume 136 (Eds. Anderson C. and Dorfman M.) (AIAA) pp. 5-15.
2. 2
C. Anderson and M. Dorfman Preface to Aerospace Software Engineering Progress in Astronautics and Aeronautics Volume 136 (AIAA). 2 C. Anderson and M. Dorfman Preface to Aerospace Software Engineering Progress in Astronautics and Aeronautics Volume 136 (AIAA).
3. 3
J. A. McDermid (1992) "Dependable Software - The State of the Art." Proceedings of Aerotech '92 (IMechE/IEE) C428/24/212. 3 J. A. McDermid (1992) "Dependable Software - The State of the Art." Proceedings of Aerotech '92 (IMechE/IEE) C428/24/212.
4. 4
S. C. Johnson. and R. W. Butler (1992) "Design for Validation." IEEE Aerospace and Electronic Systems January 1992 (IEEE) pp. 38-43. 4 S. C. Johnson. and R. W. Butler (1992) "Design for Validation." IEEE Aerospace and Electronic Systems January 1992 (IEEE) pp. 38-43.
5. 5
E. M. Gray and R. H. Thayer (1991) "Requirements." In Aerospace Software Engineering Progress in Astronautics and Aeronautics Volume 136 (Eds. Anderson C. and Dorfman M.) (AIAA) pp. 87-121. 5 E. M. Gray and R. H. Thayer (1991) "Requirements." In Aerospace Software Engineering Progress in Astronautics and Aeronautics Volume 136 (Eds. Anderson C. and Dorfman M.) (AIAA) pp. 87-121.