Software Engineering Institute Carnegie Mellon

SEI Documents List

[2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994] [1993] [1992] [1991] [1990] [1989] [1988] [1987] [1986] [PDF]

1986 Reports

Curriculum Modules and Support Materials

SEI-SM-4-1.0, ADA235511
Support Materials for Software Configuration Management
Tomayko, J., ed.

September 1986

This support materials package includes materials helpful in teaching a course on configuration management.

http://www.sei.cmu.edu/publications/documents/cms/sm.004.html

Technical Reports

CMU/SEI-86-TR-003, ADA178975
Durra: A Task-Level Description Language Preliminary Reference Manual
Barbacci, M.

Durra is a language designed to support the development of large-grained parallel programming applications. This document is a preliminary reference manual for the syntax and semantics of the language.

http://www.sei.cmu.edu/publications/documents/86.reports/86.tr.003.html

CMU/SEI-86-TR-006, ADA178771
Heterogeneous Machine Simulator, The
Stockton, R.

The heterogeneous machine simulator is a program which attempts to simulate the proposed hardware for the heterogeneous machine at a high level, along with the low level programming abstractions which have been proposed. This will, hopefully, provide: 1) a reasonable basis for programmers to evaluate application designs in the absence of the actual machine; and 2) a testbed for designers to experiment with various reconfigurations which might be difficult to perform on the machine itself. This document presents a basic description of the system, and an example of how a simulation may be run.

http://www.sei.cmu.edu/publications/documents/86.reports/86.tr.006.html

CMU/SEI-86-TR-002, ADA182093
Proposal for a New "Rights in Software" Clause for Software Acquisitions by the Department of Defense
Samuelson, P.; Deasy, K.; & Martin, A.

This report recommends three distinct regulatory strategies for addressing difficulties the DoD has been experiencing with respect to legal issues related to software acquisitions. First, the report reiterates the Software Licensing Project's earlier recommendation that the DoD adopt the proposed Federal Acquisition Regulation (FAR) data rights provisions instead of the proposed revisions to the DoD supplement to the FAR (DoD FAR SUPP). Secondly, in the event that the DoD chooses to adopt a data rights procurement policy different from that found in the data rights provisions of the proposed FAR, this report recommends that the DoD adopt a separate "Rights in Software" clause for software acquisitions, rather than continuing the present practice of handling software procurements under the "Rights in Technical Data" clause. Reasons in support of a separate software acquisition policy, as well as a beginning model "Rights in Software" clause are offered. Finally, in the event that the DoD elects to retain the procurement format presently found in the DoD FAR SUPP provisions governing software and technical data acquisitions, this report offers several concrete recommendations for changes to those regulations which should result in a procurement policy which more effectively meets the mission needs of the Defense Department.

http://www.sei.cmu.edu/publications/documents/86.reports/86.tr.002.html

CMU/SEI-86-TR-004, ADA178769
Specifying Functional and Timing Behavior for Real-Time Applications
Barbacci, M. & Wing, J.

We present a notation and a methodology for specifying the functional and timing behavior of real-time applications for a heterogeneous machine. In our methodology, we build upon well-defined, though isolated, pieces of previous work: Larch and Real-Time Logic. In our notation, we strive to keep separate the functional specification from the timing specification so that a task's functionality can be understood independent of its timing behavior. We show that while there is a clean separation of concerns between these two specifications, the semantics of both pieces as well as their combination are simple.

http://www.sei.cmu.edu/publications/documents/86.reports/86.tr.004.html

CMU/SEI-86-TR-005, ADA200085
Summary of the SEI Workshop on Software Configuration Management
Harvey, K.

This report summarizes the discussion held during the Software Configuration Management meeting at the Software Engineering Institute in Pittsburgh on 16 July 1986.

http://www.sei.cmu.edu/publications/documents/86.reports/86.tr.005.html

CMU/SEI-86-TR-001, ADA169705
Toward a Reform of the Defense Department Software Acquisition Policy
Samuelson, P.

A series of about 120 interviews were conducted with DoD personnel and others recommended by them. This report is an organized catalog of software acquisition problems reported, along with some assessments of their seriousness.

http://www.sei.cmu.edu/publications/documents/86.reports/86.tr.001.html

[2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994] [1993] [1992] [1991] [1990] [1989] [1988] [1987] [1986] [PDF]