Accession Number : ADA132934

Title :   Investigation of Intrinsically Error-Free Programs.

Descriptive Note : Final rept. 20 Apr 81-19 Jun 83,

Corporate Author : COMPUTER SYSTEM ASSOCIATES SAN DIEGO CA

Personal Author(s) : Wintriss,G Victor ; Wolf,Jeannie ; Andrews,Michael ; Panos,Nicholas ; Ash,Andrew

PDF Url : ADA132934

Report Date : 27 Jul 1983

Pagination or Media Count : 49

Abstract : The report analyzes the application of machine design techniques to software development. The techniques of finite state machine design are extended to software design. The requirements for an automated programming system are developed and a prototype system is described. (Author)

Descriptors :   *Error correction codes, *Computer programs, *Systems engineering, Automation, Computer programming, Planning, Prototypes, Requirements, Variables, Subroutines

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE