Back to FAQ

Ada Reports & Papers
(Part 3)

[Part 1] [Part 2] [Part 3] [Part 4] [Part 5] [Part 6] [Part 7] [Part 8] [Part 9]


Spectrum of Functionality in Configuration Management Systems

Abstract: This paper's intent is to highlight a spectrum of features provided by existing configuration management systems. The spectrum shows features as being extensions or generalizations of other features and these extensions represent the progress. As part of presenting the features, the scope of issues concerning users of CM systems is discussed. No single CM system provides all the functionality required by different kinds of users. Rather, each system addresses some part of a spectrum of functionality. Several systems are briefly described.

Author: Dart, Susan

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-90-TR-11; ESD-90-TR-212

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/90


Tool Version Management Technology: A Case Study

Abstract: This report describes a portion of the problem of maintaining tools for the purpose of software development. It discusses an innovative solution to tool version management available in the commercially available Network Software Environment (NSE) from Sun Microsystems, Inc. It applies NSE mechanisms to solve three problems that are common to the use and management of tools for software development.

Author: Feiler, Peter H.; Grace F. Downey

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-90-TR-25; ESD-90-TR-226

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/90


STARS/Users Workshop: Final Report - Issues for Discussion Groups

Abstract: This final report containes all the material produced for and from the STARS/Users Workshop: 1- Reader's Guide, 2- Information Provided to Attendees (Final Workshop Agenda, STARS Program Presentations), 3- Issues for Discussion Groups (STARS Program Concerns, Business Practices, Technology Transfer, Technical Barriers to Reuse, Non-Technical Barriers to Reuse, Process Management Support, Process Definition, Software Engineering Environment Coverage and Effectiveness, Architecture/Environments, Evaluation - 1, Evaluation - 2, Workshop Attendees Not Assigned to Discussion Groups, Overall STARS Program Responses), and Appendices.

Author: Bamberger, Judy (ed)

Publisher: SEI

Reference Number: CMU/SEI Technical Report: CMU/SEI-90-TR-32, ESD-90-TR-232

Sponsoring Organization: Ada/STARS Program (of SEI)

Publication Date: 12/90


An Optimal Static Scheduling Algorithm for Hard Real-Time Systems Specified in a Prototyping Language

Abstract: Thesis. The Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL) are tools that have been designed to aid in rapid prototyping. Within the framework of CAPS the Execution Support System (ESS) controls the execution of the prototype. The Static Scheduler is the component of the ESS which extracts and realizes critical timing constraints and precedence constraints for operators. The construction of a Static Scheduling Algorithm provides the foundation for handling hard real-time constraints during the execution of PSDL. The proposed work will be based on the theories of optimal sequencing through molecular decomposition, as well as enumeration techniques. An optimal algorithm will provide the analyst with a definitive method for determining whether a given design can meet its hard real-time requirements.

Author: Cervantes, Julian J.

Publisher: Naval Postgraduate School, Monterey, CA 93943-5000

Producing Organization: Naval Postgraduate School

Publication Date: 12/89


Evaluations of Some Scheduling Algorithms for Hard Real-Time Systems

Abstract: The static scheduler uses the information of timing constraints and precedence constraints to determine whether a feasible schedule can be built. This construction provides the foundation for handling the execution for Real-time systems. The goal of this thesis is to provide improved versions of the Static Scheduler.

Author: Bao-Hua, Fan

Publisher: Naval Postgraduate School, Monterey, CA 93943-5000

Producing Organization: Naval Postgraduate School

Publication Date: 6/90


Requirements Analysis for a Low Cost Combat Direction System

Abstract: This study provides a detailed set of initial requirements for such a system. The approach is to implement the basic features of a Combat Direction System (CDS) on a microprocessor based workstation. This low cost CDS (LCCDS) will initially be installed on non-combatant vessels which currently have no computer processing capability at all. Eventually the LCCDS may be used to augment current processing capability of CDS equipped combatants followed by future systems designed around high speed (SAFENET) networks of tactical workstations.

Author: Seveney, James A.; Guenter P. Steinberg

Publisher: Naval Postgraduate School, Monterey, CA 93943-5000

Producing Organization: Naval Postgraduate School

Publication Date: 6/90


Multiprocessor Scheduling for Hard Real-Time Software

Abstract: This report builds upon work previously done in the development of the Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PDSDL) and presents a conceptual design for the pioneer prototype of the static scheduler for multiprocessors which are part of the CAPS execution support system. Scheduling PSDL operators in multiprossesor systems to meet the timing constraints is the main part of this thesis. Implementation of the conceptual design will be the basis for further work in this area.

Author: Hsu, Liangchuan

Publisher: Naval Postgraduate School, Monterey, CA 93943-5000

Producing Organization: Naval Postgraduate School

Publication Date: 6/90


Transformations in Specification-Based Software Revolution

Abstract: This paper presents a classification schema for the concepts and applications of software transformation in software evolution. Correctness preserving program transformations have been widely used for program development from an initial specification. We consider a more realistic case, where the specification evolves, rather than being fixed in advance. We outline a transformational prototyping methodology, and develop an associated model to describe the process. An example illustrates the ideas, and software tool support and directions for future research are discussed. Thesis.

Author: Berzins, V.; R. Kopas; Luqi; and A. Yehudai

Publisher: Naval Postgraduate School, Monterey, CA 93943-5000

Reference Number: NPS52-90-034

Producing Organization: Naval Postgraduate School

Publication Date: 8/90


The Development of a Rapid Prototyping Environment

Abstract: This thesis explores the development and integration of rapid prototyping tools for the Computer Aided Prototyping Systems (CAPS), which supports the design and evolution of large, reliable embedded software systems while significantly reducing their associated development and maintenance costs. We have defined and implemented a user interface while testing previous tools, refining the designs of the tools and either refining the implementations or generating the initial implementations. The user interface provides systematic access to the tools of the environment to support the underlying rapid prototyping methodology.

Author: White, Laura J.

Publisher: Naval Postgraduate School, Monterey, CA 93943-5000

Producing Organization: Naval Postgraduate School

Publication Date: 12/89


The Classification and Evaluation of Computer-Aided Software Engineering Tools

Abstract: This thesis investigates what tools are available, proposes a general classification scheme to assist those investigating tools to decide where a tool falls within the software engineering process and identifies a tool's capabilities and limitations. It also provides guidance for the evaluation of a tool and evaluates three commercially available tools.

Author: Manley, Gary W.

Publisher: Naval Postgraduate School, Monterey, CA 93943-5000

Sponsoring Organization: National Science Foundation

Producing Organization: Naval Postgraduate School

Publication Date: 9/90


Guidelines for the Acquisition Management of a Project Using an Ada-Based Design Language (ADL)

Abstract: Contains advice for the acquisition manager on how to procure and evaluate software designed with an ADL.

Publisher: Software Productivity Solutions, Inc., P.O. Box 361697, Melbourne, FL 32936

Sponsoring Organization: National Avionics Center

Producing Organization: Software Productivity Solutions, Inc.

Publication Date: 1/85


Guidelines for the Development of an Ada-Based Design Language (ADL)

Abstract: Contains recommendations on the features and characteristics to be possessed by an ADL for use in developing government software. Intended for use primarily by ADL developers in designing and implementing an ADL, the document focuses on technical language concerns. The document is also used by government acquisition managers as a source of ADL requirements, evaluation and acceptance criteria.

Publisher: Software Productivity Solutions, Inc.; P.O. Box 361697, Melbourne, FL 32936

Sponsoring Organization: Naval Avionics Center

Producing Organization: Software Productivity Solutions, Inc.

Publication Date: 1/86


ADL Guidelines

Abstract: This report presents a brief history of Ada-based design languages (ADLs) and a detailed analysis of current issues surrounding the use of ADLs.

Publisher: Software Productivity Solutions, Inc. P.O. Box 361697, Melbourne, FL 32396

Reference Number: CDRL 0001AB

Sponsoring Organization: Naval Avionics Center

Producing Organization: Software Productivity Solutions, Inc.

Publication Date: 1/86


Guidelines for the Development of an Ada-Based Design Language (ADL) Toolset

Abstract: This document contains recommendations on the functional requirements for a minimal set of tools which support the development of designs done using an ADL. These tools are intended to augment the current ALS/N (Ada Langauge System/Navy) support environment. It may also be used as a source of ADL toolset evaluation and acceptance criteria, and also contract requirements, as recommended in the ADL acquisition manager's guidelines document.

Publisher: Software Productivity Solutions, Inc., P.O. Boc 361697, Melbourne, FL 32936

Sponsoring Organization: Naval Avionics Center

Producing Organization: Software Productivity Solutions, Inc.

Publication Date: 1/85


A Static Scheduler for the Computer Aided Prototyping System: An Implementation Guide

Abstract: This report represents a pioneering effort to develop a Static Scheduler for the CAPS Execution Support System using the Ada programming language. The Static Scheduler initially extracts critical operators, timing constraints and precedence relationships from a high-level prototype source program. It then creates a static schedule for run-time execution, using worst case scenarios, guaranteeing that timing constraints are met. The primary goal of this report is to provide the scheduling algorithms and implementation guidelines for the Static Scheduler. Secondary goals are to demonstrate the significance of continued research to telecommunications applications and to demonstrate the feasibility of Ada as the implementation language. See Document # 13171 for an earlier version.

Author: Janson, Dorothy M., and Luqi

Publisher: Naval Postgraduate School, Monterey, CA 93943-5000

Reference Number: NPS52-88-020

Producing Organization: Naval Postgraduate School

Publication Date: 9/88


Proceedings of the ACM SIGSOFT: International Workshop on Formal Methods in Software Development

Abstract: The purpose of the workshop was to provide a forum in which researchers could discuss the role that formal methods can and should play in large-scale software development, the strong and weak points of existing formal methods, and the most promising ways to increase the use of formal methods in the future. The titles of the papers contained in these proceedings are as follows: " On the Soundness of Graphical Representations of Interconnected Processes in LOTOS," "Experience with an Estelle Development System," "Making Languages More Powerful by Removing Limitations," "Toward Special-Purpose Program Verification," "Constructing Programs in a Calculus of Lazy Interpreters," "The Role of Formal Reusable Frameworks," "Formal Specifications for a Clinical Cyclotron Control System," "Applying VDM to Large Development Systems," "The Algebraic Specification Language LOTOS: An Industrial Experience," "Invariant Properties in a Dialog System," "L.O: A Parallel Executable Temporal Logic Language," "Formal Manipulation of Modular Software Systems," "Formal Methods in Mathematics," "Formal Methods in Transformational Derivation of Programs," "Fomalised Development of Software by Machine Assisted Transformation," "Structured Analysis -- Formal Design, Using Stream and Object Oriented Formal Specification," "Adding Relational Abstraction to Programming Languages," "Experience with the Larch Prover," "Application of Formal Methods to System and Software Specification," "Verified Program Support Environments."

Author: Moriconi, Mark (ed)

Publisher: ACM Press

Reference Number: ISBN: 0-89791-415-5; Software Engineering Notes: Volume 15, Number 4

Sponsoring Organization: ACM SIGSOFT

Publication Date: 9/90


Tool Interface Technology

Abstract: This report discusses the need for tool interfaces and some of the current trade-offs in tool interface technology, emphasizing the trade-offs between homogeneous and heterogeneous tools. By highlighting some of the major issues of this report reflects the state of the technology today.

Author: Newcomer, Joe

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pitsburg, PA 15213

Reference Number: CMU/SEI-87-TR-7; ESD-TR-87-108

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University,Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 3/87


Ada Technology Series: A Curriculum in Software Engineering with Ada Introduction to the Ada Language and Advanced Ada Language Features

Abstract: A hands-on curriculum in software engineering using Ada

Author: Rogers, Patrick

Publisher: GHG Corporation, 1300 Hercules, Suite 111, Houston, TX 77058

Producing Organization: GHG Corporation

Publication Date: 7/89


Issues in Software: A Blue Two Visit Feasibility Assessment

Abstract: The SEI participated in a series of fact-finding meetings sponsored by the Air Force Coordinating Office for Logistics Research (AFCOLR) to gather information necessary to set the scope for and to implement one or more Blue Two Visit (BTV) is to introduce to industry's top design engineers and program managers the day-to-day constraints Air Force maintainers face on front-line operations bases. The participants experience first-hand the effects of design on maintenance. This exposure has been significant in bridging the gap between DoD and industry in understanding, documenting, and supporting Air Force weapon system requirements to increase combat supportability.

Author: Hefley, William E.; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-87-TR-42; ESD-TR-87-205

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/88


Ada Validation Workload

Abstract: The purpose of this IDA Memorandum Report is to provide the AJPO with an analysis of the validation workload for Ada compilers and the problems surrounding the annual expiration of an ACVC version. This report is intended for those individuals in the AJPO who develop the policy and procedures that govern the validation process. It focuses on the Ada Validation Facilities (AVFs) workload associated with validations under the Ada Compiler Validation Capability (ACVC) version 1.8. A project of workload growth has been excluded from this analysis,

Author: Hook, Audrey A.; and R. Danford Lehman

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311

Reference Number: IDA Memorandum Report M-376

Sponsoring Organization: Ada Joint Program Office

Producing Organization: IDA - Institute of Defense Analyses

Publication Date: 1/88


Implementation of a Production Ada Project: The Grody Study

Abstract: The use of the Ada language and design methodologies that encourage full use of its capabilities have a strong impact on all phases of the software development project life cycle. At the NASA/GFSC, the Software Engineering Laboratory (SEL) conducted an experiment in parallel development of two flight dynamics systems in fortran and Ada. This document describes the differences observed during the implementation, unit testing, and integration phases of the two projects and outlines the lessons learned during the implementation phase of the Ada development. included are recommendations for future Ada development.

Author: Godfrey, Sara and Carolyn Brophy

Publisher: NASA, Goddard Space Flight Center, Greenbelt, MD 20771

Reference Number: SEL-89-002

Sponsoring Organization: NASA Goddard Space Flight Center

Producing Organization: SEL - Software Engineering Laboratory

Publication Date: 9/89


System Testing of a Production Ada Project: The Grody Study

Abstract: The use of the Ada language and design methodologies that utilize its features has a strong impact on all phases of the software development project lifecycle. At the NASA/GFSC, the SEL conducted an experiment in parallel development of two flight dynamics systems in FORTRAN and Ada. The teams found some qualitative differences between the system test phase of the two projects. Although planning for system testing and conducting of tests were not generally affected by the use of Ada, the solving of problems found in system testing was generally facilitated by Ada constructs and design methodology. Most problems found in system testing were not due to difficulty with the language or methodology but to lack of experience with the application.

Author: Seigle, Jeffrey; Linda Esker; and Ying-Liang Shi

Publisher: NASA Goddard Space Flight Center, Greenbelt, MD 20771

Reference Number: SEL-88-001

Sponsoring Organization: NASA Goddard Space Flight Center

Producing Organization: SEL - Software Engineering Laboratory

Publication Date: 1/88


Military Handbook (MIL-HDBK-287): A Tailoring Guide for DOD-STD-2167A, Defense System Software Development

Abstract: This handbook provides guidance to Government program managers and other program office staff responsible for tailoring DOD-STD-2167A for a software development or support contract. It explains key concepts of DOD-STD-2167A, presents tailoring considerations for 2167A and describes how to tailor the standard and its associated Data Item Descriptions (DIDs).

Publisher: Department of Defense

Reference Number: MIL-HDBK-287

Publication Date: 8/89


Military Handbook: An Application Guide for Implementing and Tailoring DOD-STD-2168, Defense System Software Quality Program (MIL-HDBK-286)

Abstract: This handbook provides guidance to Government program managers and other program office staff responsible for applying DOD-STD-2168 to a software development or support contract. It explains key concepts of DOD-STD-2168, presents tailoring considerations for DOD-STD-2168, and describes how to tailor the standard in accordance with DODD 5000.43, Acquisition Streamlining, and MIL-HDBK-248, Guide for Application and Tailoring Requirements for Defense Material Acquisitions.

Publisher: U.S. Department of Defense

Reference Number: MIL-HDBK-286 (DRAFT)

Sponsoring Organization: U.S. Army Armament, Munitions, and Chemical Command

Producing Organization: ACM/SIGAda/SDSAWG

Publication Date: 10/89


Catalogue of Ada Runtime Implementation Dependencies: Update 1 of 2

Abstract: This catalogue describes those features of the Ada language that are allowed to vary among different implementations. The purpose of the document is to provide information on runtime environments so as to facilitate the transportability of Ada program components, improve the performance of those components, and provide a frame work which can be used to better understand and evaluate Ada runtime systems.

Publisher: U.S. Army, Center For Software Engineering, Ft. Monmouth, NJ

Sponsoring Organization: IITRI - IIT Research Institute

Producing Organization: LabTek Corporation

Publication Date: 5/88


A Framework for Describing Ada Runtime Environments

Abstract: The purpose of this paper is to explain the basic elements of Ada runtime environments in order to support the presentation of ARTEWG documents, such as the Catalogue of Runtime Implementation Dependencies. Additionally, this paper may be useful as a framework (or common vocabulary) for buyers and builders of Ada runtime environments to discuss details of Ada runtime environments.

Publisher: ACM - Association for Computing Machinery, SIGAda - Special Interest Group for Ada

Producing Organization: ACM/SIGAda/AREWG

Publication Date: 1/87


Military Handbook: Mission-Critical Computer Resources Software Support; MIL-HDBK-347

Abstract: This handbook presents software support concepts, procedures, and guidance to all managers responsible for Mission Critical Computer Resources (MCCR) development or support. It covers software support activities and requirements throughout the system life cycle and should be selectively applied within the defense community to achieve consistency with individual Service and program requirements. It is intended to be used by DoD and commercial agencies involved in any software support activity.

Publisher: DoD - Department of Defense

Reference Number: MIL-HDBK-347

Producing Organization: DoD - Department of Defense

Publication Date: 5/90


A Model Runtime System Interface for Ada

Abstract: This document describes a model interface between the code generated by an Ada compiler and a portion of the runtime system (RTS), as well as the interfaces between certain key RTS modules. There are eight sections, which include a complete description, a structural overview, and descriptions of support for several features.

Author: Ada Runtime Environment Working Group of the ACM SIGAda

Publisher: Ada Runtime Environment Working Group of the ACM SIGAda

Publication Date: 2/90


Ada 9X Project Report: Draft Transition Plan

Abstract: The purpose of this document is to specify a plan for transitioning from Ada 83 (Ansi/Mil-Std-1815A) to Ada 9X (Ansi/Mil-Std-1815B). This document is being released in draft form for the purpose of public review.

Author: Anderson, C.

Publisher: Office of the Undersecretary of Defense for Acquisition

Sponsoring Organization: Ada 9X Project Office; Ada Joint Program Office

Publication Date: 2/91


Ada Compiler Validation Procedures

Abstract: This document is intended for all Programming Language Users and compiler vendors who have an interest in Ada compiler validations. It defines commonly used Ada Validation terms; outlines the organizational structure to manage, coordinate, and direct the Ada Validation process; lists steps in the process; and provides guidance to Department of Defense (DoD) program managers on the acquisition, use and maintenance of Ada compilers. The contents are arranged into six chapters: 1- Introduction, 2- Glossary of Terms, 3- Organization and Responsibility, 4- The Ada Compiler Validation Capability, 5- Validation by Testing, and 6- Validation by Registration.

Author: AJPO

Publisher: AJPO

Publication Date: 8/90


Guide for Software Development Cost Reporting

Abstract: This guidebook provides guidance to Government acquisition personnel and program managers for including an accountable software development cost tracking requirement in procurement contracts. This guide defines and explains the key concepts of Software Development Cost Reporting (SDCR). It presents a tailorable list of cost reporting elements associated with the development and support of software intensive weapon systems.

Publisher: CECOM - U.S. Army Center for Software Engineering, Ft. Monmouth, NJ 07703-5000

Sponsoring Organization: US Army Materiel Command

Producing Organization: US Army CECOM

Publication Date: 8/90


Strategy for Achieving Ada-Based High Assurance Systems

Abstract: The purpose of this IDA Paper is to document the results of an analysis of software testing and verification technology conducted for the Ada Joint Program Office (AJPO) and Rome Air Development Center (RADC) by the Institute for Analyses(IDA). The paper presents a coordinated strategy for meeting a critical technology goal of the US Dept. of Defense- the development of computer software for these systems upon which the Armed Forces can rely for the success of missions with extreme and often life critical requirements.

Author: DeMillo, Richard A.; R.J. Martin; and Reginald N. Meeson

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311

Reference Number: IDA Paper P-2143

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute of Defense Analyses

Publication Date: 12/88


Ada Program Manager Issues

Abstract: This report presents the findings of an investigation undertaken by the IDA for the AJPO to determine if there is an unfulfilled need for the AJPO assistance to project managers of major Ada software developments.

Author: Pennell, James P.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311

Reference Number: IDA Memorandum Report M-409

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 12/87


Ada Validation Testing Tools Evaluation

Abstract: This document will be used as a guide to initiate enhancements to the validation tools that were evaluated by Ada Compiler Validation Capability (ACVC) and Computer-Assisted Ada Validation Tool (CAV). It is directed towards the Ada Validation Facility (AVF) and AJPO staff members.

Author: Hook, Audrey A. and Robert J. Knapper

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311

Reference Number: IDA Document D-590

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 4/89


Reuse Oriented Ada Programming Environment - A Prototype System

Abstract: A reuse oriented programming environment is a programming environment in which programmers can do programming by reusing existing software components in a software library. This report presents a prototype system for Ada programming language.

Author: DeMillo, R.; W. Du; and R. Stansifer

Publisher: SERC - Software Engineering Research Center, Computer Sciences Department, Purdue University, West Lafayette, IN 47907

Sponsoring Organization: NSF - National Science Foundation

Producing Organization: SERC - Software Engineering Research Center, Purdue University

Publication Date: 1/89


Data Binding Tool Requirements Specification Document, Version 1.4

Abstract: This document contains the requirements specification for the data binding tool (DBT). The document is intended to serve as an introduction for the potential tool users or as a reference guide for both tool developers and maintainers.

Author: Basili,Victor and Dieter Rombach

Publisher: Martin Marietta

Sponsoring Organization: AIRMICS - US Army Institute for Research in Management Information and Computer Science

Producing Organization: Martin Marietta

Publication Date: 1/89


Merging the Ada Compiler Evaluation Capability (ACEC) and the Ada Evaluation System (AES)

Abstract: This paper documents the results of a special analysis requested by the AJPO. The purpose of this analysis was to determine the feasibility and desirability of merging two separately developed software systems which can be used to expose compiler performance characteristics. Copy 2 is the draft version of this paper.

Author: Morton, Richard P.; Jonathan D. Wood; and Audrey A. Hook

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311

Reference Number: IDA Paper P-2311

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 9/89


The European Formal Definition of Ada---A U.S. Perspective

Abstract: Documents an evaluation of the European Economic Community's formal definition of Ada. The report includes an estimation of the benefits of U.S. participation in the Advisory Group which reviewed the formal definition work, describes what could be accomplished with the formal definition by interested U.S. parties, and presents an opinion of what should be done.

Author: Platek, Richard A.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311

Reference Number: IDA Memorandum Report M-389

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 1/88


Ada Technology at NASA -- Measuring Success

Abstract: This paper is an overview of Ada at NASA in the form of copies of briefing slides.

Author: Stark, Michael

Publisher: NASA Goddard Space Flight Center, Greenbelt, MD

Sponsoring Organization: NASA

Producing Organization: NASA Goddard Space Flight Center; Flight Dynamics Division

Publication Date: 3/91


Military Handbook: Work Breakdown Structure for Software, MIL-HDBK-WBS.SW

Abstract: This handbook is a draft designed to formalize Software Work Breakdown Structures. Previously, detailed software development and support guidance for defense systems and associated computer resources were not readily available. This handbook is an attempt to improve this situation through the utilization of the Software Work Breakdown Structure common framework procedures outlined in MIL-STD-881A and existing contractual cost reporting techniques.

Publisher: US Army CECOM, Center for Software Engineering

Producing Organization: AJPO - Ada Joint Program Office

Publication Date: 2/91


Tutorial on Ada Exceptions -- Proceedings of the Second Annual ASEET Symposium

Abstract: This tutorial includes an overview and information on naming an exception, creating an exception handler, raising an exception, handling exceptions, turning off exception checking, tasking exceptions, as well as examples.

Author: Lawlis, Patricia K.

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 6/87


AFCEA: Military/Government Computing Conference and Exposition Proceedings

Abstract: The contents of these proceedings are arranged by track: 1- Technology Advances Track ("Artificial Neural Network Technology and Expert Systems," "The Growth of Imaging Technology -- Its Foundation and Potential"), 2- Software Development/Maintenance Track ("Successful Application of A New Software Development Paradigm," "Maintaining Quality in the Software Development Process," "System Modernization Alternatives," "Information Systems Solutions Today & Tomorrow -- Three CASE Studies," "Re-engineering COBOL Applications Using Existing CASE Technology," "Software Reengineering Case Study," "Reusability," "Domain-Directed Reuse: Achieving the True Potential of Software Reuse," "Handling Reusable Components With Restricted Rights," "TRW's Ada Technologies for Evolutionary Development of Large Software Systems," "Rehost of PLRS CMS-2M and CMS-2Y to Ada," "Ada on the Advanced Automation System"), 3- Systems Security Solutions -- Security/Privacy, Integrity, and Availability Track ("A Case Study for the Approach to Developing a Multilevel Secure Command and Control Information System," "Confidentiality and Integrity for Unclassified Systems -- What the State Department Really Needs," "Practical Lessons Learned," "Computer Security Procurement Experiences," "Overview of Security in the Acquisition Process," "Computer Virus Consortium," "Fighting Viruses Through Systems Management: The Corporate Perspective," "Computer Emergency Response: An International Problem"), 4- Information Systems Applications Track ("Automated Logistics in a Changing Environment," "VA's Large Systems"), and 5- Papers Submitted for Publication Only ("Functionalities and Performance of Four MLS or MSL Systems Using Gemini Commercial-off-the-Shelf Trusted Products," "Converting Low Cost PCs into Military Peripherals").

Publisher: AFCEA

Sponsoring Organization: AFCEA

Publication Date: 2/91


AFCEA: Military/Government Computing Conference and Exposition Tutorial Proceedings

Abstract: The contents of these tutorial proceedings are arranged by session: SESSION 1- Open Systems Architecture, Improving the Software Process, MLS -- A Critical Technology; SESSION 2- Expert Systems in Artificial Intelligence, Imaging Technology, Personal Authentication via Biometrics; and SESSION 3- Evolutionary Systems Acquisition of C4I Systems, Information Engineering.

Publisher: AFCEA

Sponsoring Organization: Contel Federal Systems

Publication Date: 2/91


Bugs in the Program; Problems in Federal Government Computer Software Development and Regulation

Abstract: Staff study by the subcommittee on investigations and oversight. This report is intended to alert Members of the Committee to the growing problems the government faces as its dependence on computers increases. Computers may pose a threat to public health and safety as their use expands in areas such as medical instrumentation and air traffic control. Agencies charged with regulating these industries have no accepted method for assuring that computer software will operate safely in these applications.

Publisher: GPO - US Government Printing Office

Producing Organization: US House of Representatives, Comm. on Science, Space, and Techno

Publication Date: 4/90


DoD Embedded Computers: Better Focus on this Technology Could Benefit Billion Dollar Weapons Programs

Abstract: Report based on how important and prevalent embedded computer resources are to Defense weapons systems, how OSD oversees the development of these resources, and how the oversight process has evolved since 1976.

Author: Watts, James R.; et al.

Publisher: GAO - U.S. General Accounting Office, Washington, DC 20548

Reference Number: GAO/IMTEC-90-34

Producing Organization: GAO - U.S. General Accounting Office

Publication Date: 4/90


An Object Oriented Design and Implementation of the IDEF Essential Data Model Using Ada and an Ada Based Expert System

Abstract: This investigation develops and implements an Ada based object oriented design (OOD) of the IDEF Essential Data Model called Essential Subsystem, which includes an Ada based expert system for IDEF model syntax checking. The Essential Subsystem is so named because of its use as a subsystem with the Ada based IDEF CASE tool SAtool II, that is under concurrent development. The design phase includes the mapping of E-R constructs into objects in an OOD and the modeling of an expert system as just another object. The OOD is then implemented in Ada, including the expert system, which is implemented using CLIPS/Ada.

Author: Kitchen, Terry L.

Publisher: DTIC - Defense Technical Information Center

Reference Number: AFIT/GCS/ENG/90D-07; AD-A230 814

Producing Organization: AFIT - Air Force Institute of Technology

Publication Date: 12/90


An Ada-Based Framework for IDEF CASE Tool Using the X Window System

Abstract: This thesis documents the design strategy and implementation methodology used in developing an Ada-based framework for SAtool II using one X Window System.

Author: Tevis, Jay-Evan J., II

Publisher: DTIC - Defense Technical Information Center

Reference Number: AFIT/GCS/ENG/90D-15; AD-A231 239

Producing Organization: AFIT - Air Force Institute of Technology

Publication Date: 12/90


Predicting Execution Time on Contemporary Computer Architectures for Real-Time Programming

Abstract: The author of this dissertation has implemented a software timing prediction tool based on Micro-analysis, as well as a hybrid timing measurement tool using a programmable HP 1650A logic analyzer and a Sun workstation. The implementations of the tools, the retargeting effort, the experiments performed, and the results of the experiments are presented for predicting the execution times of straight-line code sequences, a fundamental problem in design and analysis of hard-real-time systems.

Author: Harmon, Marion G.

Publisher: FSU - Florida State University, Dept. of Computer Science, Tallahassee, FL 32306-4019

Reference Number: FSUCS Technical Report 91-052

Sponsoring Organization: ONR - Office of Naval Research; Florida High Technology Industry Council

Producing Organization: FSU - Florida State University, Dept. of Computer Science

Publication Date: 5/91


Compile Time Processing of Ada Task Constructs for Real-Time Programming

Abstract: Compile-time preprocessing can be used to schedule systems of periodic tasks written in an Ada subset. Applied to a task system, this can both test feasibility and simplify runtime scheduling. This can be viewed as both a program verification technique and a more efficient implementation of Ada tasks. Two models of Ada tasking are considered. Both consist of periodic Ada tasks with relative deadlines. The result in either case is a set of periodic independent tasks. In this dissertation, the results of experimental studies of the preprocessing of Ada programs conforming to the nondeterministic rendezvous model are presented. The first study uses a simulation program which processes a skeletal Ada task system and prints out a valid schedule for it if one exists. The second involves implementing a program which translates Ada programs into executable deterministic task systems.

Author: Giering, Edward W., III

Publisher: FSU - Florida State University, Dept. Of Computer Science, Tallahassee, FL 32306-4019

Reference Number: FSUCU Technical Report 91-051

Sponsoring Organization: ONR - Office of Naval Research; US Army CECOM; Boeing; et al.

Producing Organization: FSU - Florida State University, Dept. of Computer Science

Publication Date: 5/91


Portable Common Interface Set (PCIS) Work Plan for the Requirements Validation Activity for the PCIS Definition Phase

Abstract: This document describes the Work-plan to accomplish the requirement validation activities for the PCIS Definition Phase identified by the SWG on APSE at the SWG/APSE/#23 meeting of December 1990.

Author: Solomond, John

Publisher: PCIS - SWG on APSE

Reference Number: PCIS/PLN/2 Version 1.0

Producing Organization: SWG on APSE

Publication Date: 3/91


Rate Monotonic Analysis for Real-Time Systems

Abstract: The essential goal of the Rate Monotonic Analysis (RMA) for Realtime Systems Project at the SEI is to catalyze improvement in the practice of realtime systems engineering, specifically by increasing the use of rate monotonic analysis and scheduling algorithms. This report reviews important decisions in the development of RMA. Experience indicates that technology transition considerations should be embedded in the process of technology development from the start, rather than as an afterthought.

Author: Sha, Lui; Mark H. Klein; and John B. Goodenough

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-6; ESD-91-TR-6

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute, Carnegie Mellon University

Publication Date: 3/91


Configuration Management Models in Commercial Environments

Abstract: This paper analyzes, the models with respect to their potential impact on the software development process, resulting in several observations. Some of the models exist in a number of variations, each impacting the software process differently. Configuration management (CM) capabilities can be found not only in CM tools and environment frameworks, but also in development tools. Integration of such tools into environments raises the need for different CM models to interoperate. Therefore, it is desirable to evolve to a unified CM model that encompasses the full range of CM concepts and can be adapted to different process needs.

Author: Feiler, Peter H.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-7; ESD-91-TR-7

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute, Carnegie Mellon University

Publication Date: 3/91


Ada Market Reference; A Guide to the Ada Industry

Abstract: This loose-leaf document lists the history and development of Ada, its adoption, organizations involved with the language, its implementation, use, information services and publications, and vendors, tools, and services. It is designed to provide corporate and government management with a comprehensive overview of the international Ada marketplace.

Author: Schoonmaker, Lisa; and George Allen

Publisher: Deer Island Ada Research Group, P.O. Box 433, Stonington, ME 04681

Reference Number: AMR-006.1

Producing Organization: Deer Island Ada Research Group

Publication Date: 8/89


TRI-Ada Conference Proceedings

Abstract: The papers contained in these proceedings area arranged by track: 1- Ada Technology Track ("Systems Design Issues Using Ada and VHDL," "A Simplified Graphic Notation for Ada Programs," "The Automation of Design in the Early Lifecycle of a Software Project," "TAGS," "Generating Efficient and Complete Ada from a CASE Tool," "Ada Software Engineering and Optimized Code," "Evaluating Real-time Performance of Ada Implementations," "Instruction Scheduling of Ada On RISC Processors," "Distributed Ada for Deadline Driven Applications," "High Performance Implementations for Ada Interrupts in Real-time Systems," "Distributed Ada Real-time Kernel (DARK): Returning Control to the User," "Real-time Scheduling in Ada," "Parallel Ada on Alliant's FX/Series," "Parallel Compilation of Ada Units," "Testing Ada Designs and Code: TestGen -- Ada Testing Tool," "Assurance Technology," "An Integrated Software Environment for Reuse," "The Ada Test and Verification System (ATVS)," "The Ada Binding for POSIX," "Tool Integration in Arcadia," "The Common APSE Interface Set (CAIS) Object Management System (OMS)," "An Introduction for the Tri-Ada Session on Reusability," "Application-Based Search and Retrieval," "Reusability Library Framework (RLF)," "The Myth: Anyone Can Code the Software if the Requirements and Design are..."), 2- Real-time Embedded Track ("Improved Hellfire, Successful Use of the Ada Language in an Embedded, Real-time Application," "Advanced Combat Systems Interactive Design Laboratory," "Ada Software Experience with the Advanced Information Processing System," "Explorer Platform Ada Flight Software," "The Evolution of Ada Software to Support the Space Power Management and Distribution System," "Ada in Real-time Embedded Systems Orbital Maneuvering Vehicle (OMV)," "Real-time Process Control in Ada," "Ada on the Am29000 in Military Real-time Embedded Control Applications," "Real-time Ada: Observations and Experiences with Respect to Avionics," "VHDL and Ada Firmware," "Ada Firmware Development Environments," "Tools and Methods for Embedded System Design Using Ada," "Distinctions Between Requirements Specification and Design of Real-time Systems"), 3- MIS/ Non-Embedded Track ("All the Right Moves," "The VHDL Design System: An Ada-Based ECAD System for VLSI," "Using Ada for Development of a Wind Sensing Clear Air Doppler Radar (CADR) Work Station at the Kennedy Space Center," "Ada in Database Environment Sybase Implementation of an Ada/SQL Interface," "Ada for Flexible Manufacturing: Foundation for Success," "Ada Business Information Systems (AdaBIS)," "Ada and MIS -- Establishing an Ada Foundation," " Managing Ada Transition," "Risk Management in Ada Technology Transfer"), and 4- Management Track ("Ada Cost Issues and Answers," "Ada Software Productivity Issues: Results from the AFATDS Project," "Lessons Learned by Using Different Methodologies on Five Ada PRojects," "Entering the Ada Systems Design and Coding Market," "Undoing Ada Hype," "Undoing Ada 'Hype': Musings from a Field Study," "Selling Ada -- The Early Days," "Managing Ada Projects: The People Issues," "The REAL Transition Problem or Don't Blame Ada," "DoD Ada Implementation Plans," "Standards for the Sake of Standards -- A Recipe for Failure," "Developing Software Using the DoD Software Procurement Model").

Sponsoring Organization: ACM/SIGAda

Publication Date: 1/88


TRI-Ada Conference Proceedings -- Ada Technology in Context: Application, Development, and Deployment

Abstract: The papers contained in these proceedings are arranged by track and session: TRACK 1- Applications 1 ("The Howitzer Improvement Program: Lessons Learned," "Requirements Analysis for Large Ada Programs: Lessons Learned on CCPDS-R," "Ada Implementation of an X Window System Server"), Applications 2 ("The Software Lifecycle with Ada: A Command and Control Application," "A Model Solution for the C3I Domain," "Ada in the Post Deployment Software Support Environment"), DoD-STD-2167A ("Ada and DoD-STD-2167A Compatibility," "Software Design Documentation Approach for DoD-STD-2167A Ada Projects," "Incremental Software Test Approach for DoD-STD-2167A Software Design Documentation"), Environments ("An Environment for Operational Software Engineering in Ada," "The NATO APSE Environment: Tradeoff Considerations," "Workstation/APSE Productivity Study Results"), Panel: Technology Trends, Tools for Ada 1 ("Design Issues and Team Support: Experiences of an Ada Tool Vendor," "Deploying Expert Systems in Ada," "Retargeting an Ada Source Level Debugger to CICS"), Tools for Ada 2 ("A Network-Based Development Environment for Ada," "Experience With an Interrupt Intensive Real-time Ada Benchmark," "Non-Intrusive Performance Evaluation of Parallel Ada Programs"); TRACK 2- Formal Methods ("Penelope, an Ada Verification System," "An Algebraic Specification of the Partial Orders Generated by Concurrent Ada Computations"), Panel: Safe Subsets of Ada, Reuse ("Using Models in Software Engineering," "Reuse: Where to Begin and Why," "Using Ada to Maximize Verbatim Software Reuse"), Panel: Software Reuse--Is it Working?, Reuse Libraries ("Representation Methods for Software Reuse," "Establishing Ada Repositories for Reuse," "Reusable Ada Packages for Information Systems Development (RAPID): An Operational Center of Excellence for Software Reuse"), Training, Practice, and Process ("Holistic Case Study Approach to Ada Based Software Engineering Training," "Programming Practices," "Analysis of Ada Source Developed," "Applying Reusability to Software Process Definition"), Panel: What Makes a Good Software Engineer?, OOD Methodology ("Pragmatic Definition of an Object-Oriented Software Development Method: A Practical Approach to Object-Oriented Development," "Experiences in Applying the Layered Virtual Machine/Object-Oriented Development Methodology to an Ada Design Effort"); TRACK 3- Real-time Distribution 1 ("Ada Tasking and Parallel Processors," "Distributed Ada -- Approach and Implementation," "Ada for Closely Coupled Multiprocessor Targets"), Real-time Distribution 2 ("A Periodic Ada Control Kernel (PACK)," "Limitations on the Portability of Real-time Ada Programs," "An Operating System for Real-time Ada"), Distributed Application Testing ("Reliable, Reusable Ada Components for Constructing Large, Distributed Multi-Task Networks: Network Architecture Services (NAS)," "Testing Distributed Ada Programs," "Deterministic Execution Testing of Concurrent Ada Programs"), Real-time Design Methodology ("Vanna: A Visual Environment for the Desing of Distributed Systems," "Real-time Software Engineering in Ada: Observations and Reccomendations," "Object Oriented Design in a Real-time Multi-Processor Environment"), Panel: Compiler Technology Evaluation, Run-Time Evaluation ("Comparison of Assembly Language and Ada for a Real-time Embedded ECM System," "The Selection of an Ada Compiler for a Real-time Embedded Avionics Application," "A Quantitative Evaluation of Interrupt Handling Capabilities in Ada"), Structure/Language Issues ("Some Results from the SEI Ada 9X Study Efforts," "Layering and Multiple Views of Data Abstraction in Ada: Techniques and Experiences," "Design and Implementation of an Ada Mathematics Library"), Panel: Point/Counterpoint: Ada 9X in Context; and TRACK 4- Special "Ada in Practice" Sessions ("Call for Presentations," "Preliminary Track Session Descriptions").

Sponsoring Organization: ACM/SIGAda

Publication Date: 1/89


TRI-Ada Conference Proceedings

Abstract: The papers contained in these proceedings are arranged track and session: TRACK 1- Methods/Ada Infrastructure (Formal Methods- "Proving Specifications of Tasking Systems Using Ada/TL," "Towards Use of Verified Ada Software," "A Tailored Design Language: Putting Model Based Formal Specification into Practice;" Ada Bindings- "A Prototype Implementation of the SQL Ada Module Extension {SAME} Method;" Panel: Ada Interface Technology; Object-Oriented Programming in Ada- "A Comparison of Experiences with the Maintenance of Object-Oriented Systems: Ada vs. C++," "Reverse Engineering Ada into HOOD," "Effects of Ada on Design Problems in a Discrete Event Simulator;" Panel: How Much Object Orientation in Ada; Alternative Computation Models- "Combining Object-Oriented and Functional Paradigms in a Design Methodology for Ada," "DAda: An Ada Preprocessor for Funcitonal Programming," "Ada Systems;" Design Methods 1- "A Real-time Ada Design Method Based on DoD-STD-2167A," "A New Approach to Prototyping Ada-Based Hardware/Software Systems," "A Proposal for a Recursive Object-Oriented Life-Cycle;" Design Methods 2- "Simulation and Design in an Object-Oriented World: A Methodology for Large Software Systems," "Fashioning Conceptual Constructs in Ada," "Toward a Real-time Ada Design Methodology;" Panel: Ada Education in Universities; Reuse Methods- "Reuse: The Two Concurrent Life Cycles Paradigm," "Software Reuse: Mining, Refining, and Designing," "Process and Products for Software Reuse in Ada"); TRACK 2- Realtime Programming in Ada/Ada9X (Tasking Performance- "On the Accuracy of Predicting Rate Monotonic Scheduling Performance," "Benchmarking for Deadline-Driven Computing," "The Performance of Prototype Coprocessor for Ada Tasking;" Panel: The Ada Tasking Model is Adequate for Real-time Embedded Applications; Experiences in Ada Real-time Applications- "Ada Interrupt Handlers for Hard, Real-time Systems," "Ada and the Navy Next Generation Computer Resources Operating System Interface Standard;" Ada for Distributed Systems- "Application of Ada on a Distributed Missile Control System," "Design of a Communication System for a Real-time C2Simulator," "Implementing a Distributed Fault-Tolerant Embedded System in Ada;" Ada on Multi-Processor Systems- "Ada Run-time System Contention Measurement," "Practical Use of Ada in a Heterogeneous Multi-Processor Computer," "Ada as a Parallel Language for High Performance Computers: Experience and Results;" Resource Allocation and Deadlock Detection- "Allocation Strategies for Ada Tasks on Hypercube Multi-Processors," "Distributed Deadlock Detection in Ada Run-time Environments," "Task-Wait-For Graphs Imprecise Computations in Ada;" Ada 9X Requirements; Panel: Ada 9X Town Meeting: Getting Ada into the Mainstream in the 1990's); TRACK 3- Transitioning to Ada/Management Issues (Ada in Different Application Domains- "A Portable Communication Facility for Distributed Client/Server Architectures," "Ada Implementation of Real-time Communications Systems," "An Experiment with Graphite," "ABET -- A Standard for Ada in a Test Environment;" Ada Transition 1- "SoftCost-Ada: User Experiences and Lessons Learned at the Age of Three," "Ada: Experience it Again for the First Time," "Ada Impacts on Second Generations Project;" AdaTransition 2- "Why COBOL Programmers Refuse Ada," "Software Engineering as a Radical Novelty: The Air Force Ada Experience," "Managing Ada Development Risk in a Non-Ada-Based Workstation Environment;" Panel: Status of Ada Then and Now; Acquisition and Contractual Issues- "Selecting an Ada Contractor -- One Way that Worked," "Future Approaches to Software Procurement," "Pragmatic Quality Metrics for Evolutionary Software Development Models;" Panel: Barriers to Ada Adoption; Ada Compiler Evaluation- "Current and Future Trends in Compiler Validation and Evaluation," "Toward the Efficient Implementation of Expert Systems in Ada," "Ada Development System Technical and Performance Requirements {with Rationale};" Panel: Compiler Evaluation within DoD; Panel: Ada Awareness Issues: In Government, Congress, and Industry; Panel: Ada Optimizations -- Why the User Should Care); and TRACK 4- Ada in Practice (Integrating Ada with Existing Systems: The ATACC Experience; Weirton Steel -- Ada in Process Control; AFATDS -- From Concept Evaluation to Full Scale Development; Bofors 9LV Mk3 System -- Developing for Maximum Software Reuse; LINX -- Ada in an Open Systems Architecture; Command Center Processing and Display System Replacement -- CCPDS-R; STANFINS -- One Year Later; DIGITAC III Digital Flight Control System; Reuters -- Experience with D2000 and Globex.

Reference Number: ISBN: 0-89791-409-0

Sponsoring Organization: ACM/SIGAda; Baltimore SIGAda

Publication Date: 12/90


TRI-Ada Conference Proceedings -- Ada: Today's Accomplishments; Tomorrow's Expectations

Abstract: The papers contained in these proceedings are arranged by track and session: TRACK 1- Technical 1 (Compilation and Semantics- "Ada Semantic Interface Specification {ASIS}," "Design and Implementation of a Multi-tool Ada Front End," "Debugging of Optimized Ada Code;" Real-time Design Methods- "Validating the ADARTS Software Design Method for Real-time Systems," "SDL: A Standard Language for Ada Real-time Applications," "Experiences in Developing an Ada Cross Compiler;" Design Methods 1- "SA-@-Ada: A Methodology for Deriving Ada Designs from Structured Analysis Specifications," "CAPS as a Requirements Engineering Tool," "Pilot Command Center Testbed Development Environment: A Better Way to Develop C+ Systems;" Design Methods 2- "Dynamic Software Replacement Model and its Ada Implementation," "Adam, an Ada Simulation Library," "Ada-based Support for Abstraction, Encapsulation, and Unit Hierarchy;" Real-time Embedded System- "A Microprocessor with Ada Real Time Support," "Ada and CMS-2 Cohabitation: A TRansition Method for U.S. Navy Real-time Tactical Systems," "Lightweight Task Synchronization: The Protected Record Mechanism in Ada 9X;" Ada for Distributed and Parallel Processing- "Building Distributed Ada Applications from Specifications and Functional Components," "Distribution of Ada Tasks onto a Heterogeneous Environment," "Efficient Loop-Level Parallelism in Ada;" Management and Information Systems- "A Three Level Ada Interface to a Commercial Database," "Supporting Packed Decimal in Ada," "Promoting Ada at the National Security Agency;" Object-Oriented Development- "Manageable Object-Oriented Development: Abstraction, Decomposition, and Modeling," "The Evolution of an Object-Oriented Development Method," "Object Based Data Engineering: The Necessary Evil of Ada Development"), TRACK 2- Technical 2 (Tools and Techniques- "Automatic Support for Assessment of Large Ada Software Systems," "Automatic Abstraction of Real-time Software and Re-implementation in Ada," "Normal Forms for Algebraic Specifications of Reusable Ada Packages;" Panel: Ada and SQL; Reusability and Support- "The Software-Cycle Model for Re-engineering and Reuse," "Designing Configurable Software: COMPASS Implementation Concepts," "AMT: The Ada Maintenance Toolchest;" Management Techniques- "Large Development Teams and the Ada Library or Who Recompiled the #%@!& Ada Library?," "Grow: An APSE Stress Tester," "An Ada Program Test Generator;" Panel: Ada and X; Panel: Ada Bindings and Associated Standards: A Snapshot of Current Efforts; Moving Ada into the Object-Oriented Paradigm- "Automatic Instantiation in Ada," "Objects, Inheritance, and Polymorphism in Ada 9X," "DRAGOON: A Tool for the Ada Programmer;" Lessons Learned- "Network Planning Tool," "Monitor and Science Instrument Simulator for NASA," "Air Defence Simulator"), TRACK 3- Management (Invited Presentations- "Ada in Japan;" Panel: Policy for Progress on Processes; Development Approaches- "Applying the Iterative Development Process to Large 2167A Ada Projects," "Management Challenges and Techniques on a Large Ada Project," "Ada Pilot Project at HQ Pacific Air Forces: Lessons Learned during Development;" Overseeing Project Quality- "Software Independent Verification and Validation: A Process Perspective," "Experience Tracking software Development Progress on a Large Ada Project," "System Engineering Impact on Software Development;" Panel: PCIS -- Is It Needed?; Corporate Commitment to Reuse- " The Costs Related to Making Software Reusable: Experience from a Real Project," "Reuse and the STARS Program"); TRACK 4- Experience (M1A2 Tank Gun Aiming; Ada in Copying Machines; Advanced Tactical Fighter; US Naval Airship; Investment Analysis; Submarine Software; Standard Army Ammunition System), TRACK 5- Education (Software Engineering Curricula- AdaTRAN as a Teaching Tool," "Software Engineering for Undergraduates," "SPTP: The Software Process Training Program;" Teaching Ada in Universities- Vestal: A Tool for Teaching Concurrency in Ada," "Ada and X, An Experiment in Teaching Ada Software Engineering," "Using a Model Railroad to Teach Ada and Software Engineering;" Panel: Teaching Ada as a First Language"), INDUSTRY PLENARY SESSION, and a SPECIAL PANEL - The First 100 Days of Ada.

Reference Number: ISBN: 0-89791-445-7

Sponsoring Organization: ACM/SIGAda

Publication Date: 10/91


Status of POSIX/Ada Standardization and Status of SQL/Ada Standardization

Abstract: Copies of briefings given on POSIX/Ada and SQL/Ada Standardization efforts of IEEE and ISO.

Author: Moore, Jim

Publisher: AJPO

Sponsoring Organization: AJPO

Producing Organization: AJPO

Publication Date: 3/91


Evaluation and Validation (E&V) Reference Manual

Abstract: This document is a product of the Ada Programming Support Environment (APSE) Evaluation and Validation (E&V) Task sponsored by the Ada Joint Program Office. It is one of a pair of companion documents known as the E&V Reference System, consisting of the E&V Reference Manual and the E&V Guidebook. The purpose of the Reference Manual is to provide a collection of information to support a variety of users. The collection is organized in accordance with a Collection Schema described in Chapter 2. It should help users to gain an overall understanding of APSEs and approaches to the assessment of APSE performance, quality, and conformance to applicable standards; find useful reference information, such as definitions of specific elements of the Classification Schema, and relationships between elements; and find criteria and metrics for assessing specific components and "whole APSEs," and locate relevant E&V techniques. The Reference Manual includes many "pointers" to sections in the Guidebook and other documents that describe E&V techniques.

Author: Clark, Peter G. and Bard S. Crawford

Publisher: E&V Team/DoD

Reference Number: TASC #: TR-5234-3

Sponsoring Organization: WPAFB

Producing Organization: The Analytic Sciences Corporation (TASC)

Publication Date: 2/91


Evaluation and Validation (E&V) Guidebook

Abstract: This document is a product of the Ada Programming Support Environment (APSE) Evaluation and Validation (E&V) Task sponsored by the Ada Joint Program Office. It is one of a pair of companion documents known as the E&V Reference System, consisting of the E&V Reference Manual and the E&V Guidebook. The purpose of the Guidebook is to provide a collection of information to support a variety of users. It should help users to gain an overall understanding of APSE assessment, in particular, the selection of appropriate E&V procedures, the interpretation of test results, and the integration of analyses and results; apply the various E&V procedures and techniques developed under E&V Task sponsorship; and find the primary sources for those E&V procedures and techniques not developed by the E&V Task or not fully explained within the Guidebook (due to space or other constraints). The Reference Manual includes many "pointers" to sections in the Guidebook and other documents that describe E&V techniques.

Publisher: E&V Team/DoD

Reference Number: TASC #: TR-5234-4

Sponsoring Organization: AJPO

Producing Organization: The Analytic Sciences Corporation (TASC)

Publication Date: 8/88


STSC Conference Tutorials

Abstract: These conference tutorials contain viewgraphs for presentations on four topics: 1- Environments (Introduction Executive Overview to Software Engineering Environments {SEEs}; Detailed Tutorial to SEEs; Technical Approach to Environments - National Institute of Standards {NIST} and Integrated SW Eng Environments {ISEE}; SEE/CASE Technology Effective Implementation of SEE/CASE Technology), 2- Ada (Introduction to Ada from the Management Information System Point of View), 3- Software Engineering/ Management (Software Metrics; Software Life Cycle Evaluation Metrics; Software Cost Analysis - REVIC), and 4- Design Methods (Structured Analysis and Design; Object Oriented Design; Real-time Design; Overview, Comparison, and Selection of Design Methods).

Publisher: STSC

Sponsoring Organization: USAF STSC

Publication Date: 4/91


Rationale for SQL Ada Module Description Language SAMeDL

Abstract: The SQL Ada Module Description Language, SAMeDL, is a language for the specification of Abstract Interfaces as delineated by the SQL Ada Module Extensions (SAME) methodology. The language is formally defined in the SAMeDL Reference Manual. This document is a companion to the Reference Manual. Whereas the Reference Manual is meant to be precise, the Rationale is meant to be clear. An explanation of the problem solved by the SAMeDL is given. The creation of a new language is justified and the underlying principles of that language are described. Crucial issues in the language are then explained.

Author: Chastek, Gary J.; Marc H. Graham; and Gregory Zelesnik

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-4; ESD-91-TR-4

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 3/91


1991 SEI Report on Graduate Software Engineering

Abstract: This report presents a variety of information for university educators interested in establishing a software engineering program. This includes a model curriculum, an annotated bibliography of software engineering textbooks, and descriptions of major software engineering research journals. It also includes detailed descriptions of the SEI Academic Series of videotape courses, which constitute an example of an implementation of the model curriculum. SE textbooks and research journals are also surveyed.

Author: Ford, Gary

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 14213

Reference Number: CMU/SEI-91-TR-2; ESD-91-TR-2

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 4/91


CASE Tool Integration and Standardization

Abstract: CASE tool users are faced with the task of coordinating tools and data from a variety of sources spanning the entire software development life cycle. Despite much discussion and increased standardization activity, complete, transparent CASE tool integration is still a long way from realization. A number of factors have complicated tool integration scenarios and a number of actions are being taken in an attempt to resolve problems. Implications of these concerns can be examined from the perspectives of single-vendor, multiple vendor, operating environment, development process, and end-user integration.

Author: Zarrella, Paul F.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-90-TR-14; ESD-TR-90-215

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/90


Formal Development of Ada Programs Using Z and Anna: A Case Study

Abstract: This report describes a method for the formal development of Ada programs from a formal specification written in Z. ANNotated Ada (Anna) is used as an intermediate language linking the more abstract Z specifications to the concrete Ada program. The method relies on the notion that successive small transformations of a specification are easier to verify than a few large transformations. Essentially the method uses three notations for the representation of the system: an implementation-independent one for the specification of the system, an implementation-dependent one for the representation of a lower level specification, and the implementation language.

Author: Place, Patrick R. H.; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-1; ESD-TR-91-1

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/91


Comparison of CAIS-A and PCTE+ ( Waltham Report)

Abstract: This report documents the events and findings of the first joint meeting of the CAIS-A and PCTE+ design teams. The objective was to identify similarities and differences between the two interface sets and, where possible, to recommend possible reconciliations. The report is careful not to imply any value judgements on the differences which have been identified.

Author: Boudier, Gerard; et al.

Publisher: AJPO

Sponsoring Organization: AJPO - Ada Joint Program Office; IEPG TA-13 Independent European Programme Group, Technical Area 13

Producing Organization: AJPO; IEPG TA-13

Publication Date: 6/88


Rationale for the Proposed Standard for a Generic Package of Elementary Functions for Ada

Abstract: This paper supplements the "Proposed Standard for a Generic Package of Elementary Functions for Ada" Based on recommendations made jointly by the ACM SIGAda Numerics Working Group and the Ada-Europe Numerics Working Group, the proposed elementary functions standard is the first of several anticipated collateral standards to address the interrelated issues of portability, efficiency, and robustness of numerical software written in Ada. Organized as a series of questions and answers, this supplement outlines the reasoning by which the proposed standard came to acquire certain features and exclude others.

Author: Dritz, Kenneth W.

Publisher: ANL

Reference Number: ANL #: ANL-89/2

Sponsoring Organization: US Department of Energy

Producing Organization: Argonne National Laboratory (ANL)

Publication Date: 3/89


Proposed Standard for a Generic Package of Elementary Functions for Ada

Abstract: This document defines the specification of a generic package of elementary functions called GENERIC_ELEMENTARY_FUNCTIONS_EXCEPTIONS. It does not define the body of the former. No body is required for the latter. The generic package described here is intended to provide the basic mathematical routines from which portable reusable applications can be built. The standard serves a broad class of applications with reasonable ease of use, while demanding implementation that are of high quality, capable of validation, and also practical given the state of the art.

Author: Myers, G.; et al.

Publisher: ISO - International Standardisation Organisation

Reference Number: ISO-IEC/JTC1/SC22/WG9

Producing Organization: ISO Working Group 9 (Ada) Numerics Rapporteur Group

Publication Date: 10/89


Proposed Standard Specification for Real and Complex Types Packages in Ada including Vector and Matrix Types

Abstract: Working paper discussing the proposed standard.

Author: Ford, Brian; Graham Hodgson; and Lois Steenman-Clark

Publisher: Ada Europe Numerics Working Group

Producing Organization: Ada Europe Numerics Working Group

Publication Date: 5/90


Proposed Standard for a Generic Package of Complex Elementary Functions for Ada

Abstract: This document defines the specification of a generic package of complex elementary functions called GENERIC_COMPLEX-ELEMENTARY-FUNCTIONS. It does not provide the body of the package. It is intended to provide the basic complex mathematical routines from which portable, reusable applications can be built. The standard serves a broad class of applications with reasonable ease of use, while demanding implementations that are of high quality, capable of validation, and also practical given the state of the art.

Author: Squire, J.S.

Publisher: ACM - Association for Computing Machinery

Producing Organization: ACM SIGAda Numerics Working Group

Publication Date: 7/90


Rationale for the Proposed Standard for a Generic Package of Primitive Functions for Ada

Abstract: This paper supplements the "Proposed Standard for a Generic Package of Primitive Functions for Ada". Based on recommendations made jointly by the ACM SIGAda Numerics Working Group and the Ada Europe Numerics Working group, the proposed primitive functions standard is the second of several anticipated secondary standards to address the interrelated issues of portability, efficiency, and robustness of numerical software written in Ada. Its purpose, features, and developmental history are outlined in this commentary.

Author: Dritz, Kenneth W.

Publisher: Argonne National Laboratory (ANL)

Reference Number: ANL #: ANL-90/41

Sponsoring Organization: US Department of Energy

Producing Organization: Argonne National Laboratory (ANL)

Publication Date: 12/90


A Proposed Standard for a Generic Package of Primitive Functions for Ada

Abstract: This document defines the specification of a generic package of primitive functions and procedures called GENERIC_PRIMITIVE_FUNCTIONS. It is intended to provide primitive operations required to endow mathematical software, such as implementations of elementary functions, with the qualities of accuracy, efficiency, and portability. With it, such software can achieve all of these qualities simultaneously; without it, one or more of them typically must be sacrificed. It does not define the body.The generic package specification included in this document is presented as compilable Ada and is followed by explanatory text in numbered sections.

Author: Myers, G.; et al.

Publisher: ACM - Association for Computing Machinery

Producing Organization: ACM SIGAda Numerics Working Group

Publication Date: 6/90


Real-Time Ada Design Methodologies and Their Impact on Performance

Abstract: This paper, written as part of an IDA Central Research Project, provides an overview of the existing state of Ada realtime design methodologies and qualifies the impact on performance of some of the best known and widely used Ada realtime design methodologies. The paper also discusses the limitations of these methodologies and indicates some alternative principles upon which a better design methodology might be based.

Author: Howes, Norman R.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311

Reference Number: IDA Paper P-2488

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 6/91


Generic Avionics Software Specification

Abstract: This report informally specifies the general functions, data interactions, and timing constraints for an avionics mission control computer system typical of those found in some existing US Navy/Marine Corps aircraft. Avionics, functions and equipment are described only to the extent necessary to specify MCC behavior, with primary emphasis being given to timing constraints and data interactions. The specification is intended to allow a wide variety of possible implementation approaches and was developed primarily to exemplify timing requirements and functional interactions in a typical real-time system.

Author: Locke, C.D., et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-90-TR-8; ESD-TR-90-209

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/90


Rationale for the NATO Requirements and Design Criteria (NRAC) for the NATO Standard Interface Specification (NSIS) on Ada Programming Support Environments (APSEs)

Abstract: This document is the NATO Requirements and Design Criteria document for the NATO Standard Interface Specification. Its purpose is to provide, for each requirement and design criterion in the NRAC, any or all of the following, as appropriate: Explanations or clarifications of intent; Exposition of alternatives considered and the reasoning for the requirement or design criterion in the NRAC; Examples; Identification of known constraints on interface specifications and implementations.

Publisher: TSGCEE - Tri-Service Group on Communications and Electronic Equipment, Special Working Group (SWG) on APSE, Interface Review Board (IRB)

Producing Organization: TSGCEE - Tri-Service Group on Communications and Electronic Equi

Publication Date: 12/88


NATO Requirements and Design Criteria (NRAC) for the NATO Standard Interface Specification (NSIS) on Ada Programming Support Environments (APSEs)

Abstract: This document is the NATO Requirements and Design Criteria document (NRAC) for the NATO Standard Interface Specification (NSIS). It confines itself to defining the requirements and design criteria for the tool support interface. It is important to realise that other aspects of implementations also need to be standardized. It intentionally leaves as many degrees of design freedom to the NSIS definers as is consistent with the achievement of interoperability and transportability.

Publisher: TSGCEE - Tri-Service Group on Communications and Electronic Equipment, Special Working Group (SWG) on APSE, Interface Review Board (IRB)

Producing Organization: TSGCEE - Tri-Service Group on Communications and Electronic Equi

Publication Date: 12/88


Simulation in Ada; Proceedings of the Eastern Simulation Conference on Simulation in Ada, 3-8 March 1985, Norfolk, Virginia

Abstract: Proceedings of the Eastern Simulation Conference on Simulation Conference was held 3-8 March 1985 in Norfolk, VA. The following topics were covered: An automated methodology development; Implementing a simulator as a set of Ada tasks; Testing of software for discrete simulation models in Ada; A partial simulation of an X.25 network level protocol in Simula with Demos; Moving target, distributed, realtime simulation using Ada; Simulating parallel computational process for optimal control problems

Author: Unger, Brian; Theodore Trybul; and Greg Lomow, eds.

Publisher: SCS - Society for Computer Simulation, P.O. Box 17900, San Diego, CA 92117

Reference Number: ISBN 0-911801-06-5

Producing Organization: SCS - Society for Computer Simulation

Publication Date: 3/85


Proceedings of the Conference on Simulation in Strongly Typed Languages: Simulation in Strongly Typed Languages -- Ada, Pascal, Simula...

Abstract: The papers contained in these proceedings are arranged by topic: Simulation in Ada ("Simulation in Ada: An Implementation of Two World Views," "Rationale for the Introduction of Discrete Simulation Primitives in Ada," "Combined Discrete and Continuous Simulation in Ada," "QSIM: A Language to Support Modular Large Scale Simulation"), Simulation Languages Based on Pascal ("The Pascal/VS Simulation Tool: Overview and Examples," "Extensions to Pascal for Discrete Event Simulation," "Process-Oriented Simulation in Standard Pascal," "Very High Level Model Description and Simulation"), Graphics and Animation in Simulation ("Animated Types and Actor Types in Computer Simulation and Animation," "Visualising a Simulation Using Animated Pictures," "Simulation Visualization with SIMSEA -- A General Purpose Animation Language," "Graphical Tracing and Debugging of Simulations"), Simulation Environments I ("Jade: A Simulation and Software Prototyping Environment," "Interpreters in Logic Programming -- A Powerful Tool for Simulation," "Dialogs for Simulation"), Simulation Environments II ("A Simula Problem-Solving Environment," "NETSIM -- Distributed Information System Simulation," "Transaction Flow Models in Ada: Technical Background"); also included are Panels lists and Case Studies [Case Studies I: Pascal and Simula- "A Process Based Discrete Event Simulation of X25 Using Demos," "Simulation of Cell Rearrangements Using Pascal," "Processing Architecture Evaluation Simulation {PAES}," "Design Concepts for a Pascal Network Simulation Language;" Case Studies II: Ada- "Solving a Real-Time Simulation Problem in Ada," "Ada-Based Distributed Computer System Modeling Language," "Ada Simulation of Air-to-Air Missile Interceptions").

Author: Bryant, Ray and Brian W. Unger (eds)

Publisher: Society for Computer Simulation (Simulation Councils, Inc.)

Reference Number: ISSN: 07359276; Simulation Series: Volume 13, Number 2

Sponsoring Organization: Society for Computer Simulation (Simulation Councils, Inc.)

Publication Date: 2/84


ESPRIT: Index to Synopses of Projects, Exploratory Actions, Actions and Working Groups and ist of Participating Organisations

Abstract: This volume, the first in a series of eight, contains indexes to the synopses of all completed and projects, exploratory actions, and working groups. Lists of industrial and academic participants are also provided. The synopses themselves contain summary descriptions covering, in each case, objectives, results and commercial prospects, and give details of participating organizations, contact point, start-date and duration.

Publisher: CEC - Telecommunications, Information Industries and Innovation, Directorate General XIII

Reference Number: CEC#: XIII/292/90

Publication Date: 9/90


ESPRIT: Synopses of Microelectronics Projects

Abstract: This volume provides an inventory of the synopses of all 103 ESPRIT Microelectronics (MEL) projects in the six broad areas of Silicon Technology, III-V and Other Non-Silicon Technologies, Materials, Equipment and Manufacturing, CAD, and Peripherals under the four sub-areas of High-Density Integrated Circuits, High-Speed Integrated Circuits, Multifunction Integrated Circuits, and Peripheral Technologies.

Publisher: CEC - Telecommunications, Information Industries and Innovation, Directorate General XIII

Reference Number: CEC#: XIII/292/90

Publication Date: 9/90


ESPRIT: Synopses of Information Processing Systems, Esprit I Projects

Abstract: Synopses of information on 91 projects supported within the Software Technology and Advanced Information Processing areas of the first phase of the ESPRIT programme. They cover four key sub-areas in Software Technology: Theories, Methods and Tools; Management and Industrial Aspects; Common Environment; and, Evaluation and Demonstration. In Advanced Information Procession there are three: Knowledge Engineering; New Computer Architectures; and, Advanced Systems Interfaces.

Publisher: CEC - Telecommunications, Information Industries and Innovation, Directorate General XIII

Reference Number: CEC#: XIII/292/90

Publication Date: 9/90


ESPRIT: Synopses of Information Processing Systems; ESPRIT II Projects and Exploratory Actions

Abstract: Synopses of the 50 projects launched within the Information Processing System area as a result of the second phase of the ESPRIT programme, and an additional 41 projects from a previous call. The objective is to provide the industrial technology required for the development of IT projects . The program of work is aimed at the management and control of system complexity, reducing development and operational costs, and improving the quality, reliability and performance of systems in five sub-areas: Systems Engineering; Knowledge Engineering; Advanced System Architectures; Human-Computer Interfaces; and, Sensor-Based Systems.

Publisher: CEC - Telecommunications, Information Industries and Innovation, Directorate General XIII

Reference Number: CEC#: XIII/292/90

Publication Date: 9/90


ESPRIT: Synopses of Office and Business Systems, Projects and Exploratory Actions

Abstract: The Office and Business Systems (OBS) domain is concerned with developing the strengths of European industry in IT systems designed to support office, business and home applications. 134 synopses of projects aimed to help improve white-collar productivity, the quality of service provided and the quality of life, both at work and at home, through the provision of powerful and flexible Information Technology support. Areas addressed are: Workstations; System Integration; the expanding dynamic environment; handling multi media information; Distributed Systems; Communications; Distributed Applications; Home Systems; and Peripherals.

Publisher: CEC - Telecommunications, Information Industries and Innovation, Directorate General XIII

Reference Number: CEC#: XIII/292/90

Publication Date: 9/90


ESPRIT: Synopses of Computer Integrated Manufacturing, Projects and Exploratory Actions

Abstract: The Computer Integrated Manufacturing (CIM) area relates to the total range of computer integrated manufacturing activities including architectures and communications, design of manufacturing systems and products, management and control, and robotics and shop floor systems. The area has been selected for its potential impact on the methods and economies of production, where reduced inventory and lead-times, consistent product quality, system reliability and flexibility, and ease of manufacture are main goals to be addressed. 123 synopses cover projects in these areas.

Publisher: CEC - Telecommunications, Information Industries and Innovation, Directorate General XIII

Reference Number: CEC#: XIII/292/90

Publication Date: 9/90


ESPRIT: Synopses of Information Exchange System Projects

Abstract: The Council decision on ESPRIT required that, in addition to the work defined in the main technical areas, supporting infrastructural actions be taken, and in particular that an Information Exchange System (IES) be implemented to ensure that the execution and management of the research and development projects were properly supported and that appropriate dissemination was given to their results. Eight synopses of projects dedicated to that requirement.

Publisher: CEC - Telecommunications, Information Industries and Innovation, Directorate General XIII

Reference Number: CEC#: XIII/292/90

Publication Date: 9/90


ESPRIT: Synopses of Basic Research Actions, Working Groups and Networks of Excellence

Abstract: Basic Research in ESPRIT has two main objectives: 1) to replenish the reservoir of new knowledge and expertise from which industrial research must draw to ensure tomorrow's innovation; and 2) to ensure the environment for training tomorrow's researchers in the most effective way possible, through research itself. Synopses cover the areas of: High-Tc Superconductivity; Microsystems Technology; Optoelectronics; IT Organics; Optics; Design Methodology; Logics and Logic Programming; Algebraic Methods; Concurrent and Real-Time Systems; Programming; Databases and Information Systems; Dependable and Fault-Tolerant Systems; Vision; Robotics; Speech; Natural Language; Knowledge Representation and Engineering; Human-Computer Interaction; Neural Networks; VLSI Design Training Action;and, Networks of Excellence.

Publisher: CEC - Telecommunications, Information Industries and Innovation, Directorate General XIII

Reference Number: CEC#: XIII/36/91

Publication Date: 1/91


Proceedings of the Third NASA Ada Users' Symposium

Abstract: The papers contained in these proceedings cover a wide spectrum of applications, from simulation to expert systems and demonstrate the capabilities of Ada when appropriate education, experience, and engineering are applied; they are arranged by session: SESSION 1- Ada Projects: Center Status Reports ("NASA Johnson Space Center Ada Projects," "Experience with Ada at Goddard Space Flight Center," "Ada Activities at Langley," "A Perspective on the Use of Ada at NASA Lewis Research Center," "Ada Training at the Jet Propulsion Laboratory"), SESSION 2- Object-Oriented Methods and Simulation ("Lessons Learned from an Object-Oriented Prototype," "From SA to OOD: One Project's Experience," "Design and Development of Simulators Using Ada"), SESSION 3- Simulation ("The Shuttle Training Aircraft's Flight Software Conversion to Ada," "Ada Usage in the JAEL Closed-Loop Simulator," "Ada and Real-time Data Transfer Using the Military Standard 1553B Protocol"), SESSION 4- Configuration Management and Distributed Systems ("Change Management Lessons from an Ada Project," "Ada Distributed System Development"), SESSION 5- Reusability ("Migration of the Inertial Sensor Assembly Functional Simulation from a MicroVAX to a Compaq 80386/20 Deskpro," "COMWG -- A Common Models Working Group for Managing Ada Software Commonality," "The Price of Portability"), and SESSION 6- Artificial Intelligence ("Ada Issues in Implementing CLIPS/Ada," "Ada Issues in Implementing ART-Ada").

Publisher: NASA/JSC, NASA/GSFC, MITRE Corporation, and SIGAda

Sponsoring Organization: NASA/JSC, NASA/GSFC, MITRE Corporation, and SIGAda

Publication Date: 11/90


PCIS Requirements Validation First Workshop Report

Abstract: This is the Workshop Report from the PCIS Requirements Validation first Workshop, held at the Heathrow Park Hotel, UK, on 29 April to 3 May 1991. This report is divided into three parts - part I contains the collected requirements from the working sessions on Wednesday and Thursday, gathered from the session reports. The second part covers the discussion of emerging technology and precis of the technological presentations given on Tuesday afternoon, prepared by Keith Purvis of ERA; and the third part consists of the collected session reports.

Author: Dawes, John

Publisher: PCIS

Producing Organization: PCIS

Publication Date: 5/91


Proceedings of the Ada-Europe International Conference -- Ada: The Choice for '92

Abstract: These proceedings for the Ada-Europe International Conference held May 13-17, 1991 in Athens, Greece are divided into eight parts: PART 1- Language Issues ("Modelling the Temporal Summation of Neural Membranes Using the Ada Language," "The Use of Ada in Reactive Systems: A 3-Dimensional Model," "Ada 9X Real-time Scheduling Alternatives"), PART 2- Metrics ("Information Engineering for Systems in Ada," "AFADA, A Measurement Tool for Ada," "An Approach To Benchmarking Ada Compilation Systems"), PART 3- Concurrency and Parallelism in Ada ("Modelling SIMD -- Type Parallel Arithmetic Operations in Ada," "Analyzing Ada Tasking Deadlines and Livelocks Using Extended Petri Nets," "A Coprocessor for High Performance Multiprocessor Ada Tsking"), PART 4- Continuous Systems ("Software Project Activity Network for Managing the Development and Testing Process," "Ada in Safety Critical Applications," "Real-time Electronic Funds Transfer and Ada"), PART 5- Environments and Tools ("Introducing HOOD into Software Process Modelling Based Environments," "Design Assessment of Ada Systems Using Static Analysis"), PART 6- Distribution ("Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS," "Distributed Systems and Ada -- Current Projects and Approaches Comparative Study's Results," "Reconfigurable Ada Distributed Control System Software"), PART 7- Faces of Reuse ("ROSE-Ada: A Method and a Tool to Help Reuse of Ada Codes," "Software Reuse: Customer vs. Contractor Point-Counterpoint," "Reusable Input/Output Packages for Ada Avionic Applications"), and PART 8- Project Reports ("Constructing a Pilot Library of Components for Avionic Systems," "Formally Specifying the Logic of an Automatic Guidance Controller," "Ada as High Level Language for Real-time Systems Exploiting RDBMS Techniques," "Experience Developing Two Ada Applications for Embedded Real-time Systems Using Different Software Processes," "Testing and Integrating a Large Embedded Real-time System").

Author: Christodoulakis, Dimitris (ed)

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-54092-X

Publication Date: 5/91


Ada 9X Project Report: Draft Transition Plan

Abstract: The purpose of this draft document is to specify a plan for transitioning from Ada 83 (ANSI/MIL-STD-1815A) to Ada 9X (ANSI/MIL-STD-1815B). It is intended that these specifications will not replace existing policy but rather supplement it. This document does not prescribe policy for the international community but rather it is intended for the use by the DoD policy makers. However, recommendations contained herein may also be useful to other organizations that must develop policies for transitioning to Ada 9X. The Ada 9X strategy is organized according to representative groups of the Ada community: managers, programmers, vendors, academia, authors, and researchers.

Author: Anderson, Christine M.

Publisher: DoD - Office of the Under Secretary of Defense for Acquisition, Washington, DC 20301

Producing Organization: Ada 9X Project Office, WL/MNAG, Eglin AFB, FL 32524

Publication Date: 6/91


Anthology of Commercial Ada Applications: Usage and Issues for Non-Weapons Software Systems

Abstract: This anthology is a collection of articles which have appeared in the "Ada Strategies" newsletter over the last four years. The book is not intended to be a complete collection of every non-weapons use of Ada in the world. Rather, it is intended to provide insight , background, issues, justification, and information regarding the use of Ada and related engineering disciplines in a broad area of software application domains. one chapter is dedicated to topics relating to software, competitiveness, and general Ada information, another chapter focuses on critical resource requirements and trends. The other four chapters deal directly with the non-weapons usage of Ada in the major markets of the world--the US, Europe, Japan, and Australia.

Author: Crafts, Ralph E.

Publisher: SS&T - Software Strategies and Tactics, Inc., Rt. 2, Box 713, Harpers Ferry, WV 25425

Producing Organization: SS&T - Software Strategies and Tactics, Inc.

Publication Date: 1/91


Software Engineering Education Directory

Abstract: This directory provides information about software engineering courses and software engineering degree programs offered by colleges and universities, primarily in the US.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 1513

Reference Number: CMU/SEI-91-TR-9; ESD-91-TR-9

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 5/91


Educator Development Workshop

Abstract: These proceedings contain one technical report and three educational materials documents from SEI: "Models for Undergraduate Project Courses in Software Engineering" (CMU/SEI-91-TR-10), "Materials to Support Teaching a Project-Intensive Introduction to Software Engineering" (CMU/SEI-91-EM-6), "A Software Engineering Project Course with a Real Client" (CMU/SEI-91-EM-4), and "Scenes of Sofwtare Inspections: Video Dramatizations for the Classroom" (CMU/SEI-91-EM-5).

Publisher: SEI

Sponsoring Organization: DoD

Publication Date: 10/91


Sixth Annual ASEET Symposium Proceedings

Abstract: The papers contained in these proceedings are arranged by presentation date: THURSDAY SEPTEMBER 12, 1991 ("Undergraduate Software Engineering Courses: Meeting the Needs of Industry," "Using Ada to Teach Concurrency," "Lessons Learned in the Ada Training Programs at Rockwell") and FRIDAY, SEPTEMBER 13, 1991 ("The Ada Apprentice," "A Sequence of Freshman Level Integrated Laboratory Assignments," "Educational Significance of a Declarative Ada Dialect," "A Tool Supporting Programming in the Large for the Industry Software Development Courses," "A Top-Down Toolbox Approach to Teaching the Ada Programming Language," "Using a Language Sensitive Editor and Ada in Computer Science I-II").

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 9/91


Catalogue of Interface Features and Options for the Ada Runtime Environment Release 3.0

Abstract: Proposes and describes a common set of user-runtime environment interfaces from a user's perspective. Provides some needed support to our runtime environment constituents now - considerably in advance of the Ada 9X resolutions.

Author: McKay, Charles; et al.

Publisher: ACM - Association for Computing Machinery, Special Interest Group for Ada (SIGAda), Ada Runtime Environment Working Group (ARTEWG)

Producing Organization: ARTEWG - Ada Runtime Environment Working Group, Interfaces Subgr

Publication Date: 7/91


Department of Defense Appropriations Act, 1991, Public Law 101-511

Abstract: This act mandates the use of Ada in all DoD software in section 8092.

Publisher: GPO - U.S. Government Printing Office

Reference Number: PL 101-511; H.R. 5803

Producing Organization: U.S. Congress, 101st

Publication Date: 11/90


Notes on Applications of the SQL Ada Module Description Language (SAMeDL)

Abstract: This report shows how the SAMeDL can be adapted and extended to provide services to applications needing advanced features (e.g., dynamic SQL), or using non-ANSI standard data types (decimal date) or having other unusual requirements. It also contains short descriptions of some implementation details.

Author: Chastek, Gary; Marc H. Graham; and Gregory Zelesnik

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-12; ESD-91-TR-12

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 7/91


Proceedings of the Second Portable Common Interface Set (PCIS) Workshop: Interface Technology Analyses (ITA2)

Abstract: The Second PCIS Workshop was held in conjunction with the Fifth NIST ISEE Workshop and the IWCASE Workshops. The papers contained in these proceedings are arranged by section: The Interface Technology Analysis (ITA) Document, SECTION 1- NIST ISEE Workshop ("ECMA Organisation;" "Next Generation Computer Resources {NGCR}: Project Support Environment Working Group (PSEWG);" Reference Model Mappings- "Feedback from AD/Cycle Mapping," "CAIS-A {MIL-STD-1838A} Mapping to NIST Reference Model," "Software Life Cycle Support Environment {SLCSE}, CIS Experience in ECMA Reference Model Mapping;" "Summary of Reference Model Evaluation;" "Integration Services;" "Object Management Working Group Summary;" "Project Management Subgroup Summary;" "User Interface Management Services Summary;" "Summary of the Fifth Workshop on Integrated Software Engineering Environments {ISEE});" SECTION 2- IWCASE Workshop ("International Workshop on CASE {IWCASE}," "CASE Standards Coordination Update Meeting Standard Update Reports," "CALS, PDES, and Software Products," "CDIF," "PDES STEP CALS," "IEEE-CS P1175 -- A Standard Reference Model for Computing System Tool Interconnection," "CIS and ATIS," "Project Support Environment Standards Working Group {PSESWG}," "The COHESION Framework Program," "AD/Cycle Platform: Blueprint for a More Productive Future," "The SoftBench Experience," "Adding Control Integration to PCTE," "MIF Control Integration Reactive Integration {Implicit Invocation}," "Information Resource Dictionary Systems {IRDS}"); and SECTION 3- PCIS Workshop (Needs of the Environment User- "Caught in the Minefield {35mm slides -- not included}," "US Air Force: The Software Technology Support Center," "US Army: Software Engineering Requirements for the Strategic Defense System," "Needs of the PCTE Programme: A Personal View," "SEMATECH's Advanced Development Environment {ADE}, orr Software Engineering Environments: The Needs of Manufacturing Users," "Environments -- An Industry View," "Environment Users Presentation;" PCIS Wrap-up Sessions- Report of the Environment Users Session: "Process Driven Requirements, Evolution and Lego Interfaces," "Role-based Requirements Analysis," "Needs for PCIS Administrative Services," "The Requirements Process -- Technology Push versus User Pull," "Stability, Systems Engineering and Benefits," "Identifying Methods and Tools;" Report of the Environment Suppliers Working Group: "ATIS/PCTE Merger Experiment;" Report of the Platform Providers [merged with Environment Suppliers]: "PCIS Working Group Needs of Platform Providers;" Report of the Tool Users/Builders Working Group: "PCIS Needs of the Tool Builders").

Author: Roby, Clyde G. (ed)

Publisher: IDA

Reference Number: IDA Document: D-1047

Sponsoring Organization: USDoD, AJPO, NIST, USDoC, NATO SWG on APSE, IWCASE

Producing Organization: IDA; Hosts: TRW, SIGAda

Publication Date: 6/91


The Ada Directory

Abstract: The complete international Ada Language source book: tools, including validated compilers; host and target environments; reusable components; current, verified vendor contacts.

Author: Gaumer, Dale J.

Publisher: Magnavox Electronics Company, 1313 Production Road, Fort Wayne, IN 46808-1187

Sponsoring Organization: Magnavox Electronics Co.

Producing Organization: DG Innovations

Publication Date: 7/93


Proceedings of PCIS European Workshop

Abstract: The presentations contained in these proceedings are arranged by session: 1- General Introductory ("Opening Address," "PCIS Programme," "STARS Programms," "CEC Programme," "IEPG TA-13 Programme," "PIMB"), 2- The Needs of a PCIS ("Tool Supplier," "Platform Supplier," "Environment Supplier," "Environment Users"), 3- Emerging Technologies ("Opening Address," "Caught in a Minefield," "ATI"S," "POSIX," "CFI," "OMG," "CDIF," "ECMA PCTE," "PCTE+," "CAIS-A," "Closing Discussion"), 4- Parallel Workshop Sessions (Not included in these proceedings), 5- Concluding Session ("Report of the Tool Suppliers' Session," "Report of the Platform Suppliers' Session," "Report of the Environment Suppliers' Session," "Report of the Environment Users' Session"), and Attendance List.

Sponsoring Organization: UK MoD

Publication Date: 5/91


Issues in Real-Time Data Management

Abstract: Explores issues related to the use of database management technology in support of realtime system programming. It describes the potential benefits of database support for realtime systems, and it describes the state of the art in database technologies relevant to realtime. The report concludes research and development will be needed before the benefits of database management can be applied to realtime system development.

Author: Graham, Marc H.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-17; ESD-91-TR-17

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 7/91


A Software Engineering Project Course with a Real Client, Part I: Overview

Abstract: This case study describes the background and organization of the software engineering course and presents the lecture and project materials produced by the faculty and students of the course.

Author: Bruegge, Bernd; John Cheng; and and Mary Shaw

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-EM-4

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 7/91


Materials to Support Teaching a Project-Intensive Introduction to Software Engineering

Abstract: In a project intensive introduction to software engineering at Carnegie Mellon University, students developed an interactive exhibit for the Kansas Cosmosphere and Space Center. In a similar course at The Wichita State University, students modified the original object to fit new customer requirements. This package of educational materials provides the software products and documents developed by the students in these courses, along with lesson plans, exams, and other materials used by the instructors.

Author: Tomayko, James E.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-EM-6

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 7/91


Scenes of Software Inspections: Video Dramatizations for the Classroom

Abstract: Describes the video tape, Scenes of Software Inspections, which contains brief dramatizations that demonstrate appropriate and inappropriate conduct of software inspections. The tape also includes scenes that show other kinds of group interactions. Any of these scenes can be incorporated into lectures, self study materials, or other educational delivery mechanisms, to illustrate how to perform inspections, and important software engineering technique.

Author: Deimel, Lionel E.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-EM-5

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 5/91


Work Unit Summaries: Report on Artificial Intelligence

Abstract: This compilation contains information that is limited in distribution and may refer to work that is classified. It is provided specifically to registered users of Defense Technical Information Center (DTIC) for their use only. Disclosure of this information to unauthorized recipients may constitute a violation of law. It is a listing of 46 projects and contracts concerning work on artificial intelligence for the DoD.

Publisher: DTIC - Defense Technical Information Center, Cameron Station, Alexandria, VA 22304-6145

Reference Number: DTIC Report No. T44309

Producing Organization: DTIC - Defense Technical Information Center

Publication Date: 5/90


Work Unit Summaries: Report on Ada

Abstract: ***This compilation contains information that is limited in distribution and may refer to work that is classified. It is provided specifically to registered users of the Defense Technical Information Center (DTIC) for their use only. Disclosure of this information to unauthorized recipients may constitute a violation of the law.**** This is a listing of 133 projects and contracts concerning Ada funded by the DoD.

Publisher: DTIC Defense Technical Information Center, Cameron Station, Alexandria, VA 22304-6145

Reference Number: DTIC Report No. T44308

Producing Organization: DTIC - Defense Technical Information Center

Publication Date: 5/90


Expert Missile Maintenance Aid (EMMA), Volume I: Phase One Technical Discussion, Raytheon Version

Abstract: ***Distribution authorized to U.S. Government agencies and their contractors only; this report documents test and evaluation.**** EMMA is a first attempt to enhance USAF tactical munition maintenance testing procedures by applying artificial intelligence/expert system technology. This volume discusses the technical issues associated with the development. It describes knowledge identification and acquisition, the design and testing stages, and the demonstration/evaluation tasks. It also contains a compendium of final results and lessons learned.

Author: Elerin, Liese M.; et al.

Publisher: USAF Armament Laboratory

Reference Number: AFATL-TR-87-46, VOL I

Sponsoring Organization: ESD - US Air Force Electronic Systems Division, Aeromechanics Division, Air Force Armament Lab.

Producing Organization: Raytheon Company, Missile Systems Division

Publication Date: 11/87


Expert Missile Maintenance Aid (EMMA), Volume II: Trade Studies, Raytheon Version

Abstract: ***Distribution authorized to U.S. Government agencies and their contractors only; this report documents test and evaluation*** EMMA is a first attempt to enhance USAF tactical munition maintenance testing procedures by applying artificial intelligence/expert system technology. This volume contains several study issues that are areas of concern for future development. These include: test program software commonality and reusability; Ada usage for test software and expert systems; Modular Automated Test Equipment (MATE); Warner Robins reliability database interrelationship; and security issues.

Author: Elerin, Liese M.; et al.

Publisher: USAF Armaments Laboratory

Reference Number: AFATL-TR-87-46, Volume II

Sponsoring Organization: ESD - Electronic Systems Division, Aeromechanics Division, USAF Armament Laboratory, Eglin AFB, FL

Producing Organization: Raytheon Company, Missile Systems Division

Publication Date: 11/87


Artificial Intelligence Applications to Speech Recognition

Abstract: The specific topic for this volume is the design and implementation of a knowledge-based system to read speech spectrograms.

Author: Rhody, Harvey;and John Biles

Publisher: RADC - Rome Air Development Center

Reference Number: RADC-TR-90-404, Volume VIII (of 18)

Sponsoring Organization: USAF RADC - Rome Air Development Center, Griffiss AFB, NY, 13244-5700

Producing Organization: RIT - Rochester Institute of Technology; NAIC

Publication Date: 12/90


Ada Run-time Environment Characterization for JAMPS

Abstract: ***This document was prepared for authorized distribution. It has NOT been approved for public release.*** Describes the interim results of efforts to ascertain whether the Telesoft Ada run-time environment for the MC68000 Sytem will be adequate for JAMPS software development. A series of empirical run-time environment test programs was developed. The MC68000 Ada compiler was unavailable so the tests were exercised using the Rolm ADE. When it does become available, the tests will be rerun to determine the feasibility of reimplementing JAMPS in Ada.

Author: Ruane, M.F.; B.A. Cheikes; and J.H. Galia

Publisher: MITRE - Mitre Corporation, Bedford MA

Reference Number: MTR9614

Sponsoring Organization: ESD - USAF Systems Command, Electronic Systems Division, Hascom AFB, MA

Producing Organization: MITRE - Mitre Corporation, Bedford, MA

Publication Date: 3/85


Software User's Manual for the Ada Information Clearinghouse Address Database

Abstract: Provides the information necessary to operate and use a database developed with PARADOX software, version 3.0 on an IBM Personal Computer (PC) or compatible computer used to keep track of the Ada Information Clearinghouse (AdaIC) mailing list.

Publisher: IITRI - IIT Research Institute, 4600 Forbes Boulevard, Lanham, MD 20706-4320

Reference Number: CDRL Sequence No. A008

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 5/91


Standard ECMA-158: Portable Common Tool Environment (PCTE) C Programming Language Binding

Abstract: Defines the standard binding of the PCTE, as specified in Standard ECMA-149, to the C Programming Language, and is in conformance with ANSI X3.159-1989, the American National Standard for the C Programming Language.

Publisher: ECMA - European Computer Manufacturers Association

Reference Number: Standard ECMA-158

Producing Organization: ECMA - European Computer Manuafacturers Association

Publication Date: 6/91


Standard ECMA-149: Portable Common Tool Environment (PCTE) Abstract Specification

Abstract: This interface standard specifies ECMA PCTE in abstract, language-independent, terms. It specifies the interface supported by any conforming implementation as a set of abstract operation specifications, together with the types of their parameters and results, supported by a number of standard bindings.

Publisher: ECMA - European Computer Manufacturers Association

Reference Number: Standard ECMA-149

Producing Organization: ECMA - European Computer Manufacturers Association

Publication Date: 12/90


A Critical Review of the Current State of IPSE Technology

Abstract: Evaluates the current state of research work in the area of Integrated Project Support Environment (IPSE), suggests some reasons for the relative lack of success, and makes proposals for ensuring measured progress in the future.

Author: Brown, Alan W.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-29; ESD-91-TR-29

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 10/91


Ada Follies

Abstract: Introduction to, and songs from, the Ada Follies, a show presented at the TRI-Ada ' 90 conference.

Author: Bamberger, Judy; Garth Glynn

Sponsoring Organization: Markus Executive Search

Publication Date: 10/90


Ada Programming Language (Feb 88 - Apr 90): Citations from the Information Services for the Physics and Engineering Communities

Abstract: This bibliography contains citations concerning the high order programming language Ada. The abstracts reference reports on the design, implementation, grammar, compilers, and programming methodology. Many references pertain to microcomputers designed to use Ada, and other references discuss implementation problems. Many examples are given for using Ada in real-time programming or multiprogramming applications. Contains 365 citations.

Publisher: NTIS - National Technical Information Center, Springfield, VA 22161

Reference Number: PB90-868829

Producing Organization: NTIS - National Technical Information Center

Publication Date: 11/91


An Examination of Selected Commercial Testing Tools

Abstract: Reports on the examination of ten commercial tools identified for the static and dynamic analysis of Ada code. Provides software development managers with information that may help them gain and understanding of the types of tools that are commercially available, the functionality of these tools, and how they can aid in the development of Ada software. Significant findings include: 1) some of the tools could be used immediately to improve cost-effectiveness testing for SDI software development, 2) they provide reporting data that can support management of SDI testing efforts, and 3) many can be used in conjunction to overcome the limitations of particular tools.

Author: Brykczynski, Bill R.; Christine Youngblut; and Reginald N. Meeson

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311-1772

Reference Number: IDA Paper P-2628

Sponsoring Organization: SDIO - Strategic Defense Initiative Organization, Engineering Division, Computer Resources

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 10/91


Evaluation of Process Modeling Improvements

Abstract: The SEI has been involved with the development and analysis of software process models for several years. This report describes the study and elaborates upon the advantages and disadvantages of the proposed technique improvements.

Author: Krut, Robert W., Jr.; and David P. Wood

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-5; ESD-91-TR-5

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 4/91


Standards: Blind Faith Pays

Abstract: Contains a brief description of the Technical Control, Automation, Maintenance & Support system (TCAMS) and a summary of the lessons we learned when standards are used in the design and implementation of a large system.

Author: Harris, David L.

Publisher: Sandia National Laboratory

Producing Organization: Sandia National Laboratory

Publication Date: 9/91


Ada Follies

Abstract: Introduction and songs from the Ada Follies, performed at TRI-Ada '89.

Author: Bamberger, Judy; and Garth Glynn

Sponsoring Organization: Markus Executive Search; Defense Science Magazine

Publication Date: 9/89


The Annotated Ada Reference Manual

Abstract: This manual contains the full text of ANSI/MIL-STD-1815A-1983, the "Reference Manual for the Ada Programming Language" (LRM), with in-line annotations derived from the Ada Issues, (AIs - sometimes better known as Ada Commentaries). The version of the AIs used were those available as of the 31 May 1991.

Author: Nyberg, Karl A. (ed)

Publisher: Grebyn Corporation

Reference Number: ANSI/MIL-STD-1815A-1983 (Annotated)

Publication Date: 8/91


Ada and C++: A Business Case Analysis

Abstract:

Publisher: U.S. Air Force

Producing Organization: U.S. Air Force

Publication Date: 7/91


Software Documentation Tools Report 1991

Abstract: A synopsis of the STSC's progress in evaluating software documentation tools through March 1991. The tools, capabilities, and evaluations found in this report will help Air Force organizations select documentation tools

Author: Van Berkum, Joel; Dave Crosby; and Reed Sorensen

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISAC, Hill AFB, UT 84056

Producing Organization: STSC - US Air Force Software Technology Support Center

Publication Date: 3/91


Software Test Tools Report 1991

Abstract: A synopsis of the STSC's progress in evaluating software test tools through March 1991. The tools, capabilities, and evaluations found in this report will help Air Force organizations select test tools.

Author: Sittenauer, Chris; et al.

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISAC, Hill AFB, UT 84056

Producing Organization: STSC - US Air Force Software Technology Support Center

Publication Date: 5/91


Requirements Analysis & Design Tool Report 1991

Abstract: A synopsis of the STSC's progress in evaluating requirements analysis and preliminary design computer aided software engineering tools. Throughout this report we will refer to requirements analysis and preliminary design computer aided software engineering tools as Upper CASE tools. The assessment strategies and lists of tools found in this report will help Air Force organizations select productive Upper CASE tools.

Author: Hanrahan, Bob; et al.

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISAC, Hill AFB, UT 84056

Producing Organization: STSC - US Air Force Software Technology Support Center

Publication Date: 1/91


Ada Computer Implementation and Lessons Learned, U.S. Army Material Command thru September 1991

Abstract: Covers the entire spectrum of Ada implementation. Copies of briefings given.

Author: Williams, Anthony H; et al..

Publisher: U.S. Army Material Command, 5001 Eisenhower Avenue, Alexandria, VA 22333-0001

Producing Organization: US Army Material Command

Publication Date: 9/91


Software Re-engineering Tool Report 1991

Abstract: A synopsis of the STSC's progress in evaluating software re-engineering tools through March 1991. The tools, capabilities, and evaluations found in this report will help Air Force organizations select re-engineering tools.

Author: Sittenaur, Chris; Debbie Dyer; and Greg Daich

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISAC, Hill AFB, UT 84056

Producing Organization: STSC - US Air Force Software Technology Support Center

Publication Date: 3/91


Guidelines for the Use of the SAME

Abstract: Describes the Structured Query Language (SQL) Ada Module Extensions, or SAME, a method for the construction of Ada applications that access database management systems whose data manipulation language is SQL. As its name implies the SAME extends the module language defined in the ANSI SQL standard to fit the needs of Ada. The defining characteristic of use of this is that SQL statements appear in an object called the module that is physically separate from the Ada application, but accessible through Ada procedure calls. Contains a complete description of the SAME, including the motivation.

Author: Graham, Marc H.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-89-TR-16; ESD-TR-89-24

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 5/89


CCPDS-R: A Successful Ada Experience

Abstract: A slide presentation of the Command Center Processing and Display System Replacement (CCPDS-R), one of the U.S. Air Force's large Ada applications, successful experience with Ada and supporting technologies resulting in early delivery of operational capability to the Air Force, on cost, ahead of schedule, with high quality, high reliability, and high maintainability.

Author: Springman, Michael and Jeff Richardson

Publisher: TRW

Sponsoring Organization: U.S. Air Force

Producing Organization: TRW - TRW Systems Integration Group

Publication Date: 12/90


Software Project Management Using Effective Process Metrics: The CCPDS-R Experience

Abstract: Captures the project management experience of using process metrics to measure the development of a large software system for the U.S. government. The CCPDS-R program is a development effort consisting of three subsystems and over 600,000 lines of Ada source code executing in a distributed DEC VAX VMS environment. An initial subsystem, the Common Subsystem, consists of over 300,000 lines of Ada source code. Using the new Ada process model, over 280,000 lines of Ada source code have been developed and integrated into a working demonstration on the operational hardware. This has validated the software design, allowed early analysis and resolution of software performance issues, and provided insight into the usability and flexibility of the system for the user community.

Author: Andres, Don

Publisher: TRW

Reference Number: TRW-TS-89-01

Sponsoring Organization: ESD - U.S. Air Force Electronic Systems Division

Producing Organization: TRW - TRW Systems Engineering & Development Division

Publication Date: 11/89


Reliable, Reusable Ada Components for Constructing Large, Distributed Multi-Task Networks: Network Architecture Services (NSA)

Abstract: Introduces the key concepts of TRW's Reusable Message Based Design Software NAS which has proven to be key to the CCPDS-R project's progress to date. The CCPDS-R PDR Demonstration consisted of 130 Ada tasks interconnected via 450 different task to task interfaces, executing in a network of 3 VAX nodes. The extensive reuse of NAS software building blocks and Ada generics resulted in the translation of 120,000 Ada Source lines into over 2 million lines of executable machine language instructions. Describes the message based design techniques which drove us to development of NAS, its inherent capabilities and components, and the CCPDS-R experience in using NAS in a real-time C2 environment.

Author: Royce, Walker

Publisher: TRW

Reference Number: TRW-TS-89-02

Sponsoring Organization: ESD - U.S. Air Force Electronic Systems Division

Producing Organization: TRW - TRW Systems Engineering & Development Division

Publication Date: 12/89


Requirements Analysis for Large Ada Programs: Lessons Learned on CCPDS-R

Abstract: Summarizes the experiences of the software requirements team on the CCPDS-R program. The focus of this paper is on the process, techniques and tools that supported the critical front end of a successful large scale Ada development program.

Author: Grauling, Charles

Publisher: TRW

Reference Number: TRW-TS-89-03

Sponsoring Organization: ESD - U.S. Air Force Electronic Systems Division

Producing Organization: TRW - TRW Systems Enginering & Development Division

Publication Date: 12/89


Incremental Software Test Approach for DoD-STD-2167A Ada Projects

Abstract: Features of Ada are employed to create a software architecture, CCPDS-R, that supports an incremental test philosophy and contributes to reduced integration effort and risk. The resulting approach conforms to DoD-STD-2167A standards.

Author: Springman, Michae

Publisher: TRW

Reference Number: TRW-TS-90-02

Sponsoring Organization: ESD - U.S. Air Force Electronic Systems Division

Producing Organization: TRW - TRQ Systems Engineering & Development Division

Publication Date: 2/90


Proposed updates to MIL-STD-1521B Technical Reviews and Audits for Systems, Equipments, and Computer Software (May 9, 1985)

Abstract: This standard prescribes the requirements for the conduct of Technical Reviews and Audits on Systems, Equipments, and Computer Software. A working version made available to the Ada community by SIGAda.

Publisher: DoD

Reference Number: MIL-STD-1521B

Sponsoring Organization: Logicon

Producing Organization: ESD - U.S. Air Force Electronics Systems Division

Publication Date: 4/90


Ada, The New DOD Weapon System Computer Language - Panacea or Calamity

Abstract: Examines Ada's intended purpose and handling of software language problems in the areas of cost, reliability, system capability, maintainability, and weapon selection. Although the study concludes with an assessment that Ada's original intentions have been successful, it falls short of endorsing all of Ada's claims. Recommendations are given to facilitate a wider acceptance of Ada.

Author: Babiak, Nicholas J.

Publisher: DTIC - Defense Technical Information Center

Reference Number: AD-A217 657

Producing Organization: AWC - Air War College, U.S. Air Force Air University

Publication Date: 5/89


SEI Reports: Annotated Listing 1 January 1986 - 7 November 1991

Abstract: An annotated listing of SEI technical reports, and other materials

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 14213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/91


SEI Program Plans for 1992

Abstract: *************DISTRIBUTION LIMITED************ TO U.S. GOVERNMENT AGENCIES only for contractor performance evaluation. Other requests for this document must be referred to ESD/AVS. Discusses the Software engineering Institute's plans for FY 1992 in terms of vision, objectives, goals, and targets.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: DRAFT SEI-91-CDRL-104/107

Sponsoring Organization: U.S. Department of Defense

Producing Organization: SEI - Software Engineering Institute

Publication Date: 8/91


Guide to AOOP - Ada Object-Oriented Programming, Part I

Abstract: Describes a method and a suite of support software for object oriented programming in Ada. In several respects, Ada is already object-oriented. It lacks an inheritance mechanism, however, and, polymorphism can only be implemented in Ada through verbose code at a low level of abstraction. AOOP adds both at a reasonable level of abstraction not by changing the language, but by changing the production method.

Author: Baker, Paul L.

Publisher: CTA - CTA incorporated, 6116 Executive Boulevard, Suite 800, Rockville, MD 20852

Reference Number: CTA-TG-91-3

Producing Organization: CTA - CTA Incorporated

Publication Date: 5/91


US40 - STARS Reuse Concept of Operations, Volume I Version 0.5: Informal Technical Data

Abstract: This version of the Software Technology for Adaptable Reliable Systems (STARS) Reuse Concept of Operations (CONOPS) is a draft containing the basic STARS reuse concepts and high level definitions of reuse processes.

Publisher: Unisys Defense Systems, Inc.,12010 Sunrise Valley Drive, Reston, VA 22091

Reference Number: STARS-SC-03725/001/00; Task: US40; CDRL: 03725

Sponsoring Organization: ESD - US Air Force Electronic Systems Division, Hanscom AFB, MA 01731-5000

Producing Organization: Boeing, IBM, and Unisys

Publication Date: 8/91


US40 - Domain Specific Environment Repository Composite Paradigm Report: Informal Technical Data

Abstract: Defines a risk-driven Composite Paradigm as an interim step toward the definition of a reuse-based paradigm for the development of trusted Navy Command and Control (C2) systems. It represents a melding of previous DARPA, SEI, STARS and industry process modeling work, as appropriate, in the areas of risk-based activities; high performance trusted system developments; software reuse; library support for reuse; and trusted system reuse issues. It directly addresses the STARS goals for a technology for building adaptable, highly reliable and cost effective software systems. It provides an initial framework for the development of trusted systems, a high risk domain growing in importance as the need for more complex systems and more systems interoperability increases.

Publisher: Unisys Defense Systems, Inc., 12010 Sunrise Valley Drive, Reston, VA 22091

Reference Number: STARS- SC-03068/001/00; GR-7670-1195(NP); Task: US40

Sponsoring Organization: ESD - US Air Force Electronic Systems Division, Hanscom AFB, MA 01731-5000

Producing Organization: TRW

Publication Date: 5/91


Durra: A Task-Level Description Language Reference Manual (Version 3)

Abstract: Durra is a language designed to support the development of distributed programming applications consisting of concurrent, large-grained processes devoted to specific pieces of the application. During execution time, the application processes run on possibly separate processors, and communicate with each other by sending messages of different types across communication links. The application developer is responsible for prescribing a way to manage all of these resources, called a task-level application description. It describes the processes to be executed, the assignments of processes to processors, and the communication channels required to transmit messages data between processes. Durra is a task-level description language, a notation in which to write these application descriptions. This document is a revised version of the original reference manual. It describes the syntax and semantics of the language and incorporates all the language changes introduced as a result of our experiences writing application descriptions in Durra.

Author: Barbacci, Mario R., et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-18; ESD-91-TR-18

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/91


Requirements Engineering and Analysis Workshop Proceedings

Abstract: Inadequate, incomplete, erroneous, and ambiguous system and software requirements are a major and ongoing source of problems in systems development. These problems manifest themselves in missed schedules, budget excesses, and systems that are to varying degrees unresponsive to the true needs of the sponsor. These difficulties are often attributed to the poorly defined and ill-understood processes used to elicit, specify, analyze, and validate requirements. The Software Engineering Institute (SEI) hosted the Requirements Engineering and Analysis Workshop in Pittsburgh, Pennsylvania, on March 12-14, 1991. The intention of the workshop was to focus discussion on issues and activities that could help the Department of Defense (DoD) to deal more effectively with the requirements of mission-critical systems. The SEI workshop built upon work performed previously at the Requirements Engineering and Rapid Prototyping Workshop held by the U.S. Army Communications Electronics Command (CECOM) Center for Software Engineering in Eatontown, New Jersey, on November 14-16 1989. The Workshop participants were divided into four working groups: Requirements Engineering Process and Products, Requirements Volatility, Requirements Elicitation, and Requirements Engineering Techniques and Tools. A summary of the findings of each working group follows.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-91-TR-30; ESD-91-TR-30

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburg, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/91


Proceedings of the DoD Software Technology Strategy Public Forum

Abstract: These proceedings include text and viewgraphs from presentations, panel sessions, working sessions, and a SWAP session with the following titles: "Introductory Remarks," "Overview, "Software Technology Strategy -- Components," "Software and Systems Engineering," "Human-Computer Interaction," "Artificial Intelligence -- Intelligent Systems," "Parallel/Distributed Software," "Real-Time/Fault Tolerant Software," "High Assurance Software," "Department of Navy Perspective on the DoD Software Technology Strategy," "The DoD Software Technology Strategy: An Air Force Acquisition Perspective," "Software Expert Reviewer Process," "Software Acquisition Improvements," "Software Process Maturity," "Development Standards and Practices," "Comments on SWTS," "Federal Government Software Overview," and "Overall Needs and Strategies Summary."

Publisher: DoD

Sponsoring Organization: DoD

Publication Date: 4/92


The Conceptual Basis for a Project Support Environment Services Reference Model

Abstract: The foundation for a Project Support Environment (PSE) services reference model is presented. This model is to be used as the basis for understanding more about meaning of integration in a PSE, comparing and contrasting PSE Process constraints on those services are separately identified. The motivation for the view of a PSE is described, followed by a detailed description of the main structure and elements of the model.

Author: Brown, Alan W. and Peter H. Feiler

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-2; ESD-92-TR-2

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/92


An Analysis Technique for Examining Integration in a Project Support Environment

Abstract: In this paper we describe the use of a Project Support Environment (PSE) services reference model as an analysis technique that helps in describing, understanding, and comparing aspects of integration in a PSE. The model is briefly described, before being used as the basis for discussing a number of issues with regard to PSE integration. A major focus of this paper is a discussion of the interfaces of interest in a PSE--interfaces within a single service, between services, and between services and the PSE end users. The paper concludes with a discussion of possible interpretations and developments of the model to suit different user requirements.

Author: Brown, Alan W. and Peter H. Feiler

Publisher: SEI - Sortware Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-3; ESD-92-TR-3

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/92


Issues and Techniques of CASE Integration with Configuration Management

Abstract: Commercial computer-aided software engineering (CASE) tool technology has emerged as an important component of practical software development environments. Issues of CASE tool integration have received heightened attention in recent years, with various commercial products and technical approaches promising to make inroads into this difficult problem. One aspect of CASE integration that has not been adequately addressed is the integration of CASE tools with configuration management (CM) including both CM policies and systems. Organizations need to address how to make CASE tools from different vendors work effectively with an organization's CM policies and tools (in effect, integrate CASE with CM) within the context of the rapidly evolving state of commercial integration technology. This report describes key issues of the integration of CASE with CM from a third-party integrator's perspective, i.e., how to approach the integration of CASE and CM in such a way as to not require fundamental changes to the implementation of the tools or CM systems themselves.

Author: Wallnau, Kurt C.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-5; ESD-92-TR-5

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 3/92


Ada Compiler Validation Support: Fiscal Year 1991

Abstract: This report summarizes the technical issues that affected the way the Ada Joint Program Office (AJPO) conducted the ada compiler validation process during fiscal year 1991. These issues are limited to interpretations of Ada language rules, as they are implemented in conformity test programs, and the expected behavior of Ada compilers. The majority of the validation issues that arose pertained to a limited class of language constructs or a particular Ada compiler and hardware and software environment. This report documents IDA's work in fiscal year 1991 addressing the test disputes, validation reports, and compiler registration requests.

Author: Lehman, R. Danford and Audrey A. Hook

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311-1772

Reference Number: IDA Document D-1111

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analysis

Publication Date: 1/92


SEI Reports: Annotated Listing (1 January 1986-14 February 1992)

Abstract: Annotated List of SEI technical reports and other publications that have been published from 1 January 1986 to 14 February 1992.

Publisher: SEI - Sortware Egineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/92


IDA Publications for 1991

Abstract: ***DISTRIBUTION LIMITED TO US GOVERNMENT AGENCIES AND THEIR CONTRACTORS*** This synopsis comprises the published documents of the Institute for Defense Analyses, Virginia Divisions, for calendar year 1991 and includes only those documents that have undergone final security review and release by the sponsor. It is organized by broad program area--Technology Assessments, Systems Evaluations, Force and Strategy Assessments, and Resource and Support Analyses. Within each program area, documents are presented alphabetically. Each entry comprises a title, author(s), abstract, sponsor, IDA reference number, classification, and IDA Division reference.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, Va 22311-1772

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 4/92


Guidelines for the Successful Acquisition of Computer Dominated Systems and Major Software Developments

Abstract: This document is intended to be a practical guide and reference for Program Managers and System Acquisition Specialists for successful acquisition of computer dominated systems and major software development programs. It is not meant to be a text book on how to develop and maintain software. These guidelines are designed to be used in conjunction with appropriate standards and directives. This document incorporates the benefits of practical experience and wisdom of numerous professionals and practitioners of the business, both within the military and industry, who volunteered their suggestions and recommendations.

Publisher: USAF - US Air Force, Office of the Secretary, Washington, DC 20330-1000

Producing Organization: USAF - US Air Force, Office of the Secretary

Publication Date: 2/92


Introduction to Software Process Improvement

Abstract: While software now pervades most facets of modern life, its historical problems have not been solved. This report explains why some of these problems have been so difficult for organizations to address and the actions required to address them. It describes the Software Engineering Institute's (SEI) software process maturity model, how this model can be used to guide software organizations in process improvement, and some guidelines organizations have found helpful in their improvement efforts. This report concludes with a discussion of the most common process improvements traps and pitfalls, and the steps to take to avoid them.

Author: Humphrey, Watts S.

Publisher: SEI - Sortware Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-7, ESD-TR-92-007

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 6/92


Parallels in Computer-Aided Design Framework and Software Development Environment Efforts

Abstract: This paper is an attempt to raise awareness about the similarities between the efforts of the software development environment (SDE) community and the electronic computer-aided design (CAD) framework community. Apparently, SDE and CAD engineers are not aware of what is happening in each other's fields, yet cross-fertilization of efforts would assist progress. Both communities are addressing the same problems of providing configuration management (CM), tool integration, and process management support in their environment. Each community can benefit from the other since both have similar needs and have found, and are finding, similar solutions. It is particularly useful to consider collaborative efforts as both communities are evolving towards standardization.

Author: Dart, Susan A.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-9; ESD-TR-92-009

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 5/92


Ada Validation Tests for Rate Monotonic Scheduling Algorithms

Abstract: This report presents a set of tests for checking whether an Ada runtime system properly supports certain rate monotonic scheduling algorithms, specifically, the basic inheritance and priority ceiling protocols. These tests are intended to be used by vendors and by users to validate implementations of these protocols. The report describes the tests and how they are to be used. The source code is available electronically.

Author: Kohout, Keith A.; Kent Meyer; and John B. Goodenough

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-1; ESD-92-TR-1

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/92


An Analysis of SEI Software Process Assessment Results: 1987-1991

Abstract: This report focuses on the results of SEI software process assessments conducted over a four-year period beginning in 1987. It characterizes the software processes used by software managers and practitioners at the assessed sites and classifies issues identified during the assessments. The basis for the characterization and classification is a software process maturity model developed by the SEI. This report contributes to the existing body of knowledge on the state of practice of software engineering in the U.S. by characterizing the sites from a software process maturity perspective and profiling site software process weaknesses. The data analyzed is drawn from SEI software process assessments of 59 government and industry software sites. This work is an analysis of existing assessment data rather than a designed study. The participating sites were not randomly selected; accordingly, they do not necessarily constitute a statistically valid sampling of the U.S. software industry.

Author: Kitson, David H. and Steve Masters

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-92-TR-24; ESD-TR-92-24

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 7/92


Analysis of Reservation-Based Dual-Link Networks for Real-Time Applications

Abstract: Next-generation networks are expected to support a wide variety of services. Some services such as video, voice, and plant control traffic have explicit timing requirements on a per-message basis rather than on the average. In this paper we develop a general model of reservation-based dual-link networks to support real-time communication. We examine the desirable properties of this network and the difficulties in achieving these properties. We then introduce the concept of coherence and develop a theory of coherent dual-link networks. We show that a coherent dual-link network can be analyzed as though it is a centralized system. We then discuss practical considerations in implementing a dual-link network, and implications of this work to address problems observed in the IEEE 802.6 metropolitan area network standard.

Author: Sha, Lui; Shirish S. Sathaye; and Jay K. Strosnider

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-10; ESD-TR-92-10

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 6/92


Software Measurement Concepts for Acquisition Program Managers

Abstract: For program managers to effectively manage and control software development, they need to incorporate a measurement process into their decision making and reporting process. Measurement costs money, but it can also save money through early problem detection and objective clarification of critical software development issues. This report provides some basic concepts that program managers can use to help integrate measurement into the process for managing software development. It also provides an initial set of measures to help address common issues in software intensive acquisitions. When the Software Acquisition Metrics Working Group first met in 1989, only a few reports existed on the subject of how program managers could use software measurement; now, other reports have been written. The goal of this report is not to compete with those reports, but to use them as starting points for expansion. This report should be viewed not as a standard, but as containing guidelines and advice for program officers and managers starting to use software measurement in their own organizations.

Author: Rozum, James A.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-11; ESD-TR-92-11

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 5/92


Ada-based Multitasking Terminal I/O

Abstract: This report describes "ANSI Terminal Services," a reusable Ada-based approach to providing protected asynchronous terminal I/O in a multitasking environment. The traditional single-threaded, sequential programming model is inadequate for Ada multitask programs, particularly for real-time applications. An application is likely to contain several tasks needing to perform output concurrently. Any shared resources contained in the I/O software must, therefore, be protected through some form of mutual exclusion. Also, an application will likely need to support input operations concurrently with outputs. This requirement is especially important since Ada implementations on most current operating systems are process synchronous, rather than task synchronous/process asynchronous. As a result, they cause the entire user process to block on an input request. Thus, other program tasks that may be performing critical functions are suspended until user input is complete. Such a result is clearly inappropriate in a real-time environment. ANSI Terminal Services solves these problems and provides both a standard programmer interface and the necessary multitasking concurrency control.

Author: Chalkey, John C. and Michael W. Masters

Publisher: NSWC _ Naval Surface Warfare Center, Dahlgren, VA 22448-5000

Reference Number: NAVSWC TR 91-783

Producing Organization: NSWC - Naval Surface Warefare Center, Combat Systems Dept.

Publication Date: 2/92


Report on PCTE '91, The First International Conference on PCTE

Abstract: The first international conference on PCTE, PCTE '91 was held in The Hague from 25 to 37 September 1991. PCTE is a specification of software services supporting the construction and integration of CASE tools. This report contains an account of the presentations given during this conference. This account is based on the speakers' overhead sheet presentations and the authors' personal notes.

Author: Mager, J.W.L.J. and W. Treurniet

Publisher: TNO Physics and Electronics Laboratory

Reference Number: FEL-92-A134

Sponsoring Organization: Netherlands Organization for Applied Scientific Research

Publication Date: 5/92


The Domain-Specific Software Architecture Program

Abstract: The DARPA Domain Specific Software Architecture Program (DSSA) is a five-year effort that has been active since July 1991. This document contains an overview of the work being done in the program as of July 1992. Software architectures serve as frameworks for software reuse. Domain-specific software architectures also serve as a common language in which domain engineers can discuss, understand and teach the principles of their craft. There are six independent projects within the DSSA program. Four of these projects are working in specific, military-significant domains. Those domains are Avionics Navigation, Guidance and Flight Director for Helicopters; Command and Control; Distributed Intelligent Control and Management for Vehicle Management; Intelligent Guidance, Navigation and Control for Missiles. In addition, there are two projects working on underlying support technology. Hybrid (discrete and continuous, non-linear) Control and Prototyping Technology. This report contains brief descriptions from each project and an overview.

Author: Mettala, LTC Erik and Marc H. Graham, eds.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-SR-9

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 6/92


Software Measures and the Capability Maturity Model

Abstract: This document describes a set of software measures that are compatible with the measurement practices described in the capability maturity model for Software. These measures, in the form of software indicators, cover thirteen different categories that include progress, effort, cost, and quality. Each indicator category contains example figures which illustrate behavior that may occur on a project. The text provides users with tips on how to use these figures or similar ones on their projects. Project software managers and software engineering process groups can use these indicators during the software development life cycle to gain insight into the software development process and software process improvement activities. The indicators chosen have been successfully used on projects in the software industry.

Author: Baumert, John H. and Mark S. McWhinney

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA 15213

Reference Number: CMU/SEI-92-TR-25; ESD-TR-92-025

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 9/92


Ada-Based Socket Communication Services for Semi-Homogenous Systems

Abstract: ***DISTRIBUTION AUTHORIZED TO US GOVERNMENT AGENCIES ONLY; TEST AND EVALUATION (June 1992)*** Socket communication services is a reusable Ada software that allows an application program distributed over a network of computers to communicate with each other. Therefore, the programmer of distributed applications needs to worry about different modules of a distributed application as well as sending and receiving messages among them instead of aspects of interprocess communication protocols provided by different operating systems. In this report, the author discusses communication aspects and needs of a typical distributed processing application program and presents his solution to these different needs. Then, he explains his implementation and the results and performance of the test cases.

Author: Akbari-Zarin, Mansour

Publisher: NSWC - Naval Surface Warfare Center, Dahlgren, VA 22448-5000

Reference Number: NAVSWC TR 91-595

Producing Organization: NSWC - Naval Surface Warfare Center, Combat Systems Dept.

Publication Date: 6/92


Proceedings of the Institute for Defense Analyses Workshop on Policy Issues in the Department of Defense Implementation of the Software Process Maturity Model

Abstract: This document contains the results of the IDA Workshop on Policy Issues in the Department of Defense Implementation of the Software Process Maturity Model. The objective of the workshop was to identify and assess implementation issues associated with mandating the Software Engineering Institute's Software Capability Evaluations (SCEs) and Software Process Assessments (SPAs) for all DoD software intensive acquisitions and development organizations. The workshop addressed implementation issues in five areas: (1) training the SCE and SPA teams, (2) maintaining consistency of results, (3) encouraging process improvement, (4) tailoring the evaluation process, and (5) registering the results. These issues were explored in the workshop panels and the participant position papers, the results of which are contained in the proceedings. The proceedings will be used by DARPA and the DoD Software Action Plan (SWAP) Committee in analyzing the implementation issues associated with using the Software Engineering Institute's software process maturity model. These proceedings include Workshop Panel Topics and Strawman Position Statements, Workshop Results: Panel Slides and Annotations, Summary of Position Papers, Participant Position Papers, List of Acronyms, and a List of Workshop Attendees.

Author: Springsteen, Beth (task leader)

Publisher: IDA

Reference Number: IDA Document: D-1209

Sponsoring Organization: DARPA

Producing Organization: IDA

Publication Date: 8/92


Ada Adoption Handbook: A Program Manager's Guide

Abstract: The handbook provides program managers with information about how best to tap Ada's strengths and manage the transition to fully using this software technology. Although the issues are complex, they are not all unique to Ada. Indeed, many of the issues addressed in this handbook must be addressed when developing any software-intensive system in any programming language. The handbook addresses the advantages and risks in adopting Ada. Significant emphasis has been placed on providing information and suggesting methods that will help program and project managers succeed in using Ada across a broad range of application domains. The handbook focuses on the following topics: Ada's goals and benefits; program management issues; implications for education and training; software tools with emphasis on compiler validation and quality issues; the state of Ada technology as it relates to system design and implementation; and the pending update of the Ada language standard (Ada 9X).

Author: Hefley, William E., et al.

Publisher: SEI

Sponsoring Organization: DoD-SEI Joint Program Office

Producing Organization: SEI

Publication Date: 10/92


Issues in Requirements Elicitation

Abstract: There are many problems associated with requirements engineering, including problems in defining the system scope, problems in fostering understanding among the different communities affected by the development of a given system, and problems in dealing with the volatile nature of requirements. These problems may lead to poor requirements and the cancellation of system development, or else the development of a system that is later judged unsatisfactory or unacceptable, has high maintenance costs, or undergoes frequent changes. By improving requirements elicitation, the requirements engineering process can be improved, resulting in enhanced system requirements and potentially a much better system. Requirements engineering can be decomposed into the activities of requirements elicitation, specification, and validation. Most of the requirements techniques and tools today focus on specification, i.e., the representation of the requirements. This report concentrates instead on elicitation concerns, those problems with requirements engineering that are not adequately addressed by specification techniques. An elicitation methodology is proposed to handle these concerns. This new elicitation methodology strives to incorporate the advantages of existing elicitation techniques while comprehensively addressing the activities performed during requirements elicitation. These activities include fact-finding, requirements gathering, evaluation and rationalization, prioritization, and integration. Taken by themselves, existing elicitation techniques are lacking in one or more of these areas.

Author: Christel, Michael G. and Kyo C. Kang

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-12; ESD-TR-92-012

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 9/92


Software Development Risk: Opportunity, Not Problem

Abstract: What is risk? What is risk management? What does risk management have to do with software? Noted software expert Tom Gilb says: If you don't actively attack the risks, they will actively attack you [Gilb88, p. 72]. But what does it mean to actively attack risks? We answer these questions by examining the problems that exist in software development today and presenting the SEI Risk Program approach to turning risk into opportunity. We begin by reviewing the fundamental concepts of risk and elaborating on how these basic concepts apply to the development of large, software-intensive systems. We then develop our strategy for seeing a systematic approach to risk management in software development be routinely practiced. There are two key activities we are using to implement our strategy. The first is our risk management paradigm. The paradigm defines a set of continuous activities that must be undertaken to resolve technical risk in a systematic and structured way. The second is our risk assessment process for collaborating with clients to identify their technical risks. We end with our ultimate goal: establishing an effective risk management ethic as standard practice in the software engineering industry.

Author: Van Scoy, Roger L.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-30; ESD-TR-92-030

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 9/92


Proceedings of the CASE Management Workshop

Abstract: At this workshop held to address a number of key CASE management issues, a representative group of SEI affiliates from industry, government, and academia discussed such management topics as CASE acquisition policy, what CASE tools can and cannot do, CASE and metrics, and CASE tool selection; the results of these discussions are summarized in this report. These proceedings contain sections entitled Introduction, Keynote Address, Executive Overview of CASE Management Workshop, CASE Acquisition Policy, What CASE Tools Actually Do -- What They Don't Do, CASE and Metrics, CASE Readiness, and CASE Tool Selection.

Author: Huff, Cliff, Dennis Smith, Ed Morris, and Paul Zarrella

Publisher: CMU/SEI

Reference Number: CMU/SEI Technical Report: CMU/SEI-92-TR-6, ESC-TR-92-006

Sponsoring Organization: DoD, SEI Joint Program Office

Producing Organization: CMU/SEI

Publication Date: 9/92


ACEC and AES Merger Workshop Report

Abstract: It was decided that the Ada community would be best served by a single Ada compiler evaluation suite. This test suite would embody the best capabilities of two government-developed test suites, the ACEC of the US DoD, and the AES of the UK MoD. Workshop participants included the developers of the ACEC and the AES, a variety of users of both suites, compiler vendors, and independent evaluators of the ACEC & AES. This mix ensured that both test suites, as well as many types of future merged suite users, were well represented. This report provides a summary of the workshop presentations, merger issues, discussions and merger recommendations.

Author: Szymanski, Raymond

Publisher: AJPO

Sponsoring Organization: AJPO - Ada Joint Program Office

Publication Date: 3/92


A Conceptual Framework for System Fault Tolerance

Abstract: A major problem in transitioning fault tolerance practices to the practitioner community is a lack of a common view of what fault tolerance is, and how it can help in the design of reliable computer systems. This document takes a step towards making fault tolerance more understandable by proposing a conceptual framework. The framework provides a consistent vocabulary for fault tolerance concepts, discusses how systems fail, describes commonly used mechanisms for making systems fault tolerant, and provides some rules developing fault tolerant systems.

Author: Heimerdinger, Walter L. and Charles B. Weinstock

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-33; ESD-TR-92-033

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/92


Rationale for SQL Ada Module Description Language SAMeDL, Version 2.0

Abstract: The SQL Ada Module Description Language, SAMeDL, is a language for the specification of abstract interfaces as delineated by the SQL Ada Module Extensions (SAME) methodology. The language is formally defined in the SAMeDL Reference Manual [Chastek]. This document is a companion to the reference manual. Whereas the reference is meant to be precise, the rationale is meant to be clear. An explanation of the problem solved by the SAMeDL is given. The creation of a new language is justified and the underlying principles of that language are described. Crucial issues in the language are then explained. These include: the form and meaning of identifiers in the SAMeDL: The role of and meaning of identifiers in the SAMeDL. The role of and procedures for data definition in the SAMeDL. This includes support for enumerations and constants in the SAMeDL. The typing rules of the SAMeDL. The proposed use of some SAMeDL features is also illustrated. These include Standard Post Processing and User Defined Base Domains. This document is a revision of an earlier technical report, SEI/CMU-92-TR-4 [Chastek2]. The revision consists of the addition of a reference model of database programming language interfaces to Section 1.3. The reference model gives a context for the survey of Ada SQL interface solutions given in Section 1.3.

Author: Chastek, Gary J.; Marc H. Graham; and Gregory Zelesnik

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-16; ESD-92-TR-16

Sponsoring Organization: SEI Joint Program Office, Carnegie mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 10/92


Software Process Development and Enactment: Concepts and Definitions

Abstract: The scientific treatment of the software process is relatively new and, as with any new field, the initial terminology is often confusing. When terms can have a diversity of meanings, technical communication is more difficult and technological progress is constrained. This paper defines a core set of concepts about the software process. These concepts are intended to facilitate communications and to provide a framework for further definitions. The definitions focus on essential concepts; however, they do not represent a comprehensive glossary of common software process terms. Following an initial overview, this paper outlines the basic process concepts which underlie the definitions. The definitions are then grouped in four sets: a framework for process definition, an engineering of process, an enactment of process, and process properties. This is followed by illustrations of the use of these concepts in several domains. The paper concludes with some observations on the definition process.

Author: Feiler, Peter H. and Watts S. Humphrey

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-04; ESD-TR-92-04

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 9/92


A Classification and Bibliography of Software Prototyping

Abstract: Prototyping, the creation and inaction of models based on operational scenarios, has been advocated as a useful software engineering paradigm because it lends itself to intense interaction between customers, users, and developers, resulting in early validation of specifications and designs. An extensive and widespread interest in software prototyping in recent years has resulted in a daunting amount of literature and dozens of proposed methods and tools. As with any immature and growing technology, the expanding literature and approaches have resulted in correspondingly expansive and confusing terminology. This report presents an overview of technology and literature relating to the creation and use of software system prototypes. In addition to an annotated bibliography of recent prototyping literature, a technology framework, taxonomy, and series of classifications are provided. The intent of this report is to provide a basic road map through the available literature and technology.

Author: Wood, David P. and Kyo C. Kang

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-13; ESD-92-TR-013

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 14213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 10/92


Analysis of a Software Maintenance System: A Case Study

Abstract: To design, implement, and operate a successful software development process, exposure to similar existing systems is invaluable. The objective of this paper is thus to document and analyze an existing, moderate size, software maintenance project. The project, which supports the maintenance of a software environment has, through incremental improvement, become very effective. However, this effectiveness has only been achieved through struggle, compromise, and creativity. The paper documents the evolution of the project, providing insights into how change was managed, and defines and formally models the project as it existed until recently. The project's process is still evolving, and recent changes, while not formally modeled, are also described. The results of this modeling are applied 1) to compare the project's practices from a perspective of the SEI Capability Maturity Model (CMM) and 2) to address briefly the issue of process reuse. Comparison to the CMM resulted in an identification of strengths and weaknesses of the project's

Author: Slomer, Howard M. and Alan M. Christie

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-31; ESD-TR-92-031

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/92


Academic Legitimacy of the Software Engineering Discipline

Abstract: This report examines the academic substance of software engineering. It identifies the basic research questions and the methods used to solve them. What is learned during this research constitutes the body of knowledge of software engineering. The report then discusses at length what makes software production so difficult and what makes software engineering so challenging an intellectual discipline.

Author: Berry, Daniel M.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-34; ESD-92-TR-034

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/92


Guide to CASE Adoption

Abstract: In an attempt to address the productivity and quality problems afflicting the software industry, many organizations are turning toward computer-aided software engineering (CASE) technology as a potential solution. Unfortunately, the inflated claims of vendors and unreasonable expectations of new users have led to many failed CASE adoption efforts. This guide answers questions organizations may have concerning CASE technology, and provides a strategy for the adoption of CASE tools into an organization.

Author: Oakes, Kimberly Stepien; Dennis Smith; and Ed Moris

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-15; ESD-TR-92-015

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Sortware Engineering Institute

Publication Date: 11/92


Control Integration Through Message Passing in a Software Development Environment

Abstract: Understanding tool integration in a software development environment (SDE) is one of the key issues being addressed in current work on providing automated support for large-scale production. Work has been taking place at both the conceptual level ("What is Integration?") and the mechanistic level ("How do we provide integration?") Many people see the answers to these questions as providing the cornerstone of real progress in the area. Until recently, existing integration mechanisms have been very rigid in the support for integration that they provide. Users have been offered a fixed level of integration with little flexibility. However, one approach that has been recently implemented employs a control integration paradigm that appears to be flexible, supportive, and adaptable to a wide range of end-user needs. Implementations of this paradigm are based on the notion of "message passing" as the underlying communication mechanism between SDE services.

Author: Brown, Alan W.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-35; ESD-92-TR-035

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/92


Durra: A Task Description Language User's Manual (Version 2)

Abstract: This document describes the use of Durra, a task-level application description language, and its associated tool set. The Durra environment supports the development of highly reconfigurable distributed Ada applications. The intended audience for this document is system managers responsible for Durra installation and Durra application developers.

Author: Doubleday, Dennis L. and Mario R. Barbacci

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-36; ESD-TR-92-036

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/92


NATO Software Working Group on Ada Programming Support Environments: IDA Support to the Ada Joint Program Office for 1990

Abstract: This document records information, analyses and recommendations delivered to the Ada Joint Program Office (AJPO) in support of the NATO Special Working Group (SWG) on Ada Programming Support Environments (APSEs). Several NATO nations formed this Special Working Group on APSEs so that they might achieve the economies projected for the use of standard APSEs. A Memorandum of Understanding was thus signed, leading to a research and development project that will produce, evaluate and demonstrate an APSE that is based on the US military standard, CAIS-A (MIL-STD-1838A), the Common APSE Interface Set. The SWG also established several subordinate review boards with oversight responsibilities for the project. The information, analyses and recommendations delivered to the AJPO by IDA during the 1990 time period are provided in this document in the form of briefings, white papers, electronic net notes and memoranda.

Author: Roby, Clyde G.; et al.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311-1772

Reference Number: IDA Document D-935; IDA Log No. HQ 91-038069

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 5/91


Contributions to the Operating Systems Standards Working Group of the Navy Next Generation Computer Resources Program for FY 1989-FY 1991

Abstract: The next generation Computer Resources (NGCR) Program is a Navy standardization effort designed to fulfill the Navy's needs for standard computer resources while at the same time allowing it to take advantage of commercial products and investments and to field new technology more quickly and effectively. The program is centered around the selection and adoption of open systems standards in several areas, including backplanes, local area networks, operating system, programming support environments, graphics, and database management systems. IDA is providing support to the NGCR Program through participation in the NGCR Operating Systems Standards Working Group (OSSWG), a group chartered to establish commercially based operating system interface standards for use in Navy mission-critical computing systems in the mid-1990s and beyond. This document is a compilation of IDA contributions to the NGCR OSSWG for the time period from January 1989 through September 1991. It includes (1) record of IDA support of a workshop held on behalf of the NGCR OSSWG, (2) copies of IDA contributions to NGCR OSSWG documents, and (3) copies of presentations given by IDA as a representative of the NGCR OSSWG.

Author: Gordon, Karen D.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311-1772

Reference Number: IDA Document D-1063; IDA Log No. HQ 91-040447

Sponsoring Organization: SPAWAR - Space and Naval Warfare Systems Command, SPAWAR 231-2B1, Washington, DC 20363-5100

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 10/91


American National Standard: Quality Management and Quality Assurance Standards--Guidelines for Selection and Use; ANSI/ASQC Q90-1987

Abstract: Provides guidelines for the selection and use of Standards Q91, Q92, Q93, and Q94.

Publisher: ASQC - American Society for Quality Control, 611 East Wisconsin Avenue, Milwaukee, WI 53202

Reference Number: ANSI/ASQC Q90-1987

Sponsoring Organization: ASQC - American Society for Quality Control

Producing Organization: ANSI - American National Standards Institute

Publication Date: 6/87


American National Standard: Quality Systems--Model for Quality Assurance in Design/Development, Production, Installation, and Servicing; ANSI/ASQC Q91-1987

Abstract: Specifies quality system requirements for use where a contract between two parties requires the demonstration of a supplier's capability to design and supply the product.

Publisher: ASQC - American Society for Quality Control, 611 East Wisconsin Avenue, Milwaukee, WI 53202

Reference Number: ANSI/ASQC Q91-1987

Sponsoring Organization: ASQC - American Society for Quality Control

Producing Organization: ANSI - American National Standards Institute

Publication Date: 6/87


American National Standard: Quality Systems - Model for Quality Assurance in Production and Installation; ANSI/ASQC Q92-1987

Abstract: Specifies quality system requirements for use where a contract between two parties requires the demonstration of a supplier's capability to control the processes that determine the acceptability of a product supplied.

Publisher: ASQC - American Society for Quality Control, 611 East Wisconsin Avenue, Milwaukee, WI 53202

Reference Number: ANSI/ASQC Q92-1987

Sponsoring Organization: ASQC - American Society for Quality Control

Producing Organization: ANSI - American National Standards Institute

Publication Date: 6/87


American National Standard: Quality Systems - Model for Quality Assurance in Final Inspection and Test; ANSI/ASQC Q93-1987

Abstract: Specifies quality system requirements for use where a contract between two parties requires the demonstration of a supplier's capability to detect and control the disposition of any product nonconformity during final inspection and test.

Publisher: ASQC - American Society for Quality Control, 611 East Wisconsin Avenue, Milwaukee, WI 53202

Reference Number: ANSI/ASQC Q93-1987

Sponsoring Organization: ASQC - American Society for Quality Control

Producing Organization: ANSI - American National Standards Institute

Publication Date: 6/87


American National Standard: Quality Management and Quality System Elements - Guidelines; ANSI/ASQC Q94-1987

Abstract: Describes a basic set of elements by which a quality management system can be developed and implemented internally.

Publisher: ASQC - American Society for Quality Control, 611 East Wisconsin Avenue, Milwaukee, WI 53202

Reference Number: ANSI/ASQC Q94-1987

Sponsoring Organization: ASQC - American Society for Quality Control

Producing Organization: ANSI - American National Standards Institute

Publication Date: 6/87


Proceedings of the Tenth Annual Software Engineering Workshop

Abstract: The contents of these proceedings are arranged by session: 1- Research in the Software Engineering Laboratory {SEL} ("Can We Measure Software Technology?: Lessons from 8 Years of Trying," "Recent SEL Studies"); 2- Tools for Software Management ("Software Management Tools: Lessons Learned from Use," "DEASEL: An Expert System for Software Engineering," "An Experimental Evaluation of Error Seeding as a Program Validation Technique," "Quality Assurance Software Inspections at NASA Ames"); 3- Software Environments ("A Knowledge Based Software Engineering Environment Framework," "One Approach for Evluating the Distributed Computing Design System {DCDS}"); and 4- Experiments with Ada ("An Ada Experiment with MSOCC Software," "Observations From a Prototype Implementation of the Common APSE Interface Set {CAIS}," "Measuring Ada as a Software Development Technology in the SEL").

Reference Number: Software Engineering Laboratory: SEL-85-006

Sponsoring Organization: NASA/GSFC (SEL)

Publication Date: 12/85


Proceedings of the Eleventh Annual Software Engineering Workshop

Abstract: The contents of these proceedings are arranged by session: 1- Research in Software Engineering Laboratory {SEL} ("Determining Software Productivity Leverage Factors," "Studies of Software Methods and Environments," "Designing with Ada for Satellite Simulation"); 2- Empirical Studies of Software Technology ("Studying Software Engineering Documentation From a Cognitive Perspective," "Empirical Research on the Design Process," "A Quantitative Analysis of the Impact of Modern Software Engineering Techniques"), 3- Software Environments ("The Mothra Software Testing Environment," "A Value-Chain Analysis of Software Productivity Components," "The Open Architecture of the IDE Tool Environment"); and 4- Software Testing ("Data Diversity -- A New Approach to Fault-Tolerant Software," "An Empirical Study of Error Detection Using Self-Test," "An Experimental Comparison of Ada and FORTRAN Program Reliability").

Reference Number: Software Engineering Laboratory: SEL-86-006

Sponsoring Organization: NASA/GSFC (SEL)

Publication Date: 12/86


Proceedings of the Twelfth Annual Software Engineering Workshop

Abstract: The contents of these proceedings are arranged by session: Studies and Experiments with Ada ("An Experiment with Ada in the Software Engineering Lab," "Ada at NASA: Small Step and a Giant Leap"); 2- Experiments with Environments ("Application of Ada Software Development Environments to the Production of Time-Critical Software," "ISTAR -- An Environment for Software Development," "A Software Reuse Environment," "Analysis of Software Design Changes"); 3- Case Studies ("A Study of the Knowledge Needed to Test Complex Software Systems," "Control of Cognitive Processes During Software Design: What Tools Would Support Software Designers," "An Evaluation of Comparison Testing"); and 4- Measures of Cost Reliability ("Predicting the Size of Real-time Systems," "Software Productivity and Costs in NASA Projects," "Automatically Generating Software Metric Decision Trees for Identifying Error-Prone and Costly Modules").

Reference Number: Software Engineering Laboratory: SEL-87-010

Sponsoring Organization: NASA/GSFC (SEL)

Publication Date: 12/87


Proceedings of the Eighth Annual Software Engineering Workshop

Abstract: The contents of these proceedings area arranged by session: SESSION 1- Current Research in the Software Engineering Laboratory {SEL} ("Evaluating Software Engineering Technologies in the SEL," "Dynamic Metrics for Software Management," "Characteristics of a Rapid Prototyping Experiment"), SESSION 2- Testing Software ("Structural Coverage of Functional Testing," "A Methodology for Detecting Errors," "Testing and Error Analysis of a Real-time Controller"), SESSION 3- Human Factors ("Transformations of Software Design and Code May Lead to Reduced Errors," "You Can Observe a Lot by Just Watching How Designers Design," "Evaluating Multiple Coordinated Windows for Programmer Workstations"), and SESSION 4- Quality Assessment ("Cleanroom Certification Model," "Projecting Manpower to Attain Quality," "An Approach to Software Baseline Generation").

Reference Number: Software Engineering Laboratory: SEL-83-008

Sponsoring Organization: NASA/GSFC (SEL)

Publication Date: 11/83


Ninth Annual Washington Ada Symposium (WAdaS) Proceedings -- Empowering Software Users and Developers

Abstract: The papers contained in these proceedings are arranged by session: Real-time Systems ("Crafting an Ada Executive for the 80960 Extended Architecture," "POSIX/Ada Real-time Bindings: Description of Work in Progress," "An Analysis of the Ada 9X and ARTEWG CIFO 3.0 Overlap"), Software Management Issues ("Management of the Design and Implementation of a Large Scale Ada CSCI Using an Automated Scheduling Tool," "Use of the Software Capability Evaluation (SCE) in the FAA's MLS Procurement," "An Experiment with Financial Incentives for a Small Software Development Team"), Software Process Issues ("Information Systems Modelling: An Object Oriented Development Method," "The Software Development Plan: A Key to Achieve SEI Capability Maturity Model Compliance," "Application of Statistical Process Control to the Software Process"), Formal Approaches ("Techniques for Semi-Automated Implementation of State-Oriented, Real-time Formal Specification in Ada," "Object Oriented Requirements Analysis for a Model Ada Runtime System," "A Role for Iterators as a Tool for Software Reuse"), Software Development Tools ("Developer Assisted Automation for Ada Design Generation," "Software Engineering Environment Framework Evaluation Method: Three Examples").

Reference Number: ISBN: 0-89791-487-2

Sponsoring Organization: ACM/SIGAda, AJPO, FAA, NASA/GSFC, US Army ISEC

Publication Date: 7/92


Distributed Real-Time System Design: Theoretical Concepts and Applications

Abstract: Distributed real-time system design raises new theoretical issues and application challenges, beyond that in centralized systems. Rate monotonic scheduling (RMS) theory has been successfully applied in the scheduling of centralized systems. RMS and its generalizations have been adopted by national high technology projects such as the Space Station and has recently been supported by major open standards such as the IEEE Futurebus+ and POSIX.4. In this paper, we describe the use of generalized rate monotonic scheduling theory for the design and analysis of a distributed real-time system. We review the recent extensions of the theory to distributed system scheduling, examine the architectural requirements for use of the theory, and finally provide an application example.

Author: Sha, Lui and Shirish S. Sathaye

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-93-TR-2; ESD-TR-93-179

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 3/93


Software Requirements Specification for the Node and View Management Tool

Abstract: This document specifies the requirements for a Node and View Management (NVM) Tool and is directed to the designers and developers of such a tool. The NVM Tool has been designed and implemented and has been hosted on the NATO Special Working Group (SWG) Ada Programming Support Environment (APSE). The NVM Tool enables tool-writers to create, delete, and modify node and view definitions for the NATO SWG APSE Node Model (i.e., its database). A node is a representation within the Node Model of an entity relevant to the NATO SWG APSE. A view, which is a collection of nodes and their relationships, provides names for certain definitions and their properties. A separate User's Manual has been written for the NVM Tool and provides a more detailed description of the tool.

Author: Roby, Clyde G.; et al.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311-1772

Reference Number: IDA Document D-1002; IDA Log No. HQ 91-038806/1

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 7/91


NATO Special Working Group on Ada Programming Support Environments: IDA Support to the Ada Joint Program Office for 1991

Abstract: This document records information, analyses and recommendations delivered to the Ada Joint Program Office (AJPO) in support of its involvement with the NATO Special Working Group (SWG) on Ada Programming Support Environments (APSEs). Several NATO nations formed this special working group so that they might achieve the economies projected for the use of standard APSEs. A Memorandum of Understanding between the nations was thus signed, leading to a research and development project that will produce, evaluate, and demonstrate an APSE that is based on the US military standard, CAIS-A (MIL-STD-1838A), the Common APSE Interface Set. The SWG also established several subordinate review boards with technical oversight responsibilities for this project. The information, analyses, and recommendations delivered to the AJPO by IDA during the 1991 time period are provided in this document.

Author: Roby, Clyde G.; et al.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311-1772

Reference Number: IDA Document D-1162; IDA Log No. HQ 92-041492

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 6/92


Proceedings of the Association for Computing Machinery Special Interest Group for Ada Artificial Intelligence Working Group 1992 Summer Workshop

Abstract: On 24-27 June 1992, the Association for Computing Machinery (ACM) Special Interest Group for Ada (SIGAda) Artificial Intelligence Working Group (AIWG) held a workshop to discuss Ada real-time and Artificial Intelligence (AI) issues. Workshop discussions covered blackboard architectures, experiences and lessons learned, real-time development approaches, and issues, and Ada 9X issues for AI systems. These proceedings include papers by workshop participants describing their large-scale AI with Ada systems. A summary of the related workshop experiences and lessons learned discussions in the areas of requirements analysis, design methodologies, development techniques, test and validation, and maintainability are included. The contents of these proceedings are arranged into seven appendices: Appendix A- Welcome Message by Jorge L. Diaz-Herrera, Appendix B- The Data Fusion Technology Demonstrator System (DFTDS) Project, Appendix C- Validation and Verification of Afety Critical Knowledge-Based Systems, Appendix D- Embedded Real-time Reasoning Concepts and Applications, Appendix E- Training Control and Evaluation (TC&E), Appendix F- Ada 9X Issues for AI Systems, and Appendix G- Message from the Applications Experiences and Lessons Learned Panel Chair.

Author: Johns, Janet Faye

Publisher: MITRE

Reference Number: MITRE Project #: G30D; M93B0000072

Sponsoring Organization: Event sponsor: ACM SIGAda AIWG

Publication Date: 6/93


ACVC Quality Management and the Configuration Review Group

Abstract: This document presents the requirements for information and coordination to support the Ada Compiler Validation Capability (ACVC) quality management process. It focuses on interfaces with the ACVC Maintenance Organization (AMO) who is primary supplier of ACVC information and is based on experience with the Configuration Review Group (CFG) process initiated in 1988 by the AMO. It is intended for the members of the Ada certification system who cooperate to improve the quality of the Ada compiler validation process.

Author: Audrey A. Hook and R. Danford Lehman

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311-1772

Reference Number: IDA Document D-681; IDA Log No. 89-034871

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 9/89


Support to the Ada Joint Program Office: NATO Special Working Group on Ada Programming Support Environments Project for 1989

Abstract: The contents of this document represent information, analyses, and recommendations delivered to the Ada Joint Program Office (AJPO) in support of the NATO Special Working Group (SWG) on Ada Programming Support Environments (APSEs) Project. Several NATO nations formed this special working group on APSEs so that they might achieve the economies projected for the use of standard APSEs. A Memorandum of Understanding was thus signed, leading to a research and development project that will produce, evaluate, and demonstrate an APSE that is based on the US military standard, CAIS-A (MIL-STD-1838A), the Common APSE Interface Set. The SWG also established several subordinate review boards with project oversight responsibilities for the project. The information, analyses, and recommendations delivered to the AJPO by IDA during this time period are provided in the form of briefings, white papers, electronic net notes and memoranda in this document.

Author: Roby, Clyde G.; et al.

Publisher: IDA - Institute for Defense Analyses, 1801 N. Beauregard Street, Alexandria, VA 22311-1772

Reference Number: IDA Document D-818

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 12/90


Proceedings of the Ada UK International Conference: Ada in Transition

Abstract: This volume reviews the current practice in Ada applications, innovative developments in Ada technology, how Ada can be applied in more demanding systems in the safety-critical area and reports on the Ada 9X revision effort. These proceedings include papers with the following titles: "Ada in Transition," "Ada for High Integrity Systems," "SPARK -- A Safety-Related Ada Subset," "Ada 9X Safety and Security Annex," "Safety Kernels and the Ada Programming Language," "Debugging Large Real-time Distributed Multiprocessor Systems," "Multiprocessor Support in XD Ada," "AdaTEST -- The Integrated Approach," "A Case Study in Data Management in the Air Traffic Control Advanced Automation System (AAS)," "Ada on Vector Architectures," "Design and Implementation of a Data-Driven Message Processing System," "Design and Development of an IGES Editor Using Ada," "Deriving an Object Oriented Ada System From an Existing 'Old Technology' Implementation," "Rational Insight: Ada Reverse Engineering," "Ada Reuse with the US Navy Undersea Application Domain," "COBOL and Ada in Management Information Systems," "The Role of Inheritance as an Import/Export Mechanism," "Objects, Values, and Models Revisited," and "Avoiding Incompatibilities in Ada 9X."

Author: Taylor, W.J. (ed)

Publisher: IOS Press

Reference Number: ISBN: 90-5199-133-4; Studies in Computer and Communications Systems: Volume 4

Sponsoring Organization: Ada Language UK Limited

Publication Date: 10/92


ISO-ANSI Working Draft: Database Language SQL (SQL3)

Abstract: This document incorporates changes to the base draft arising from the ISO DBL RG meeting held June, 1993, in Yokohama, Japan, and the ANSI X3H2 meetings March, 1993, in Boca Raton, FL, May, 1993, in St. Louis, MO, and July, 1993, in Rapid City, SD. This standard is being deveoped from ANS X3.135-1992. It adds significant new features and capabilities to the specification.

Author: Melton, Jim, ed.

Publisher: ANSI - American National Standards Institute, Technical Committee X3H2 on Database

Reference Number: ANS X3.135-199x; X3H2-93-359R/MUN-003

Producing Organization: ANSI - American National Standards Institute

Publication Date: 8/93


ISO-ANSI Working Draft: SQL Call-Level Interface (SQL/CLI)

Abstract: This part of draft International Standard ISO/IEC 9075 defines the structures and procedures that may be used to execute statements of the database SQL from within an application written in a standard programming language in such a way that procedures used are independent of the SQL statements to be executed.

Author: Melton, Jim, ed.

Publisher: ANSI - American National Standards Institute, Technical Committee X3H2 on Database

Reference Number: ANSI X3H2-93-360/MUN-005

Sponsoring Organization: ISO - International Organization for Standardization

Producing Organization: ANSI - American National Standards Institute

Publication Date: 8/93


ISO-ANSI Working Draft: SQL Persistent Stored Modules (SQL/PSM)

Abstract: This draft specifies the syntax, semantics of a database language for declaring and maintaining persistent database language procedures and invoking them from programs written in a standard programming language. It also includes the definition of tables in the Information Schema which describes the structure and content of the persistent SQL modules.

Author: Melton, Jim, ed.

Publisher: ANSI - American National Standards Institute, Technical Committee X3H2 on Database

Reference Number: ANSI X3H2-93-361/MUN-006

Sponsoring Organization: ISO - International Organization for Standardisation

Producing Organization: ANSI - American National Standards Institute

Publication Date: 8/93


ISO-ANSI Working Draft: SQL Host Language Bindings (SQL/Bindings)

Abstract: This draft standard specifies syntax for embedding SQL-statements in a compilation unit that otherwise conforms to the standard for a particular programming language. It defines how an equivalent compilation unit may be derived that conforms to the particular programming language standard. In that equivalent compilation unit, each embedded SQL-statement has been replaced by statements that invoke a database language procedure that contains the SQL-statement.

Author: Melton, Jim, ed.

Publisher: ANSI - American National Standards Institute, Technical Committee X3H2 on Database

Reference Number: ANSI X3H2-93-362/MUN-007

Sponsoring Organization: ISO - International Organization for Standarization

Producing Organization: ANSI - American National Standards Institute

Publication Date: 8/93


An Overview of PCTE: A Basis for a Portable Common Tool Environment

Abstract: Environment framework technologies are generating enormous interest as mechanisms to aid in the construction of software engineering environments populated with integrated CASE tools. PCTE, a framework technology, is generating significant interest among environment users and builders as a mechanism for data management.

Author: Long, Fred and Ed Morris

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-93-TR-01; ESD-TR-93-175

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 3/93


Performance and Ada Style for the AN/BSY-2 Submarine Combat System

Abstract: The performance of programs prepared with the Verdix Ada Development System (VADS) was measured and analyzed for programmers preparing a large Ada system. Using standard Ada benchmark suites (ACEC, AES and PIWG) and a representative Motorola 68030 target system as a source of data, questions were posed and answered about programming alternatives, based on the measured performance of the compiler. The questions included in the report were abstracted from a much larger set selected from an analysis of the BSY-2 Style Guide and augmented with additional questions suggested by SEI experience. The derivation of the questions and the template for the performance analysis sections are presented as appendices.

Author: Altman, Neal and Patrick Donohoe

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-92-TR-32; ESD-TR-92-032

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/92


Key Practices of the Capability Maturity Model, Version 1.1

Abstract: This document, "Key Practices of the Capability Maturity Model," provides the key practices that correspond to each maturity level of the Capability Maturity Model (CMM) and information on how to interpret the key practices. It is an elaboration of what is meant by maturity at each level of the CMM and a guide that can be used for software process improvement, software process assessments, and software capability evaluations.

Author: Paulk, Mack C.; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-93-TR-25; ESC-TR-93-178

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/93


Materials for Teaching Software Inspections

Abstract: This educational materials package was developed for instructors of software verification techniques in graduate and undergraduate software engineering courses, and for those who teach industrial continuing education courses on the meaning and methods of software inspections. Software inspections are a low-tech, highly effective verification technique. Research has consistently shown that the defect detection rate of inspections is higher than that of many traditional testing techniques. This package includes materials for demonstrating how to perform an inspection. It complements EM-5, "Scenes from Software Inspections," providing additional background material and exercises for using that set of educational materials.

Author: Tomayko, James E. and James S. Murphy

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-93-EM-7

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/93


Formal Specification and Verification of Concurrent Programs

Abstract: This module introduces formal specification of concurrent software and verification of the consistency between concurrent programs and their specifications. First, what one might want to be able to prove about a concurrent program is discussed. Then, a number of formal descriptions of the concept are presented. These vary in their coverage of the phenomena, and some can be used as the basis of formal specification of programs. Next, techniques for carrying out the proof of consistency between the specification and the program are described. Finally, it is noted that some of these techniques have automated tools such as verifiers associated with them.

Author: Berry, Daniel M.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: SEI-CM-27-1.0

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/93


Project Management Tools Report

Abstract: Defines the concepts of the project management domain and identifies their value in improving software quality and productivity. It explains how the capabilities of current project management tools can improve management software development and maintenance projects.

Author: Berk, Kevin; Dean Barrow; and Todd Steadman

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISE, Hill AFB, UT 84056

Producing Organization: STSC - Software Technology Support Center

Publication Date: 3/92


Test, Preparation, Execution, and Analysis Tools Report

Abstract: Defines the ideas of software testing and identifies their value in improving software quality. Explains how the features of current testing tools can improve software development and maintenance. Includes information about specific products in the marketplace.

Author: Price, Gordon; et al.

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISE, Hill AFB, UT 84056

Producing Organization: STSC - Software Technology Support Center

Publication Date: 3/92


Software Engineering Environment Report, March 1992

Abstract: Defines the concepts of the Software Engineering Environment SEE domain and identifies their value in improving productivity and software quality. It explains how the features of current SEE technology can improve software development and maintenance. Includes information about specific products in the marketplace.

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISE, Hill AFB, UT 84056

Producing Organization: STSC - Software Technology Support Center

Publication Date: 3/92


Software Management Guide

Abstract: Introduces the software management principles and methods that a Department of Defense (DoD) program manager should know and follow during system acquisition so that the risks inherent in a complex software development are minimized. This guide is consistent with, and elaborates upon, current DoD directives, regulations, and standards with respect to software development for weapon systems. The document is directed toward the acquisition of software in weapon systems and other embedded software applications.

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISE, Hill AFB, UT 84056

Producing Organization: STSC - Software Technology Support Center

Publication Date: 4/92


Re-engineering Tools Report, May 1992 (Cover Title: Re-Engineering Tool Report)

Abstract: STSC says this report was created to increase contact, awareness, and understanding of software re-engineering tools. Use of this report should be the first step in transferring effective software re-engineering processes, methods, and tools into practical use. This report is targeted to those organizations responsible for the development and maintenance of computer software. This report defines the ideas of software re-engineering and identifies their value in improving software quality. It explains how the features of current re-engineering tools can improve software development and maintenance. It includes information about specific products in the marketplace. The information is aimed at those who must make the decisions about acquiring advanced technology and prepare their organizations to use it effectively.

Author: Sittenauer, Chris; Mike Olsem; and Daren Murdock

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISE, Hill AFB, UT 84056

Producing Organization: STSC - Sortware Technology Support Center

Publication Date: 5/92


Requirements Analysis & Design Tool Report, April 1992

Abstract: This report is targeted to organizations responsible for developing and maintaining computer software. The report defines the Upper CASE tools and identifies their value in improving software quality. It explains how the features of current Upper CASE tools can improve software development and maintenance. It includes information about specific products in the marketplace. The information is aimed at those who must make the decisions about acquiring advanced technology and prepare their organizations for its effective use.

Author: Bowler, Odean; et al.

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISE, Hill AFB, UT 84056

Producing Organization: STSC - Software Technology Support Center

Publication Date: 4/92


Documentation Tools Report, March 1992

Abstract: Defines the ideas of the Documentation Domain and identifies their value in improving software quality. It explains how the features of current Documentation Tools can improve software development and maintenance. It includes information about specific products in the marketplace. The information is aimed at those who must make decisions about acquiring advanced technology and prepare their organizations to use it effectively. Attempts to identify the future directions of the field to help in planning long-range strategies.

Author: Crosby, David; Gary Petersen; and Reed Sorensen

Publisher: STSC - Software Technology Support Center, Ogden ALC/TISE, Hill AFB, UT 84056

Producing Organization: STSC - Software Technology Support Center

Publication Date: 3/92


Reusable Software Component (RSC) Catalog

Abstract: Contains the Ada Reusable Software Component (RSC) Directory and contains brief abstracts of all components.

Publisher: SofTech, Inc.

Reference Number: 1213-65-210/15

Sponsoring Organization: Army Reuse Center

Producing Organization: SofTech. Inc.

Publication Date: 12/92


Standard ECMA-149 Portable Common Tool Environment (PCTE); Abstract Specification, Volume 1

Abstract: Specifies Portable Common Tool Environment (PCTE) in abstract, programming-language-independent terms. It specifies the interface supported by any conforming implementation as a set of abstract operation specifications, together with the types of their parameters and results. It is supported by a number of standard bindings, ie., representations of the interface in standard programming languages.

Publisher: ECMA - European Computer Manufacturers Association

Reference Number: ECMA-149

Producing Organization: ECMA - European Computer Manufacturers Association

Publication Date: 6/93


Prototype Real-Time Monitor: Design

Abstract: Describes the software design used to implement prototype real-time monitor (RTM) requirements. The design is presented at three levels: system level, object level, and package architecture level. The report concludes with a discussion of the key implementation obstacles that had to be overcome to develop a working prototype: Determining system addresses, communicating with an executing application, accessing application memory, converting data into human readable form, and distributed CPU architectures.

Author: Van Scoy, Roger; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-87-TR-38; ESD-TR-87-201

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/87


Prototype Real-Time Monitor: Executive Summary

Abstract: The task to study implementing a real-time monitor (RTM) resulted from the Software Engineering Institute's (SEI) involvement with the Ada Simulator Validation Program (ASVP). The ASVP introduced us to the needs and constraints of real-time flight simulators. One of the goals of the ASVP is to produce well-engineered designs that exhibit modularity, abstraction, information hiding, that are well-documented, reliable, extensible, modular, and maintainable. The embodiment of these attributes in the resulting Ada system introduces new problems to the flight simulator world, problems which do not exist in the traditional fortran environment. The report summarizes the history, goals, and conclusions of the prototype real-time monitor development effort. This effort was undertaken to address two specific technical questions: 1) How can user tools find, access, and display data hidden in the bodies of Ada applications? and 2) How can user tools be layered on top of Ada applications.

Author: Van Scoy, Roger

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-87-TR-35; ESD-TR-87198

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/87


Prototype Real-Time Monitor: User's Manual

Abstract: Defines the user interface to the prototype real-time monitor (RTM). It defines the concepts and commands needed by a software engineer to use the RTM. In addition to defining the User Interface, the report explains the steps needed to tailor the RTM to work with the user's application.

Author: Van Scoy, Roger; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-87-TR-37; ESD-TR-87-200

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/87


Prototype Real-Time Monitor: Requirements

Abstract: The requirements imposed by flight simulators and good software engineering practice on Ada systems force software engineers to seek new solutions to the problem of monitoring executing software. This report examines some of these requirements and, based on these requirements, defines a subset for implementation as a prototype real-time monitor (RTM).

Author: D'Ippolito, Richard; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-87-TR-36; ESD-TR-87-199

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 14213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/87


Kernel Facilities Definition; Kernel Version 3.0

Abstract: Defines the conceptual design of the Kernel by specifying: The underlying models, assumptions, and 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.

Author: Bamberger, Judy; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-88-TR-16; ESD-88-TR-17

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/89


Prototype Real-Time Monitor: Ada Code

Abstract: This report is the code that implements the prototype real-time monitor (RTM). In addition, the documentation in the package specifications and bodies forms the implementation description of the RTM.

Author: Van Scoy, Roger

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-87-TR-39

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/87


Kernel User's Manual Version 3.0; Appendix A: Ada Code

Abstract:

Author: Bamberger, Judy; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-89-UG-1

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/89


Kernel Architecture Manual

Abstract: It contains the detailed design description of the Kernel. The overall system architecture and rationale for it are presented as relevant to both the application (i.e., the external view of the Kernel) and the Kernel maintainer (i.e., the internal view of the Kernel). This document presents the algorithms and data structures needed to implement the functionality defined in the Kernel Facilities Definition. It also contains an in-depth description of the communication protocol used by the Kernel, both the network software and hardware that compose the DARK testbed at the SEI, and a detailed enumeration of all compiler dependencies exploited by Kernel software. It is geared toward engineers responsible for porting and maintaining Kernel and engineers requiring detailed information about the internals of the Kernel.

Author: Bamberger, Judy; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-89-TR-19; ESD-89-TR-27

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/89


Shared Variables and Ada 9X Issues

Abstract: Examines a number of issues surrounding the use and definition of shared variables in Ada in relation to possible Ada 9X requirements.

Author: Dewar, Robert B.K.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 14213

Reference Number: SEI-90-SR-1

Sponsoring Organization: AJPO - Ada Joint Program Office, Ada 9X Project Office, Eglin AFB, FL

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/90


The Fixed-Point Facility in Ada

Abstract: Addresses a number of issues involving fixed-point arithmetic in Ada. A number of possible Ada 9X requirements are suggested for consideration.

Author: Dewar, Robert B.K.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: SEI-90-SR-2

Sponsoring Organization: AJPO - Ada Joint Program Office, Ada 9X Project Office, Eglin AFB, FL

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/90


Understanding Integration in a Software Development Environment

Abstract: In the past ten years there has been a great deal of interest in the concept of a Software Development Environment (SDE) as a complete, unifying framework of services supporting most (or all) phases of software development and maintenance. We identify three levels at which the issue of integration in a SDE arises as a key concept--at the mechanism level (interoperability of the hardware and basic software), at the end-user services level (combining the methods and paradigms of the various tools), and at the process level (adapting end-user services to the working practices of different users, projects and organizations).

Author: Brown, Alan W.; Peter H. Feiler; and Kurt C. Wallnau

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-91-Tr-31; ESD-91-TR-31

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/92


A Description of Cluster Code Generated by the Durra Compiler

Abstract: Durra is a language and support environment for the specification and execution of distributed Ada applications. The Durra programmer specifies the distribution of application components by assigning them to virtual nodes called clusters. For each cluster named in an application description, the Durra compiler generates an Ada package body with a standardized format. Within the confines of the format, the content of the package body varies according to the requirements placed upon the cluster by the Durra application description. The cluster-specific package body is compiled and linked with a fixed set of Ada compilation units, common to clusters, to form a multitasking Ada program. The intended audience for this document is Durra application developers, who will need an understanding of the concepts presented here in order to be effective Durra application debuggers.

Author: Doubleday, Dennis L.; Michael J. Gardner; and Charles B. Weinstock

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-91-TR-19; ESD-91-TR-19

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/91


Ada 9X Revision Needs

Abstract: Surveys possible reasons for revising the Ada standard and contains all Ada comments requesting changes to the standard. In addition, the report suggests how to solicit and analyze additional revision needs from the user community. Finally, the report suggests that preliminary design studies be conducted in certain problem areas.

Author: Goodenough, John B.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: SEI-88-SR-18

Sponsoring Organization: AJPO - Ada Joint Program Office, Ada 9X Project Office, Eglin AFB, FL

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/88


1991 Summary of Technical Operations

Abstract: Provides brief description of technical operations undertaken at SEI during 1991.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-91-CDRL-106

Sponsoring Organization: Carnegie-Mellon University

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/92


Comparative Evaluations of Four Specification Methods for Real-Time Systems

Abstract: A number of methods have been proposed in the last decade for the specification of system and software requirements for time critical systems. The emerging CASE technology is based heavily on a subset of these methods; yet little objective attention has been paid to the methods themselves. This report describes our objective evaluation of four methods (identified as ESML, Harel, Hatley-Pirbhai, and Ward-Mellor), from identification through detailed evaluation. We depart from this approach by involving software developers from various application domains, including extended interviews of those who have applied the methods to large-scale projects. The resulting recommendations and conclusions focus on method selection of adoption process. The paper attempts to provide proper context to assist the practitioner in making appropriate method adoption decisions. Secondarily, the results of the paper also should be of interest to tool vendors, method developers, and program managers.

Author: David P. Wood and William G. Wood

Publisher: SEI - Software Engineerining Institute, Carnegie Mellon University, Pittsburgh, PA

Reference Number: CMU/SEI-89-TR-36; ESD-89-TR-47

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/89


Software Engineering Education Directory

Abstract: Provides information about software engineering courses and software engineering degree programs that are available in the United States and Canada.

Author: McSteen, Bill and Mark Schmick, eds.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI/-89-TR-10; ESD-TR-89-18

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/89


Kernel User's Manual Version 1.0 Appendix A: Ada Code

Abstract: This is the appendix for the Kernel User's Manual, Version 1.0

Author: Bamberger, Judy; et al.

Publisher: SEI - Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213

Reference Number: CMU/SEI-89-UG-1

Sponsoring Organization: SEI Joint Program Office, Carnegie Mellon University, Pittsburgh, PA 15213

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/89


Military Standard: Work Breakdown Structures for Defense Materiel Items, MIL-STD-881B

Abstract: Establishes criteria governing the preparation and employment of work breakdown structures for use during the acquisition of designated defense materiel items to display and define the products to be developed or produced.

Publisher: DoD

Reference Number: MIL-STD-881B

Sponsoring Organization: DoD

Producing Organization: US Air Force

Publication Date: 3/93


Ada-Based Process Design Language (PDL/Ada-2) Reference Manual

Abstract: Not intended to be a tutorial about the FSD design methodology nor is it a tutorial on Ada. Rather, it describes the procedure for recording designs based on that methodology using Ada.

Publisher: IBM Federal Systems Division, 6600 Rockledge Drive, Bethesda, MD 20817

Producing Organization: IBM Federal Systems Division

Publication Date: 1/87


Design Information for NATO SWG on APSE DRB Math Library

Abstract: Contains an introductory description of the purpose and functions of the library routines, summarizes the purpose and contents of this document; lists applicable government, NATO, and non-government documents that are related to the document content, format, and software standards.

Publisher: NWC - Naval Warfare Center, Code 3922, China Lake, CA 93555

Producing Organization: NWC - Naval Warfare Center

Publication Date: 11/89


AdaNET Service Version 2.0 ASV2 User's Guide

Abstract: Describes how to use the AdaNET service. Includes software and Telenet access directory.

Publisher: MountainNet, Inc., Eastate Plaza, P.O. Box 370, Dellslow, WV 26531-0370

Sponsoring Organization: NASA and University of Houston - Clear Lake

Producing Organization: MountainNet, Inc.

Publication Date: 12/89


A Diana-Driven Pretty-Printer for Ada

Abstract: The design of a program PrettyPrint whose function is to pretty-print Ada programs is described. PrettyPrint takes as input a Diana representation of an Ada program. The intent of the design was to stress the Diana design.

Author: Butler, Kenneth J. and Arthur Evans, Jr.

Publisher: Tartan Laboratories, Inc., 477 Melwood Avenue, Pittsburgh, PA 15213

Reference Number: TL 83-3; Contract # MDA903-82-C-0148

Sponsoring Organization: AJPO

Producing Organization: Tartan Laboratories, Inc., 477 Melwood Ave., Pittsburgh, PA

Publication Date: 2/83


Proceedings of the Real-Time Systems Symposium

Abstract: The papers contained in these proceedings are arranged by technical session: 1- Programming Systems ("RNet: A Hard Real-time Distributed Programming System," "Software Clocks, Concurrent Programming, and Slice-Based Scheduling"), 2- Architecture ("An Architecture and an Interconnection Scheme for Time-Sliced Buses in Real-time Processing," "Real-time Response on a Message Based Multiprocessor," "A Real-time Distributed Processing System"), 3- Fault Tolerance 1 ("Real-time Configuration for Fault-Tolerant VLSI Array Processors," "On-Line Detection of Errors in Homogeneous Multiprocessor Systems," "A New Concurrent Memory-Reference Checking Technique"), 4- Reliability/Performance Modeling ("A Probabilistic Model of Algorithm-Based Fault Tolerance in Array Processors for Real-time Systems," "Implementation Approach and Reliability Estimation of Dynamic Redundancy Networks," "Analysis of the Execution Time of Real-time Tasks"), 5- Performance Analysis ("A GRaph-Theoretic Approach for Timing Analysis in Real-time Logic," "Performance Modeling and Measurement of Real-time Multiprocessors with Time-Shared Buses"), 6- Intercommunications ("A Virtual Time CSMA Protocol for Hard Real-time Communications," "Protocols for Timed Synchronous Process Communications") 7- Operating Systems ("A Distributed Kernel Model for Reliable Group Communication," "A High-Performance, Object Based Operating System for Real-time, Robotics Applications," "Real-time Performance of a Completely Distributed Operating System"), 8- Scheduling ("Dynamic Scheduling of Groups of Tasks with Precedence Constraints in Distributed Hard Real-time Systems," "Distributed Scheduling Under Deadline Constraints: A Comparison of Sender-Initiated and Receiver-Initiated Approaches," "Solutions for Some Practical Problems in Prioritized Preemptive Scheduling"), 9- Task Allocation/Load Balancing ("An On-Line Algorithm for Real-time Tasks Allocation," "A Study of Quasi-Dynamic Load Sharing in Soft Real-time Distributed Computer Systems," "Instruction Level Mechanisms for Accurate Real-time Task Scheduling"), 10- Fault Tolerance 2 ("Error Propagation in a Digital Avionic Processor: A simulation-Based Study," "Analysis of Recovery Protocols in Distributed On-Line Transaction Processing Systems," "Practicality of Non-Interfacing Checkpoints in Distributed Database Systems"), 11- Applications ("A Real-time Operating System for Nuclear Power Plant Computer," "A Real-time Juggling Robot," "Real-time Direct Kinematics on a VLSI Chip").

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0749-1; Library of Congress: 86-81580; IEEE Catalog #: 86CH2351-5

Sponsoring Organization: IEEE, TC (Database Systems, etc.)

Publication Date: 12/86


Proceedings of the Real-Time Systems Symposium

Abstract: The papers contained in these proceedings are arranged by technical session: 1- Real-time Scheduling 1("On Countering the Effects of Cycle-Stealing in a Hard Real-time Environment," "Local Non-Preemptive Scheduling Policies for Hard Real-time Distributed Systems"), 2- Fault Tolerance ("Optimized Reconfiguration Scheme for Fault-Tolerant Multistage Networks," "Task Reconfiguration in a Distributed Real-time System," "Design for Concurrent Error Detection in Storage/Logic Arrays"), 3- Real-time Architectures ("A Fixed Size Array Processor for Computing the Fast Fourier Transform," "A Technique for Reconfiguring Two Dimensional VLSI Arrays," "An O(log n) Parallel Algorithm for Binary Multiplication and Its VLSI Implementation"), 4- Real-time Applications ("RAMS: A Multimicroprocessor System for Dynamic System Simulation," "MAX: Advanced General Purpose Real-time Multicomputer for Space Applications," "Using Replication for High Performance Database Support in Distributed Real-time Systems"), 5- Real-time Communications Networks ("A Real-time Adaptive Message Routing Network for the Hypercube Computer," "Real-time Error Correction by Intelligent Retry in Parallel Communications Networks," "Long-Term Reconfiguration of Double-Ring Networks under Real-time Constraints"), 6- Real-time System Design ("Distributed Architecture Design to Match Optimum Process Allocation: A Simulated Annealing Based Approach," "Modelling, Specifying, and Verifying Real-time Embedded Computer Systems," "Synthesis of a Real-time Message Processing System with Data-Driven Timing Constraints"), 7- Run-time Support Software ("The Design of the Spring Kernel," "Corset and Lace: Adapting Ada Runtime Support to Real-time Systems"), 8- Real-time Performance Analysis ("Performance Analysis of Packet-Switched Multiple-Bus Multiprocessor Systems," "Performance Analysis of Acknowledgement Mechanisms in Token-Bus Networks"), 9- Real-time Timing Analysis ("Workload Effects on Fault Latency for Real-time Computing Systems," "A Response Time Estimation of Real-time Networks"), 10- Real-time Programming ("Imprecise Results: Utilizing Partial Computations in Real-time Systems," "A Schedulability Analyzer for Real-time Euclid"), 11- Development Tools ("Remedy: A Real-time, Multiprocessor, System Level Debugger," "An Instrumental Testbed for Real-time Distributed Systems Development"), and 12- Real-time Scheduling 2 ("Scheduling Real-time, Periodic Jobs Using Imprecise Results," "Enhanced Aperiodic Responsiveness in Hard Real-time Environments," "Implementation of a Time-Driven Scheduler for Real-time Operating Systems").

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0815-3; Library of Congress: 87-72341; IEEE Catalog #: 87CH2475-3

Sponsoring Organization: IEEE, TC (Database Systems, etc.)

Publication Date: 12/87


[Part 1] [Part 2] [Part 3] [Part 4] [Part 5] [Part 6] [Part 7] [Part 8] [Part 9]

Back to FAQ