Accession Number : ADA139918


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


Descriptive Note : Research rept.,


Corporate Author : UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST


Personal Author(s) : Fickas,S F


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a139918.pdf


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