Title :
A facility for verification, testing and documentation of concurrent process software
Author :
Taylor, Richard N. ; Osterweil, Leon J.
Author_Institution :
University of Colorado
Keywords :
Application software; Computer errors; Concurrent computing; Documentation; Military computing; NASA; Production; Software maintenance; Software testing; Software tools;
Conference_Titel :
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
DOI :
10.1109/CMPSAC.1978.810304