8 papers:
ICSM-2001-ZelkowitzR #independence #maintenance #safety #validation #verification- The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 118–126.
PADL-2001-NogueiraBGWB #prolog- An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.
ICSE-2001-ZelkowitzR #comprehension #safety- Understanding IV & V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 349–357.
PADL-1999-Watson- An Application of Action Theory to the Space Shuttle (RW), pp. 290–304.
RE-1999-WielsE #formal method #modelling #using- Formal Modeling of Space Shuttle Software Change Requests using SCR (VW, SME), pp. 114–122.
FME-1996-Vito #formal method #navigation #requirements- Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
CSCW-1996-WattsWCPKH- Voice Loops as Cooperative Aids in Space Shuttle Mission Control (JCW, DDW, JMC, ESP, RLK, LCH), pp. 48–56.
ISSTA-1993-Modes- Structured IV&V for the Space Shuttle Flight Software (RWM), p. 81.