Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

Kernel Facilities Definition

  • 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 Report

SEI

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, Carnegie Mellon University. 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10645

IEEE

Bamberger. Judith, Coddington. Timothy, Firth. Robert, Klein. Daniel, Stinchcomb. David, Van Scoy. Roger, and Colket. Currie, "Kernel Facilities Definition," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-88-TR-016 , 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10645

APA

Bamberger, Judith., Coddington, Timothy., Firth, Robert., Klein, Daniel., Stinchcomb, David., Van Scoy, Roger., & Colket, Currie. (1988). Kernel Facilities Definition (CMU/SEI-88-TR-016 ). Retrieved April 26, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10645

CHI

Judith Bamberger, Timothy Coddington, Robert Firth, Daniel Klein, David Stinchcomb, Roger Van Scoy, & Currie Colket. Kernel Facilities Definition (CMU/SEI-88-TR-016 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10645

MLA

Bamberger, Judith., Coddington, Timothy., Firth, Robert., Klein, Daniel., Stinchcomb, David., Van Scoy, Roger., & Colket, Currie. 1988. Kernel Facilities Definition (Technical Report CMU/SEI-88-TR-016 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10645

BibTex

@techreport{BambergerKernelFacilities1988,
title={Kernel Facilities Definition},
author={Judith Bamberger and Timothy Coddington and Robert Firth and Daniel Klein and David Stinchcomb and Roger Van Scoy and Currie Colket},
year={1988},
number={CMU/SEI-88-TR-016 },
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10645} }