Reports in Performance & Dependability

sorted descending by Publication Date


Case Study: Model-Based Analysis of the Mission Data System Reference Architecture
(May 2010)
Authors: Peter H. Feiler, David P. Gluch, Kurt Woodham (L-3 Communications-Titan Group)

Results of SEI Independent Research and Development Projects (FY 2009)
(December 2009)
Authors: Len Bass, Paul C. Clements, Dionisio de Niz, Peter H. Feiler, Matthew Geiger, Jeffrey Hansen, Jörgen Hansson, Scott Hissam, James Ivers, Mark H. Klein, Karthik Lakshmanan, Gabriel Moreno, Daniel Plakosh, R. Rajkumar, Kristopher Rush, Cal Waits, Kurt C. Wallnau, Lutz Wrage

System Architecture Virtual Integration: An Industrial Case Study
(December 2009)
Authors: Peter H. Feiler, Jörgen Hansson, Dionisio de Niz, Lutz Wrage

Towards an Assurance Case Practice for Medical Devices
(October 2009)
Authors: Charles B. Weinstock, John B. Goodenough

ASSIP Study of Real-Time Safety-Critical Embedded Software-Intensive System Engineering Practices
(February 2008)
Authors: Peter H. Feiler, Dionisio de Niz

Flow Latency Analysis with the Architecture Analysis and Design Language (AADL)
(January 2008)
Authors: Peter H. Feiler, Jörgen Hansson

Developing AADL Models for Control Systems: A Practitioner's Guide
(July 2007)
Authors: John J. Hudak, Peter H. Feiler

Dependability Modeling with the Architecture Analysis & Design Language (AADL)
(July 2007)
Authors: Peter H. Feiler, Ana Rugina

Modeling of System Families
(July 2007)
Author: Peter H. Feiler

On System Scalability
(March 2006)
Authors: Charles B. Weinstock, John B. Goodenough

The Architecture Analysis & Design Language (AADL): An Introduction
(February 2006)
Authors: Peter H. Feiler, David P. Gluch, John J. Hudak

Embedded Systems Architecture Analysis Using SAE AADL
(June 2004)
Authors: Peter H. Feiler, David P. Gluch, John J. Hudak, Bruce Lewis (U.S. Army AMCOM)

Dependability Cases
(May 2004)
Authors: Charles B. Weinstock, John B. Goodenough, John J. Hudak

Real-Time Application Development with OSEK: A Review of the OSEK Standards
(November 2003)
Author: Peter H. Feiler

Model-Based Verification: Abstraction Guidelines
(October 2002)
Authors: John J. Hudak, Santiago Comella-Dorda, David P. Gluch, Grace Lewis, Charles B. Weinstock

Model-Based Verification: An Engineering Practice
(August 2002)
Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock, David Zubrow

Model-Based Verification: Guidelines for Generating Expected Properties
(January 2002)
Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Charles B. Weinstock

2001 High Maturity Workshop, The
(January 2002)
Authors: Mark C. Paulk, Mary Beth Chrissis

Model-Based Verification: Analysis Guidelines
(December 2001)
Authors: Grace Lewis, Santiago Comella-Dorda, David P. Gluch, John J. Hudak, Charles B. Weinstock

Framework Document: Model-Based Verification Pilot Study
(October 2001)
Authors: David P. Gluch, John J. Hudak, Robert Janousek, Julie A. Walker, Charles B. Weinstock, David Zubrow

Model-Based Verification: Claim Creation Guidelines
(October 2001)
Authors: Santiago Comella-Dorda, David P. Gluch, John J. Hudak, Grace Lewis, Charles B. Weinstock

Model-Based Verification: Scope, Formalism, and Perspective Guidelines
(October 2001)
Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock

Proceedings of the Real-Time Systems Engineering Workshop
(August 2001)
Authors: B. Craig Meyers, Peter H. Feiler, Theodore F. Marz

Real-Time Systems Engineering: Lessons Learned from Independent Technical Assessments
(June 2001)
Authors: Theodore F. Marz, Daniel Plakosh

Improving Predictability in Embedded Real-Time Systems
(December 2000)
Authors: Peter H. Feiler, Bruce Lewis (U.S. Army AMCOM), Steve Vestal (Honeywell Technology Center)

CMMI for Systems Engineering/Software Engineering, Version 1.02, Continuous Representation (CMMI-SE/SW, V1.02, Continuous)
(December 2000)
Author: CMMI Product Development Team

CMMI for Systems Engineering/Software Engineering, Version 1.02, Staged Representation (CMMI-SE/SW, V1.02, Staged)
(December 2000)
Author: CMMI Product Development Team

Simulation Model for Managing Survivability of Networked Information Systems, A
(December 2000)
Authors: Soumyo D. Moitra, Suresh Konda

Survivability of Network Systems: An Empirical Analysis, The
(December 2000)
Authors: Soumyo D. Moitra, Suresh Konda

The Personal Software Process (PSP)
(November 2000)
Author: Watts S. Humphrey

CMMI for Systems Engineering/Software Engineering/Integrated Product and Process Development, Version 1.02, Continuous Representation (CMMI-SE/SW/IPPD, V1.02, Continuous)
(November 2000)
Author: CMMI Product Development Team

Team Software Process: An Overview and Preliminary Results of Using Disciplined Practices, The
(November 2000)
Author: Donald R. McAndrews

Team Software Process (TSP), The
(November 2000)
Author: Watts S. Humphrey

Activity Framework for COTS-Based Systems, An
(October 2000)
Authors: Lisa Brownsword, Carol A. Sledge, Tricia Oberndorf

Simplex Architecture Performance and Cost
(October 2000)
Authors: Michael J. Gagliardi, Theodore F. Marz, Neal Altman, Julie A. Walker

Modeling the Space Shuttle Liquid Hydrogen Subsystem
(May 2000)
Author: Bemina Atanacio

Volume II: Technical Concepts of Component-Based Software Engineering, 2nd Edition
(May 2000)
Authors: Felix Bachmann, Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long (Aberystwyth University), John E. Robert, Robert C. Seacord, Kurt C. Wallnau

Case Study: Development of a Baseline Controller for Automatic Landing of an F-16 Aircraft Using Linear Matrix Inequalities (LMIs)
(May 2000)
Authors: Danbing Seto, Enrique Ferriera, Theodore F. Marz

Volume I: Market Assessment of Component-Based Software Engineering Assessments
(May 2000)
Authors: Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long (Aberystwyth University), John E. Robert, Robert C. Seacord, Kurt C. Wallnau

Securing Public Web Servers
(May 2000)
Authors: Klaus-Peter Kossakowski, Julia H. Allen

Survey of Legacy System Modernization Approaches, A
(April 2000)
Authors: Santiago Comella-Dorda, Kurt C. Wallnau, Robert C. Seacord, John E. Robert

Analysis of Lead Assessor Feedback for CBA IPI Assessments Conducted July 1998-October 1999
(April 2000)
Authors: Donna K. Dunaway, Mui Leng Seow, Michele Baker

A Case Study on Analytical Analysis of the Inverted Pendulum Real-Time Control System
(November 1999)
Authors: Danbing Seto, Lui R. Sha

Software Process Improvement Works! (Advanced Information Services Inc.)
(November 1999)
Authors: Pat Ferguson (Advanced Information Services Inc), Gloria Leman (Advanced Information Services Inc), Prasad Perini (Advanced Information Services Inc), Susan Renner (Advanced Information Services Inc), Girish Seshagiri (Advanced Information Services Inc)

Simplex in a Hostile Communications Environment: The Coordinated Prototype
(August 1999)
Authors: Lui R. Sha, Danbing Seto, Neal Altman, Charles B. Weinstock, Lui R. Sha, Danbing Seto

Engineering Method for Safety Region Development, An
(August 1999)
Authors: Danbing Seto, Lui R. Sha

Introduction to Software Engineering Practices Using Model-Based Verification, An
(April 1999)
Authors: David P. Gluch, Jared Brockway

Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV), A
(November 1998)
Authors: David P. Gluch, Grama R. Srinivasan

Continuously Improving Software Process
(November 1998)
Authors: Ron R. Willis (Raytheon Systems Company), Robert M. Rova (Raytheon Systems Company), Mike D. Scott (Raytheon Systems Company), Martha J. Johnson (Raytheon Systems Company), John F. Ryskowski (Raytheon Systems Company), Jane A. Moon (Raytheon Systems Company), Thomas O. Winfield (Raytheon Systems Company), Ken C. Shumate (Raytheon Systems Company)

rlogin(1): The Untold Story
(November 1998)
Author: Larry Rogers

Model-Based Verification: A Technology for Dependable System Upgrade
(September 1998)
Authors: David P. Gluch, Charles B. Weinstock

Mapping MetaH into ACME
(July 1998)
Authors: Mario R. Barbacci, Charles B. Weinstock

Assessment of CORBA and POSIX Designs for FAA En Route Resectorization
(April 1998)
Authors: B. Craig Meyers, Daniel Plakosh, Patrick R. Place, Mark H. Klein, Rick Kazman

Study in the Use of CORBA in Real-Time Settings: Model Problems for the Manufacturing Domain, A
(January 1998)
Authors: Daniel Plakosh, Kurt C. Wallnau, Andreas Polze (Humboldt University of Berlin)

Workshop on the State of the Practice in Dependably Upgrading Critical Systems
(August 1997)
Authors: David P. Gluch, Charles B. Weinstock

Perspective on the State of Research in Fault-Tolerant Systems, A
(July 1997)
Authors: Charles B. Weinstock, David P. Gluch

An Architectural Description of the Simplex Architecture
(March 1996)
Authors: Jose German Rivera, Alejandro Andres Danylyszyn, Charles B. Weinstock, Lui R. Sha, Michael J. Gagliardi

Best Training Practices Within the Software Engineering Industry
(March 1996)
Authors: Nancy R. Mead, Lawrence Tobin, Suzanne D. Couturiaux

IDEAL: A Users Guide for Software Process Improvement
(February 1996)
Author: Robert McFeeley

Description of the Systems Engineering Capability Maturity Model Appraisal Method Version 1.1, A
(February 1996)
Authors: Dorothy Kuhn, James Armitage, Kerinia Cusick, Suzanne Garcia-Miller, Hal Pierson, Mark Hanna, Peter Malpass, Hal Pierson

State of the Practice Report: Problems in the Practice of Performance Engineering
(February 1996)
Author: Mark H. Klein

Distributed System Design Using Generalized Rate Monotonic Theory
(September 1995)
Authors: Lui R. Sha, Shirishq S. Sathaye

OOD Paradigm for Flight Simulators (2nd Edition), An
(June 1995)
Authors: Kenneth Lee, Michael Rissman, Rich D'Ippolito, Chuck Plinta, Roger Van Scoy

Measuring Object-Oriented Software Products
(June 1995)
Author: Clark Archer (Winthrop University)

Rate Monotonic Analysis for Real-Time Systems: Instructor's Guide
(April 1994)
Authors: Ruth Ravenel, Ray Obenza

Lecture Notes on Requirements Elicitation
(March 1994)
Authors: Sridhar Raghavan (Digital Equipment Corporation), Gregory Zelesnik, Gary Ford

Practical Guide to the Technology and Adoption of Software Process Automation, A
(March 1994)
Author: Alan M. Christie

Interim Profile Development and Trial of a Method to Rapidly Measure Software Engineering Maturity Status
(March 1994)
Authors: Roselyn Whitney, Elise Nawrocki, Will Hayes, Jane Siegel

Software Capability Evaluation (SCE) Version 2.0 Implementation Guide
(February 1994)
Author: Members Of The CMM-Based Appraisal Project

Exploring Hypermedia Information Services for Disseminating Software Engineering Information
(February 1994)
Author: William E. Hefley

Survey of Commonly Applied Methods for Software Process Improvement, A
(February 1994)
Authors: Robert D. Austin, Daniel J. Paulish

A Taxonomy of Coordination Mechanisms Used in Real-Time Software Based on Domain Analysis
(December 1993)
Author: Jose L. Fernandez

Reference Model for Project Support Environments (Version 2.0)
(November 1993)
Authors: David J. Carney, Tricia Oberndorf, David J. Carney, M. Zelkowitz (University of Maryland)

Use of ASN.1 and XDR for Data Representation in Real-Time Distributed Systems, The
(October 1993)
Authors: B. Craig Meyers, Gary Chastek

Results of a Workshop on Research in Incident Handling
(September 1993)
Author: Thomas A. Longstaff

Safety-Critical Software: Status Report and Annotated Bibliography
(June 1993)
Authors: Patrick R. Place, Kyo C. Kang (Pohang University of Science and Technology)

Process-Centered Development Environments: An Exploration of Issues
(June 1993)
Author: Alan M. Christie

AMORE: The Advanced Multimedia Organizer for Requirements Elicitation
(June 1993)
Authors: Michael Christel, David P. Wood, Scott Stevens

Software Process Framework for the SEI Capability Maturity Model Repeatable Level, A
(June 1993)
Authors: Timothy G. Olson, Linda Parker Gates, Julia L. Mullaney, James W. Over, Neal R. Reizer, Marc I. Kellner, Richard W. Phillips, Salvatore J. DiGennaro

Dependable Software Technology Exchange
(June 1993)
Authors: Charles B. Weinstock, Fred Schneider

Study in Software Maintenance, A
(June 1993)
Authors: Susan A. Dart, Alan M. Christie, Alan W. Brown

Taxonomy-Based Risk Identification
(June 1993)
Authors: Marvin Carr, Suresh Konda, Ira Monarch, Clay F. Walker, F. Carol Ulrich

Integrating 001 Tool Support into the Feature-Oriented Domain Analysis Methodology
(May 1993)
Author: Robert W. Krut, Jr.

Distributed Real-Time System Design: Theoretical Concepts and Applications
(April 1993)
Authors: Lui R. Sha, Shirishq S. Sathaye

Lecture Notes on Engineering Measurement for Software Engineers
(April 1993)
Author: Gary Ford

Lecture Notes on Software Process Improvement
(April 1993)
Author: Laurie H. Werth

Overview of PCTE: A Basis for a Portable Common Tool Environment, An
(March 1993)
Authors: Fred Long (Aberystwyth University), Edwin J. Morris

Formal Specification and Verification of Concurrent Programs
(February 1993)
Author: Dan Berry

Report on Senior Executive Seminars on Software Issues
(December 1992)
Authors: Frank Sisti, William Sweet

Control Integration through Message Passing
(December 1992)
Author: Alan W. Brown

Durra: A Task Description Language User's Manual (Version 2)
(December 1992)
Authors: Dennis N. Doubleday, Mario R. Barbacci

Performance and ADA Style for the AN/BSY-2 Submarine Combat System
(December 1992)
Authors: Neal Altman, Patrick Donohoe

Guide to CASE Adoption
(November 1992)
Authors: Dennis B. Smith, Edwin J. Morris, Kimberly Stepien-Oakes

Joint Integrated Avionics Working Group (JIAWG) Object-Oriented Domain Analysis Method (JODA)
(November 1992)
Author: Robert R. Holibaugh

Academic Legitimacy of the Software Engineering Discipline
(November 1992)
Author: Dan Berry

ADA Validation Tests for Rate Monotonic Scheduling Algorithm
(February 1992)
Authors: Keith A. Kohout, Kent Meyer, John B. Goodenough

Conceptual Framework for System Fault Tolerance, A
(February 1992)
Authors: Walter Heimerdinger (Honeywell), Charles B. Weinstock

Design Specifications for ADAptive Real-Time Systems
(December 1991)
Author: Randall W. Lichota

Durra: A Task-Level Description Language Reference Manual (Version 3)
(December 1991)
Authors: Mario R. Barbacci, Dennis N. Doubleday, Michael J. Gardner, Randall W. Lichota, Charles B. Weinstock

Building Distributed ADA Applications from Specifications and Functional Components
(December 1991)
Authors: Dennis N. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota

Fault Tolerant Systems Practitioner's Workshop June 10-11, 1991
(October 1991)
Authors: Walter Heimerdinger (Honeywell), Charles B. Weinstock

Issues in Tool Acquisition
(September 1991)
Authors: Paul Zarrella, Dennis B. Smith, Edwin J. Morris

Durra: An Integrated Approach to Software Specification, Modeling, and Rapid Prototyping
(September 1991)
Authors: Mario R. Barbacci, Dennis N. Doubleday, Charles B. Weinstock, Randall W. Lichota

Application-Level Implementation of the Sporadic Server, An
(September 1991)
Authors: Michael Gonzalez Harbour, Lui R. Sha

Serpent: Dialogue Editor User's Guide
(September 1991)

Models for Undergraduate Project Courses in Software Engineering
(August 1991)
Authors: Mary Shaw, James E. Tomayko

Measurement in Practice
(July 1991)
Authors: Stan Rifkin, Charles Cox

Software Engineering Project Course with a Real Client, A
(July 1991)
Authors: Bernd Bruegge, John Cheng, Mary Shaw

Issues in Real-Time Data Management
(July 1991)
Author: Mark H. Graham

Materials to Support Teaching a Project-Intensive Introduction to Software Engineering
(July 1991)
Author: James E. Tomayko

A Comparison of ADA 83 and C++
(June 1991)
Author: Nelson W. Weiderman

Context Analysis of the Movement Control Domain for the Army Tactical Command and Control System (ATCCS), A
(June 1991)
Authors: A. Spencer Peterson, Sholom G. Cohen

Notes on Applications of the SQL ADA Module Description Language (SAMeDL)
(June 1991)
Authors: Gary Chastek, Mark H. Graham, Gregory Zelesnik

Serpent: Ada Application Developer's Guide
(June 1991)
Author: User I. Project

Scenes of Software Inspections: Video Dramatizations for the Classroom
(May 1991)
Author: Lionel Deimel

Tool Integration and Environment Architectures
(May 1991)
Authors: Kurt C. Wallnau, Peter H. Feiler

Serpent: Slang Reference Manual
(May 1991)

Evaluation of Process Modeling Improvements
(April 1991)
Authors: Robert W. Krut, Jr., David P. Wood

SEI Report on Graduate Software Engineering Education (1991)
(April 1991)
Author: Gary Ford

Serpent System Guide
(April 1991)

Serpent: Saddle User's Guide
(April 1991)
Author: User I. Project

Rate Monotonic Analysis for Real-Time Systems
(March 1991)
Authors: Lui R. Sha, Mark H. Klein, John B. Goodenough

Rationale for SQL ADA Module Description Language SAMeDL
(March 1991)
Authors: Gary Chastek, Mark H. Graham, Gregory Zelesnik

Configuration Management Models in Commercial Environment
(March 1991)
Author: Peter H. Feiler

Generic Avionics Software Specification
(December 1990)
Authors: Doug Locke, John B. Goodenough

Spectrum of Functionality in Configuration Management Systems
(December 1990)
Author: Susan A. Dart

Analysis of Input/Output Paradigms for Real-Time Systems, An
(July 1990)
Authors: Mark H. Klein, Tom Ralya

Informatics for a New Century: Computing Education for 1990s and Beyond
(July 1990)
Author: Mary Shaw

Experiences Porting the Distributed ADA Real-Time Kernel
(June 1990)
Authors: James E. Tomayko, Brian Smith

Hartstone Benchmark Results and Analysis
(June 1990)
Author: Patrick Donohoe

Implementing Sporadic Servers in ADA
(May 1990)
Authors: Brinkley Sprunt, Lui R. Sha

National Software Capacity: Near-Term Study
(May 1990)
Authors: Jane Siegel, Shelby Stewman, Suresh Konda, Patrick D. Larkey, W. Gary Wagner

Support Materials for Language and System Support for Concurrent Programming
(April 1990)

DARK Technology Transition Plan
(April 1990)
Author: Judy Bamberger

Concepts of Concurrent Programming
(April 1990)
Author: David Bustard (University of Ulster)

Language and System Support for Concurrent Programming
(April 1990)
Author: Michael B. Feldman

SEI Report on Undergraduate Software Engineering Education (1990)
(March 1990)
Author: Gary Ford

Hartstone Benchmark User's Guide, Version 1.0
(March 1990)
Authors: Patrick Donohoe, Ruth Shapiro, Nelson W. Weiderman

Software Requirements
(January 1990)
Author: John W. Brackett (Boston University)

Software Specification: A Framework
(January 1990)
Author: H. Dieter Rombach

Inertial Navigation System Simulator Program: Top-Level Design
(January 1990)
Author: Kenneth J. Fowler

Role of Assessment in Software Process Improvement, The
(December 1989)
Authors: David Kitson, Watts S. Humphrey

Version Description and Installation Guide
(December 1989)
Authors: Judy Bamberger, Timothy Coddington, Robert Firth, Dan Klein, Dave Stinchcomb, Roger Van Scoy

What a Software Engineer Needs to Know: I. Program Vocabulary
(December 1989)
Authors: Mary Shaw, Dario Giuse, Raj Reddy

Recommendations from the AIA/SEI Workshop on Research Advances Required for Real-Time Software Systems in the 1990s
(December 1989)
Authors: William Sweet, Michael J. Gagliardi, Mark H. Klein, Reed Little, Roger Van Scoy, Robert Veltre, Charles B. Weinstock

Comparative Evaluations of Four Specification Methods for Real-Time Systems
(December 1989)
Authors: David P. Wood, William G. Wood

Dark Porting and Extension Guide Kernel Version 3.0
(December 1989)
Authors: Judy Bamberger, Timothy Coddington, Robert Firth, Dan Klein, Dave Stinchcomb, Roger Van Scoy

Kernel Architecture Manual
(December 1989)
Author: Judy Bamberger

Model Solution for C3I Message Translation and Validation, A
(December 1989)
Author: Judy Bamberger

Software Design Methods for Real-Time Systems
(December 1989)
Author: Hassan Gomaa

Software Development Using VDM
(December 1989)
Author: Jan Storbank Pedersen

User Interface Development
(November 1989)
Author: Gary Perlman (Ohio State University)

APSE Interactive Monitor: A Software Artifact for Software Engineering Education
(November 1989)
Authors: Chuck Engle Jr., Gary Ford, James E. Tomayko

Real-Time Software Engineering in ADA: Observations and Guidelines
(September 1989)
Authors: Mark W. Borger, Mark H. Klein

Durra Application Debugger/Monitor, The
(September 1989)
Author: Dennis N. Doubleday

Durra: A Task-Level Description Language Reference Manual
(September 1989)
Authors: Mario R. Barbacci, J. Wing

Durra: A Task-Level Description Language User's Manual
(September 1989)
Authors: Mario R. Barbacci, Dennis N. Doubleday, Charles B. Weinstock

Continuing Education in Software Engineering: Teaching Tricks of the Trade September 1989
(September 1989)

Conformance Criteria for the SAME Approach to Binding Ada Programs to SQL
(August 1989)
Author: James W. Moore (IBM Systems Integration Division)

Classifying Software Design Methods
(August 1989)
Authors: William G. Wood, John P. Long

Hartstone: Synthetic Benchmark Requirements for Hard Real-Time Applications
(June 1989)
Author: Nelson W. Weiderman

CASE Planning and the Software Process
(May 1989)
Author: Watts S. Humphrey

Guidelines for the Use of the SAME
(May 1989)
Author: Mark H. Graham

SAME Standard Package Installation Guide
(May 1989)
Author: Mark H. Graham

Scheduling Sporadic and Aperiodic Events in a Hard Real-Time System
(April 1989)
Authors: Brinkley Sprunt, Lui R. Sha

Real-Time Locking Protocol, A
(April 1989)
Authors: Lui R. Sha, Ragunathan Rajkumar, Sang Son, Chang Chun-Hyon

Real-Time Scheduling Theory and ADA
(April 1989)
Authors: Lui R. Sha, John B. Goodenough

Implementing Priority Inheritance Algorithms in an ADA Runtime System
(April 1989)
Authors: Mark W. Borger, Ragunathan Rajkumar

Unit Testing and Analysis
(April 1989)
Author: Larry Morell (College of William and Mary)

Support Materials for The Software Technical Review Process
(April 1989)

Adoption of Software Engineering Innovations in Organizations
(April 1989)
Authors: J. Bayer, N. Melone

ADA Adoption Handbook: Compiler Evaluation and Selection Version 1.0
(March 1989)
Author: Nelson W. Weiderman

Software Maintenance Exercises for a Software Engineering Project Course
(February 1989)
Authors: Chuck Engle Jr., Gary Ford, Timothy Korson

Human-Machine Interaction Considerations for Interactive Software
(February 1989)
Authors: Len Bass, J. Coutaz

Object-Oriented Solution Example: A Flight Simulator Electrical System, An
(February 1989)
Authors: Kenneth Lee, Michael Rissman

Performance and Reliability Enhancement of the Durra Runtime Environment
(February 1989)
Author: Charles B. Weinstock

Command, Control, Communications, and Intelligence Node: A Durra Application Example
(February 1989)
Authors: Mario R. Barbacci, Dennis N. Doubleday, Charles B. Weinstock

Conducting SEI-Assisted Software Process Assessments
(February 1989)
Authors: Timothy G. Olson, Watts S. Humphrey, David Kitson

Software Process Modeling: Principles of Entity Process Models
(February 1989)
Authors: Watts S. Humphrey, Marc I. Kellner

State of Software Engineering Practice: A Preliminary Report, The
(February 1989)
Authors: Watts S. Humphrey, David Kitson, Timothy Kasse

Software Engineering Education Directory (1989)
(February 1989)

Formal Verification of Programs
(December 1988)
Authors: Alfs T. Berztiss (University of Pittsburgh), Mark A. Ardis (Stevens Institute of Technology)

Introduction to Software Verification and Validation
(December 1988)
Author: James Collofello

Software Metrics
(December 1988)
Author: Everald E. Mills

Real-Time Scheduling Theory and ADA (1988)
(November 1988)
Authors: Lui R. Sha, John B. Goodenough

Mode Change Protocols for Priority-Driven Preemptive Scheduling
(November 1988)
Authors: Lui R. Sha, John B. Goodenough

Experiment Planning for Software Development: Redevelopment Experiment
(November 1988)
Authors: James M. Perry, Kyo C. Kang (Pohang University of Science and Technology), Sholom G. Cohen, Robert R. Holibaugh, A. Spencer Peterson

Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
(November 1988)
Authors: Jan S. Pedersen, Mark H. Klein

System Specification Document: Shipboard Inertial Navigation System Simulator and External Computer
(October 1988)
Authors: Nelson W. Weiderman, B. Craig Meyers

Functional Performance Specification for an External Computer System Simulator
(October 1988)
Authors: Hans Mumm, B. Craig Meyers

Functional Performance Specification for an Inertial Navigation System
(October 1988)
Authors: Nelson W. Weiderman, B. Craig Meyers

A Practical Application of the Ceiling Protocol in a Real-Time System
(March 1988)
Authors: Doug Locke, John B. Goodenough

Introduction to the Serpent User Interface Management System
(March 1988)
Authors: Len Bass, Erik Hardy, Kurt Hoyt, Reed Little, Robert C. Seacord

Conference Report: Overcoming the Disincentives to Modernization in the Defense Industry
(March 1988)
Author: William E. Hefley

Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The
(March 1988)
Authors: John B. Goodenough, Lui R. Sha

Issues in Software: A Blue Two Visit Feasibility Assessment
(March 1988)
Author: William E. Hefley

Method for Assessing the Software Engineering Capability of Contractors, A
(March 1988)
Authors: Watts S. Humphrey, William Sweet

IDL: Background and Status
(December 1987)
Authors: Don Stone, John Nestor

Evolving Persistent Objects in a Distributed Environment
(December 1987)
Author: John Nestor

Interfacing ADA and SQL
(December 1987)
Authors: Chuck Engle Jr., Robert Firth, Mark H. Graham, William G. Wood

Views for Evolution in Programming Environments
(December 1987)
Author: John Nestor

ADA for Embedded Systems: Issues and Questions
(December 1987)
Authors: Nelson W. Weiderman, Mark W. Borger, Andrea L. Cappellini, Susan A. Dart, Mark H. Klein, Stefan F. Landherr

Ada Performance Benchmarks on the MicroVAX II: Summary and Results, Version 1.0
(December 1987)
Author: Patrick Donohoe

ADA Performance Benchmarks on the Motorola MC68020: Summary and Results
(December 1987)
Author: Patrick Donohoe

Annual Technical Report for ADA Embedded Systems Testbed Project
(December 1987)
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

Report on the SEI Workshop on Ada in Freshman Courses
(December 1987)
Author: Gary Ford

Survey of Real-Time Performance Benchmarks for the Ada Programming Language, A
(December 1987)
Author: Patrick Donohoe

Inertial Navigation System Simulator Program: Top-Level Design (1987)
(December 1987)
Authors: Mark H. Klein, Stefan F. Landherr

Prototype Real-Time Monitor: Executive Summary
(December 1987)
Authors: Roger Van Scoy, Chuck Plinta, Rich D'Ippolito, Kenneth Lee, Michael Rissman

Prototype Real-Time Monitor: Requirements
(November 1987)
Authors: Roger Van Scoy, Chuck Plinta, Rich D'Ippolito, Kenneth Lee, Michael Rissman

Prototype Real-Time Monitor: User's Manual
(November 1987)
Authors: Roger Van Scoy, Chuck Plinta, Timothy Coddington, Rich D'Ippolito, Kenneth Lee, Michael Rissman

A Classification Scheme for Software Development Methods
(November 1987)
Authors: Robert Firth, William G. Wood, Richard D. Pethia, Lauren Roberts Gold, Vicky Mosley, Tom Dolce

Criteria for Constructing and Using an ADA Embedded System Testbed
(November 1987)
Author: Nelson W. Weiderman

Prototype Real-Time Monitor: ADA Code
(November 1987)
Author: Roger Van Scoy

Prototype Real-Time Monitor: Design
(November 1987)
Authors: Roger Van Scoy, Chuck Plinta, Rich D'Ippolito, Kenneth Lee, Michael Rissman

Final Evaluation of MIPS M/500 Final Report for the RISC Insertion Project
(November 1987)
Authors: Dan Klein, Robert Firth

VAXELN Experimentation: Programming a Real-Time Periodic Task Dispatcher Using VAXELN ADA 1.1
(November 1987)
Author: Mark W. Borger

Support Materials for Formal Specification of Software
(October 1987)
Author: Alfs T. Berztiss (University of Pittsburgh)

Models of Software Evolution: Life Cycle and Process
(October 1987)
Author: Walter Scacchi

Factors Causing Unexpected Variations in ADA Benchmarks
(October 1987)
Author: Neal Altman

Inertial Navigation System Simulator: Behavioral Specification
(October 1987)
Authors: Stefan F. Landherr, Mark H. Klein

VAXELYN Experimentation: Programming a Real-Time Clock and Interrupt Handling Using VAXELYN ADA 1.1
(October 1987)
Author: Mark W. Borger

Formal Specification of Software
(October 1987)
Author: Alfs T. Berztiss (University of Pittsburgh)

Timing Variation in Dual Loop Benchmarks
(October 1987)
Authors: Neal Altman, Nelson W. Weiderman

Software Development
(October 1987)
Authors: Susan A. Dart, Robert J. Ellison

Inertial Navigation System Simulator: Behavioral Specification (1989)
(October 1987)
Authors: Stefan F. Landherr, Mark H. Klein

Teaching a Project-Intensive Introduction to Software Engineering
(October 1987)
Author: James E. Tomayko

Support Materials for Formal Specification of Software
(October 1987)
Author: Alfs T. Berztiss (University of Pittsburgh)

Guide to the Classification and Assessment of Software Engineering Tools, A
(September 1987)
Authors: Robert Firth, Vicky Mosley, Richard D. Pethia, Lauren Roberts Gold, William G. Wood

Preliminary Report on Conducting SEI-Assisted Assessments of Software Engineering
(July 1987)
Authors: Watts S. Humphrey, David Kitson

Information Protection
(July 1987)
Author: Fred Cohen

Assurance of Software Quality
(July 1987)
Author: Bradley J. Brown (Boeing Military Airplane Company)

Software Configuration Management
(July 1987)
Author: James E. Tomayko

Software Safety
(July 1987)
Author: Nancy Leveson

Use of Representation Clauses and Implementation-Dependent Features in Ada: I. Overview, The
(July 1987)
Authors: B. Craig Meyers, Andrea L. Cappellini

Use of Representation Clauses and Implementation-Dependent Features in Ada: IIA. Evaluation Questions, The
(July 1987)
Authors: B. Craig Meyers, Dawn Cappelli

Use of Representation Clauses and Implementation-Dependent Features in Ada: IIIA. Qualitative Results for VAX Ada, The
(July 1987)
Authors: B. Craig Meyers, Dawn Cappelli

Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures, The
(July 1987)
Authors: B. Craig Meyers, Dawn Cappelli

Use of Representation Clauses and Implementation-Dependent Features in Ada: IVA. Qualitative Results for Ada/M(44), The
(July 1987)
Authors: B. Craig Meyers, Dawn Cappelli

Distributed ADA Real-Time Kernel
(July 1987)
Authors: Judy Bamberger, Timothy Coddington, Robert Firth, Dan Klein, Dave Stinchcomb, Roger Van Scoy, Currie Colket

Software Engineering Education: An Interim Report from the Software Engineering Institute
(July 1987)
Authors: Gary Ford, Norman Gibbs, James E. Tomayko

Software and System Warranty Issues
(June 1987)
Authors: Larry Druffel, William G. Wood, Richard D. Pethia

Specifying Functional and Timing Behavior for Real-Time Applications
(December 1986)
Authors: Mario R. Barbacci, J. Wing

Summary of the SEI Workshop on Software Configuration Management
(December 1986)
Author: Katherine E. Harvey

Durra: A Task-Level Description Language Preliminary Reference Manual
(December 1986)
Author: Mario R. Barbacci

Heterogeneous Machine Simulator, The
(December 1986)
Author: Robert G. Stockton

Help us improve

Visitor feedback helps us continually improve our site.

Please tell us what you
think with this short
(< 5 minute) survey.