Accession Number : ADA140889

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

Descriptive Note : Technical rept.,

Corporate Author : VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG DEPT OF COMPUTER SCIENCE

Personal Author(s) : Lindquist,T E ; Facemire,J L ; Kafura,D G

PDF Url : ADA140889

Report Date : Apr 1984

Pagination or Media Count : 41

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)

Descriptors :   *Computer programming, *Interfaces, Specifications, Methodology, Specifications, Validation

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE