SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET.

Timothy E. Lindquist, Jeffrey L. Facemire, Dennis G. Kafura

Research output: Contribution to journalArticle

2 Scopus citations

Abstract

An approach to specifying kernel Ada programming support environment interface components. The objectives are to provide a mechanism which allows the building of an understandable and complete enough specification for validation that is relatively easy to construct. In meeting these objectives, an Abstract Machine approach has been modified and applied to a functional description of kernel operations. After explaining the approach and motivation for choosing it is discussed. Interactions among kernel operations and pragmatic implementation limits - which are other needed parts of a specification - are also discussed.

Original languageEnglish (US)
Pages (from-to)25-31, 52
JournalJournal of Pascal, Ada & Modula-2
Volume3
Issue number5
StatePublished - Jan 1 1984
Externally publishedYes

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET.'. Together they form a unique fingerprint.

  • Cite this

    Lindquist, T. E., Facemire, J. L., & Kafura, D. G. (1984). SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET. Journal of Pascal, Ada & Modula-2, 3(5), 25-31, 52.