Specification and Transformation: Automated Implementation.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1984
Accession Number
ADA141064

Entities

People

  • M. S. Feather

Organizations

  • University of Southern California

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Acquisition
  • Automatic
  • Classification
  • Computer Programming
  • Computers
  • Contracts
  • Design Criteria
  • Information Science
  • Language
  • Natural Languages
  • New York
  • Security
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design