DocumentCode
312971
Title
Automated Analysis of Requirement Specifications
Author
Wilson, William M. ; Rosenberg, Linda H. ; Hyatt, Lawrence E.
Author_Institution
Software Assurance Technology Center/GSFC
fYear
1997
fDate
17-23 May 1997
Firstpage
161
Lastpage
171
Keywords
Formal specifications; NASA; Natural languages; Project management; Risk management; Software performance; Software quality; Software tools; Space missions; Space technology;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1997., Proceedings of the 1997 International Conference on
ISSN
0270-5257
Print_ISBN
0-89791-914-9
Type
conf
DOI
10.1109/ICSE.1997.610237
Filename
610237
Link To Document