Transforming Aggregate Object-Oriented Formal Specifications to Code

Abstract

The feasibility of a transformational formal-based software engineering tool has been the focus of AFIT research for several years. Until now, the main research emphasis has been placed on the individual components that would comprise such a transformational system; therefore, this research demonstrates how a representative collection of aggregate objects would be transformed from specification to code. The research focused on critical integration issues associated with a formal-based software transformation system, such as the source specification, the problem space architecture, design architecture, design transforms, and target software transforms. Software is critical in today's Air Force, yet its specification, design, and development have not achieved a satisfactory level of reliability or consistency. Techniques such as formal-based methods apply sound engineering principles to software development, greatly increasing software's quality and reliability.

Open PDF

Document Details

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

Entities

People

  • John A. Kissack

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Algorithms
  • Application Software
  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Engineering
  • Grammars
  • Instructors
  • Language
  • Reliability
  • Software Design
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Parallel and Distributed Computing.
  • Software Engineering

Technology Areas

  • Space