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

Stefan F. Landherr
August 1989 - Technical Report Inertial Navigation System Simulator: Behavioral Specification (1989)

Authors: Stefan F. Landherr, Mark H. Klein

This 1989 revision specifies the INS simulator program and clarifies and supplements the functional specification.

December 1987 - Technical Report ADA for Embedded Systems: Issues and Questions

Topics: Performance and Dependability

Authors: Nelson W. Weiderman, Mark W. Borger, Andrea L. Cappellini, Susan A. Dart, Mark H. Klein, Stefan F. Landherr

This 1987 report addresses issues and questions related to the use of ADA for embedded systems applications.

December 1987 - Technical Report Annual Technical Report for ADA Embedded Systems Testbed Project

Topics: Performance and Dependability

Authors: Nelson W. Weiderman, Neal Altman, Mark W. Borger, Patrick Donohoe, William E. Hefley, Mark H. Klein, Stefan F. Landherr, Hans Mumm, John A. Slusarz

This technical report provides an overview of the results produced in the first year of the ADA Embedded Systems Testbed Project (through September 30, 1987).

December 1987 - Technical Report Inertial Navigation System Simulator Program: Top-Level Design (1987)

Authors: Mark H. Klein, Stefan F. Landherr

This 1987 document discusses top-level design from three points of view: data flow perspective, the concurrency and control perspective, and the Adamodule perspective.

October 1987 - Technical Report Inertial Navigation System Simulator: Behavioral Specification (1987)

Authors: Stefan F. Landherr, Mark H. Klein

This 1987 report specifies the INS simulator program and clarifies and supplements the functional specification.

March 1987 - Technical Report Evaluation of ADA Environments, Executive Summary

Authors: Nelson W. Weiderman, Neal Altman, Mark W. Borger, Mark H. Klein, Stefan F. Landherr, Roger Smeaton, Rich D'Ippolito, John Kochmar, Alice Sun

This 1987 report provides a detailed description of the Ada Environments methodology and examples of its usage.