search menu icon-carat-right cmu-wordmark

Kernel Facilities Definition

July 1988 Technical Report
Judy Bamberger, Timothy Coddington, Robert Firth, Dan Klein, Dave Stinchcomb, Roger Van Scoy, Currie Colket

This document defines the conceptual design of the Kernel by specifying the underlying models, assumptions, and 2) restrictions that govern the design and implementation of the Kernel.

Publisher:

Software Engineering Institute

CMU/SEI Report Number

CMU/SEI-88-TR-016

Abstract

This document defines the conceptual design of the Kernel by specifying 1) the underlying models, assumptions, and 2) restrictions that govern the design and implementation of the Kernel; and the behavioral and performance requirements to which the Kernel is built. This document is the requirements and top level design document for the Kernel.