Investigation of Intrinsically Error-Free Programs.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 27, 1983
Accession Number
ADA132934

Entities

People

  • Andrew Ash
  • G. Victor Wintriss
  • Jeannie Wolf
  • Michael Benjamin Andrews
  • Nicholas Panos

Tags

Communities of Interest

  • Advanced Electronics
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automatic Programming
  • Computer Programming
  • Computer Programs
  • Computers
  • Damage Assessment
  • Engineering
  • Libraries
  • Load Monitoring
  • New York
  • Operating Systems
  • Procedures (Computers)
  • Simulations
  • Software Design
  • Software Development
  • System Software

Fields of Study

  • Computer science
  • Engineering
  • Physics

Readers

  • Calculus or Mathematical Analysis
  • Software Engineering.