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