NASA Logo

NTRS

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
19890006199
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
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
Computer Programming And Software
Accession Number
89N15570
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.
No Preview Available