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):

Report Date:

1984-04-01

Pagination or Media Count:

12.0

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 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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE