Title :
Automated Analysis of Requirement Specifications
Author :
Wilson, William M. ; Rosenberg, Linda H. ; Hyatt, Lawrence E.
Author_Institution :
Software Assurance Technology Center/GSFC
Keywords :
Formal specifications; NASA; Natural languages; Project management; Risk management; Software performance; Software quality; Software tools; Space missions; Space technology;
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
Print_ISBN :
0-89791-914-9
DOI :
10.1109/ICSE.1997.610237