Accession Number : ADA141064

Title :   Specification and Transformation: Automated Implementation.

Descriptive Note : Research rept.,

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

Personal Author(s) : Feather,M S

PDF Url : ADA141064

Report Date : Apr 1984

Pagination or Media Count : 12

Abstract : The research group at ISI (Information science Institute) aims to improve the program development process by applying program transformation to develop implementations from specification. The uses of specifications imply the criteria for a specification language--understandability, testability, and maintainability. We have designed our own specification language, Gist, to meet these criteria. We have sought inspiration for Gist's constructs from the power found in descriptions expressed in natural language. The justifications for our approach are outlined. Our experiences with specifications in Gist, and subsequent transformation of such specifications, suggest implications for the processes of specification and transformation. References point the way to more details on the various issues.

Descriptors :   *Computer programs, *Programming languages, *Specifications, *Transformations, Machine translation, Automation, Compilers, Natural language

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE