NTRS - NASA Technical Reports Server

Back to Results
Automatic programming for critical applicationsThe important phases of a software life cycle include verification and maintenance. Usually, the execution performance is an expected requirement in a software development process. Unfortunately, the verification and the maintenance of programs are the time consuming and the frustrating aspects of software engineering. The verification cannot be waived for the programs used for critical applications such as, military, space, and nuclear plants. As a consequence, synthesis of programs from specifications, an alternative way of developing correct programs, is becoming popular. The definition, or what is understood by automatic programming, has been changed with our expectations. At present, the goal of automatic programming is the automation of programming process. Specifically, it means the application of artificial intelligence to software engineering in order to define techniques and create environments that help in the creation of high level programs. The automatic programming process may be divided into two phases: the problem acquisition phase and the program synthesis phase. In the problem acquisition phase, an informal specification of the problem is transformed into an unambiguous specification while in the program synthesis phase such a specification is further transformed into a concrete, executable program.
Document ID
Document Type
Conference Paper
Loganantharaj, Raj L. (University of Southwestern Louisiana Lafayette, LA, United States)
Date Acquired
September 5, 2013
Publication Date
October 1, 1988
Publication Information
Publication: NASA, Marshall Space Flight Center, Fourth Conference on Artificial Intelligence for Space Applications
Subject Category
Distribution Limits
Work of the US Gov. Public Use Permitted.