DocumentCode :
2974730
Title :
Mathematics-based Software Engineering For Completely Validated Software
Author :
Linger, Richard C.
Author_Institution :
IBM Corporation
fYear :
1989
fDate :
15-18 May 1989
Firstpage :
358
Lastpage :
358
Keywords :
Computer errors; Error analysis; Milling machines; Probability; Programming; Software debugging; Software engineering; Software testing; Statistical analysis; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1989. 11th International Conference on
ISSN :
0270-5257
Print_ISBN :
0-8186-8941-2
Type :
conf
DOI :
10.1109/ICSE.1989.714451
Filename :
714451
Link To Document :
بازگشت