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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=351647
بازگشت