Specification and Transformation: Automated Implementation.
UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST
Pagination or Media Count:
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 Gists 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.
- Computer Programming and Software