SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET.

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

Research output: Contribution to journalArticle

2 Citations (Scopus)

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 - Sep 1984
Externally publishedYes

Fingerprint

Specifications

ASJC Scopus subject areas

  • Engineering(all)

Cite this

SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET. / Lindquist, Timothy; Facemire, Jeffrey L.; Kafura, Dennis G.

In: Journal of Pascal, Ada & Modula-2, Vol. 3, No. 5, 09.1984, p. 25-31, 52.

Research output: Contribution to journalArticle

Lindquist, T, Facemire, JL & Kafura, DG 1984, 'SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET.', Journal of Pascal, Ada & Modula-2, vol. 3, no. 5, pp. 25-31, 52.
Lindquist, Timothy ; Facemire, Jeffrey L. ; Kafura, Dennis G. / SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET. In: Journal of Pascal, Ada & Modula-2. 1984 ; Vol. 3, No. 5. pp. 25-31, 52.
@article{16d117857b0545899d97ce058fd398d3,
title = "SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET.",
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.",
author = "Timothy Lindquist and Facemire, {Jeffrey L.} and Kafura, {Dennis G.}",
year = "1984",
month = "9",
language = "English (US)",
volume = "3",
pages = "25--31, 52",
journal = "Journal of Pascal, Ada & Modula-2",
issn = "0747-1351",
publisher = "West Publishing Co.",
number = "5",

}

TY - JOUR

T1 - SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET.

AU - Lindquist, Timothy

AU - Facemire, Jeffrey L.

AU - Kafura, Dennis G.

PY - 1984/9

Y1 - 1984/9

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0021494725&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0021494725&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0021494725

VL - 3

SP - 25-31, 52

JO - Journal of Pascal, Ada & Modula-2

JF - Journal of Pascal, Ada & Modula-2

SN - 0747-1351

IS - 5

ER -