NASA NTRS · 20000085893
Transformation Systems at NASA Ames
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Buntine, Wray, Fischer, Bernd, Havelund, Klaus, Lowry, Michael, Pressburger, TOm, Roach, Steve, Robinson, Peter, VanBaalen, Jeffrey. 1999-04-11. Transformation Systems at NASA Ames. https://ntrs.nasa.gov/citations/20000085893
Cite the original work for its findings. Save a collection to share your selection of sources.