Accession Number : ADA139918

Title :   Automating the Transformational Development of Software. Volume 2. Appendices.

Descriptive Note : Research rept.,


Personal Author(s) : Fickas,S F

Full Text :

Report Date : Mar 1983

Pagination or Media Count : 279

Abstract : This report proposes a new model of software development by transformation. It provides a formal basis for automating and documenting the software development process. The current manual transformation model has two major problems: (1) long sequences of low-level transformations are required to move from formal specification to implementation, and (2) the problem-solving used to reach an implementation is not recorded. Left implicit (and undocumented) are the goals and methods that lead to transformation applications, and the criteria used to select one transformation over another. The new model, as incorporated in a system called Glitter, explicitly represents transformation goals, methods, and selection criteria. Glitter achieves a user-supplied goal by carrying out the problem-solving required to generated an appropriate sequence of transformation applications. For example, the user asks Glitter to eliminate a data structure that would be expensive to store or a function costly to compute. Glitter achieves this by locating all references to the offending construct and devising an appropriate substitution for each. Glitter was able to automatically generated 90 percent of the planning and transformation steps in the examples studied. This report is published in two volumes. Volume 1 contains the text of the report: Volume 2 is a set of seven appendices relating to and illustrating the text in Volume 1. (Author)

Descriptors :   *Computer program documentation , *Computer programming , *Automation , *Transformations , Problem solving , Specifications , Routing , Catalogs

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE