BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
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.
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.
Voice Loops as Cooperative Aids in Space Shuttle Mission Control (JCW, DDW, JMC, ESP, RLK, LCH), pp. 48–56.
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.