NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Software development without languagesAutomatic programming generally involves the construction of a formal specification; i.e., one which allows unambiguous interpretation by tools for the subsequent production of the corresponding software. Previous practical efforts in this direction have focused on the serious problems of: (1) designing the optimum specification language; and (2) mapping (translating or compiling) from this specification language to the program itself. The approach proposed bypasses the above problems. It postulates that the specification proper should be an intermediate form, with the sole function of containing information sufficient to facilitate construction of programs and also of matching documentation. Thus, the means of forming the intermediary becomes a human factors task rather than a linguistic one; human users will read documents generated from the specification, rather than the specification itself.
Document ID
19880020008
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Osborne, Haywood S.
(Teledyne Brown Engineering Huntsville, AL, United States)
Date Acquired
September 5, 2013
Publication Date
August 1, 1988
Publication Information
Publication: NASA, Marshall Space Flight Center, Second Conference on Artificial Intelligence for Space Applications
Subject Category
Computer Programming And Software
Accession Number
88N29392
Distribution Limits
Public
Copyright
Public Use Permitted.
Document Inquiry

Available Downloads

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