Generating Executable Code from Formal Specifications of Primitive Objects

Abstract

The concept of developing a model for producing compilable and executable code from formal software specifications has long been a goal of software engineers. Previous research at the Air Force Institute of Technology (AFIT) has been focused on specification and domain analysis. An analysis model is populated using specifications written in Z. Then, a set of preliminary design transforms refines the specification in the analysis model. This research bridges the gap between analysis and design, allowing source code to be produced from formal specifications of primitive objects using transformational programming. The contribution of this thesis is to transform the analysis model for primitive objects into a design model representing the primitive objects, and to produce compilable and executable source code in Ada 95 from the resulting design model.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1999
Accession Number
ADA361722

Entities

People

  • Travis W. Tankersley

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Concrete
  • Engineering
  • Grammars
  • High Level Languages
  • Language
  • Object Oriented Programming
  • Programming Languages
  • Software Development
  • Specifications
  • Standards
  • United States

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Computational Modeling and Simulation
  • Computer Vision.