Wray Buntine, Bernd Fischer, Klaus Havelund, Michael Lowry, Tom Pressburger, Steve Roach, Peter Robinson, Jeffrey Van Baalen  Home/Search
Context Related
| nasa.gov/ic/publication...19990073.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nasa.gov/ic/publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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,... (Update)
Context of citations to this paper: More
.... [Mahoney Laskey, 1998] student modeling for intelligent tutoring [Gertner et al., 1998] and synthesis of data analysis programs [Buntine et al., 1999]. Most recently, research has focused on yet more structured approaches, introducing concepts from object oriented languages...
Cited by: More
An Overview of Some Recent Developments in Bayesian Problem.. - Haddaway (1999) (Correct)
Similar documents (at the sentence level):
56.6%: Transformation Systems at NASA Ames - Buntine, Fischer, Havelund, Lowry, .. (1999) (Correct)
Active bibliography (related documents): More All
0.0: Self-descriptive Software Components - Mittermeir, Pozewaunig (Correct)
0.0: Measuring Functional Cohesion - Bieman, Ott (1994) (Correct)
0.0: Maintenance Support for Untyped Object-Oriented Programs - Jinhua Li (Correct)
Similar documents based on text: More All
0.8: Experience Report on Automated Procedure Construction for.. - Roach, Van Baalen (Correct)
0.6: Using Decision Procedures to Accelerate Domain-Specific.. - Van Baalen, Roach (1999) (Correct)
0.5: Meta-Amphion: Scaling up High-Assurance Deductive Program.. - Roach, al. (1997) (Correct)
BibTeX entry: (Update)
W. Buntine, K. Havelund, M. Lowry, T. Pressburger, S. Roach, P. Robinson, and J. Van Baalen. Transformation systems at NASA Ames. In: Proc. of the Int'l Workshop on Software Transformation Systems, Los Angeles, May 1999. http://citeseer.ist.psu.edu/article/buntine99transformation.html More
@inproceedings{ buntine99transformation,
author = "W. Buntine and K. Havelund and M. Lowry and T. Pressburger and S. Roach
and P. Robinson and J. Van Baalen",
title = "Transformation systems at {NASA} Ames",
booktitle = "Proc. of the Int'l Workshop on Software Transformation Systems, Los Angeles, May 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/article/buntine99transformation.html" }
Citations (may not include all citations):69 Curry: Essays on Combinatory Logic (context) - Seldin, Hindley et al. - 1980
28 Software Engineering (context) - Synthesis - 1992
1 Workshop on Logic Program Synthesis and Transformation (context) - Proc, th - 1998
1 SoftwareTools for Technology Transfer (context) - JavaPathFinder, in - 1999
Documents on the same site (http://ic.arc.nasa.gov/ic/publications/): More
Using Runtime Analysis to Guide Model Checking of Java Programs - Havelund (2000) (Correct)
IsoWAN: A NASA Science and Engineering Information and.. - Korsmeyer, Chow, Conroy (2000) (Correct)
Autonomous Rovers for Mars Exploration - Washington, Golden, Bresina.. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC