A Specification Technique for the Common APSE (Ada Programming Support Environments) Interface Set.

Abstract

This report demonstrates an approach to specifying kernel Ada support environment interface components. The objectives are to provide a mechanism which allows building a complete enough specification for validation, an understandable specification, and one that is relatively easy to construct. In meeting these objectives, an Abstract Machine approach has been modified and applied to functional description of kernel operations. After motivating an explaining the approach, the paper exemplifies its utility. Interactions among kernel operations and pragmatic implementation limits, which are other needed parts of a specification, are also discussed. (Author)

Open PDF

Document Details

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

Entities

People

  • D. G. Kafura
  • J. L. Facemire
  • T. E. Lindquist

Organizations

  • Virginia Tech

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Science
  • Computers
  • Department Of Defense
  • Environment
  • Governments
  • Instruction Set Architecture
  • Instructions
  • Language
  • Military Research
  • Models
  • National Security
  • Programming Languages
  • Semantics
  • United States
  • United States Government

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design