DocumentCode
351647
Title
Verification and validation of requirements for mission critical systems
Author
Easterbrook, Steve
Author_Institution
Institute for Software Research
fYear
1999
fDate
22-22 May 1999
Firstpage
673
Lastpage
674
Keywords
requirements modelling, V&V, software requirements specifications, lightweight formal methods, embedded systems; Embedded software; Embedded system; Formal specifications; Mission critical systems; NASA; Permission; Software systems; Software tools; Space shuttles; Space stations;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1999. Proceedings of the 1999 International Conference on
Conference_Location
Los Angeles, CA, USA
ISSN
0270-5257
Print_ISBN
1-58113-074-0
Type
conf
Filename
841075
Link To Document