search menu icon-carat-right cmu-wordmark

Kernel Facilities Definition

Technical Report
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.

Cite This Technical Report

Bamberger, J., Coddington, T., Firth, R., Klein, D., Stinchcomb, D., Van Scoy, R., & Colket, C. (1988, July 1). Kernel Facilities Definition. (Technical Report CMU/SEI-88-TR-016). Retrieved April 16, 2024, from https://insights.sei.cmu.edu/library/kernel-facilities-definition/.

@techreport{bamberger_1988,
author={Bamberger, Judith and Coddington, Timothy and Firth, Robert and Klein, Daniel and Stinchcomb, David and Van Scoy, Roger and Colket, Currie},
title={Kernel Facilities Definition},
month={Jul},
year={1988},
number={CMU/SEI-88-TR-016},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/kernel-facilities-definition/},
note={Accessed: 2024-Apr-16}
}

Bamberger, Judith, Timothy Coddington, Robert Firth, Daniel Klein, David Stinchcomb, Roger Van Scoy, and Currie Colket. "Kernel Facilities Definition." (CMU/SEI-88-TR-016). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, July 1, 1988. https://insights.sei.cmu.edu/library/kernel-facilities-definition/.

J. Bamberger, T. Coddington, R. Firth, D. Klein, D. Stinchcomb, R. Van Scoy, and C. Colket, "Kernel Facilities Definition," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-88-TR-016, 1-Jul-1988 [Online]. Available: https://insights.sei.cmu.edu/library/kernel-facilities-definition/. [Accessed: 16-Apr-2024].

Bamberger, Judith, Timothy Coddington, Robert Firth, Daniel Klein, David Stinchcomb, Roger Van Scoy, and Currie Colket. "Kernel Facilities Definition." (Technical Report CMU/SEI-88-TR-016). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Jul. 1988. https://insights.sei.cmu.edu/library/kernel-facilities-definition/. Accessed 16 Apr. 2024.

Bamberger, Judith; Coddington, Timothy; Firth, Robert; Klein, Daniel; Stinchcomb, David; Van Scoy, Roger; & Colket, Currie. Kernel Facilities Definition. CMU/SEI-88-TR-016. Software Engineering Institute. 1988. https://insights.sei.cmu.edu/library/kernel-facilities-definition/