Performance Optimization in ADA.

Abstract

This report describes the research performed to develop the first prototype of the SPECWARE system. SPECWARE supports the systematic construction of formal specifications and their stepwise refinement into programs. The formal specification language developed under the research, SLANG, is the substrate for further SPECWARE development currently in progress. The research resulted in a software development prototype offering machine-mediated production of optimized, real-time Ada code.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1995
Accession Number
ADA305759

Entities

People

  • Richard Jullig
  • Y. V. Srinivas

Tags

Communities of Interest

  • Advanced Electronics
  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Traffic Control Systems
  • Algorithms
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Construction
  • Control Systems
  • Language
  • Lisp Programming Language
  • Models
  • Prototypes
  • Simulators
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Software Engineering
  • Software Engineering.