BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
space (8)
nasa (3)
softwar (3)
critic (2)
environ (2)

Stem shuttl$ (all stems)

8 papers:

ICSMEICSM-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.
PADLPADL-2001-NogueiraBGWB #prolog
An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.
ICSEICSE-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.
PADLPADL-1999-Watson
An Application of Action Theory to the Space Shuttle (RW), pp. 290–304.
RERE-1999-WielsE #formal method #modelling #using
Formal Modeling of Space Shuttle Software Change Requests using SCR (VW, SME), pp. 114–122.
FMFME-1996-Vito #formal method #navigation #requirements
Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
CSCWCSCW-1996-WattsWCPKH
Voice Loops as Cooperative Aids in Space Shuttle Mission Control (JCW, DDW, JMC, ESP, RLK, LCH), pp. 48–56.
ISSTAISSTA-1993-Modes
Structured IV&V for the Space Shuttle Flight Software (RWM), p. 81.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.