TY - JOUR
T1 - SPECIFICATION TECHNIQUE FOR THE COMMON APSE INTERFACE SET.
AU - Lindquist, Timothy E.
AU - Facemire, Jeffrey L.
AU - Kafura, Dennis G.
PY - 1984/1/1
Y1 - 1984/1/1
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
SN - 0747-1351
VL - 3
SP - 25-31, 52
JO - Journal of Pascal, Ada & Modula-2
JF - Journal of Pascal, Ada & Modula-2
IS - 5
ER -