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