See this document in CiteSeerX!

Transformation Systems at NASA Ames (1999)  (Make Corrections)  (1 citation)
Wray Buntine, Bernd Fischer, Klaus Havelund, Michael Lowry, Tom Pressburger, Steve Roach, Peter Robinson, Jeffrey Van Baalen
Proc. of the Int'l Workshop on Software Transformation Systems, Los Angeles, May 1999.



  Home/Search   Context   Related

 
View or download:
nasa.gov/ic/publication...19990073.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  nasa.gov/ic/publications/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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