DocumentCode
338625
Title
The role of formal methods in software standards
Author
Kegley, Kathleen A.
Author_Institution
Victoria Stavridou
fYear
1999
fDate
1999
Firstpage
248
Lastpage
248
Keywords
Application software; Automatic testing; Bridges; Communication effectiveness; Delay; Formal languages; Life testing; Natural languages; Software standards; Standards development;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Standards, 1999. Proceedings. Fourth IEEE International Symposium and Forum on
ISSN
1082-3670
Print_ISBN
0-7695-0068-4
Type
conf
DOI
10.1109/SESS.1999.767663
Filename
767663
Link To Document