Title :
A system for analysis and verification of software design
Author :
Hammond, Linda S. ; Murphy, Daniel L. ; Smith, Mark K.
Author_Institution :
Boeing Computer Services Company
Keywords :
Application software; Error correction; Information analysis; Military computing; Process control; Production; Programming; Software design; Software development management; Testing;
Conference_Titel :
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
DOI :
10.1109/CMPSAC.1978.810305
