Publication Date:
2019-07-13
Description:
In this paper, we describe the experiences of the Automated Software Engineering Group at the NASA Ames Research Center in the development and application of three different transformation systems. The systems span the entire technology range, from deductive synthesis, to logic-based transformation, to almost compiler-like source-to-source transformation. These systems also span a range of NASA applications, including solving solar system geometry problems, generating data analysis software, and analyzing multi-threaded Java code.
Keywords:
Computer Programming and Software
Type:
Software Transfer Systems 1999; May 16, 1999; Los Angeles, CA; United States
Format:
application/pdf
Permalink