Title :
Mathematics-based Software Engineering For Completely Validated Software
Author :
Linger, Richard C.
Author_Institution :
IBM Corporation
Keywords :
Computer errors; Error analysis; Milling machines; Probability; Programming; Software debugging; Software engineering; Software testing; Statistical analysis; System testing;
Conference_Titel :
Software Engineering, 1989. 11th International Conference on
Print_ISBN :
0-8186-8941-2
DOI :
10.1109/ICSE.1989.714451