Back to FAQ

Ada Reports & Papers
(Part 2)

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


Reusability Standards for the SIDPERS-3 RAPID Center

Abstract: This document will help to evaluate the quality and completeness of reusable software components. It describes coding standards for reusable software components. The document concentrates on differences between conventional software and reusable software. It does not define Ada coding standards per se. A section of this report also describes standards for reusable software components.

Publisher: SofTech

Reference Number: SofTech #: 3451-4-012/6.1

Sponsoring Organization: US Army Information System Engineering Command

Producing Organization: SofTech

Publication Date: 2/88


Ada Cost Issues and Answers

Abstract: This document includes paper copies of viewgraphs and script from a briefing given at TRI-Ada '88. It is a discussion of Ada costs, productivity and quality that focuses on user experiences and lessons learned with Reifer's SoftCost-Ada estimating model. SoftCost-Ada is a state of the art, work breakdown structure oriented estimating package that is used to forecast costs and schedules for software projects that employ the Ada programming language, object oriented methods, new development paradigms, workstation-based tools, and modern software engineering techniques.

Author: Reifer, Donald J.

Publisher: Reifer Consultants, Inc.

Reference Number: RCI #: RCI-TN-350

Publication Date: 10/88


U.S. Army Cost and Economic Analysis Center Software Cost Model Research Paper

Abstract: The purpose of this paper is to lay the foundations for effective software cost modelling by introducing CEAC cost analysts to the basic characteristics of 10 different software cost models. Included in these characteristics are an overview of the underlying theory and historical background of each model, input and output parameters, validation database, strengths and weaknesses, cost, and computer requirements. This comprehensive cost model summary will introduce cost analysts to the current state of the art of software development cost estimation.

Publisher: IITRI

Sponsoring Organization: US Army Cost and Economic Analysis Center (USACEAC)

Producing Organization: IITRI

Publication Date: 9/87


Ada Software Engineering Education and Training Symposium -- Proceedings of the Third Annual ASEET Symposium

Abstract: The papers contained in these proceedings are arranged by topic: 1- Ada Software Engineering Training in Industry ("A Software Engineering Methodology that Incorporates Classroom and On-the-Job Ada Training," "Training Programmers in Ada Using a Greaduated Example," "Building an Ada Organizaiton: AdaKeypers and Their Role in the Training Plan"), 2- Teaching Ada in the Academic World ("Curing the Turbonic Plague," "Teachning Ada to Undergraduate Students," "An Ada-Based Software Engineering Project Course"), 3- Software Engineering ("Software Engineering Concepts: The Importance of Object-Based Knowledge Representation in Software Development," "Software Engineering Institute: Overview"), 4- Ada Software Engineering Education and Training in Industry ("Education and Training of Ada: Lessons Learned," "Ada Software Development for Engineers and Executives," "Integration of Ada Software Engineering Training within the Ada System Development Process"), 5- Ada Education and Training within the DoD ("Ada and the Air Force Institute of Technology," "Incorporating the Use of Design Methods into an Ada Laboratory Curriculum," "The Myth of Portability in Ada," "Ad aEducation for Managers: Defining Needs and Meeting Requirements"), 6- Teaching Ada in an Academic Environment ("Teaching Ada in the University," "Eperiences with Ada Subsets in an Undergraduate Compiler Course," "The Use of Ada in the Teaching of Data Structures"), 7- Ada Education and Training Programs ("A Coherent Set of Ada Exercises," "The Software Engineering Graduate Program at the Boston University College of Engineering," "Advanced Learning Technologies Project").

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 6/88


Ada Language Commentaries

Abstract: Commentaries on the Ada language.

Publication Date: 9/87


Defense Logistics Agency Data System Center Forms Management System (FMS)

Abstract: This report is the design specification for a general purpose forms management system (FMS) to be used at the Defense Logistics Agency (DLA) Systems Automation Center (DSAC). The design specification has been written in Ada to demonstrate the use of Ada in applications design and to provide a modular language that can be partially implemented, if desired. The functional requirements reflect IDA's understanding of how terminal displays are used in several of the DLA systems. The FMS is required to operate on VT-100 and IBM 3270 terminals and IBM PC compatible workstations.

Author: Wolfe, James, David Carney, and Audrey Hook

Publisher: IDA

Reference Number: IDA #: Memorandum Report M-366

Sponsoring Organization: OUSDRE

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 9/87


Ada Programming Support Environment (APSE) Evaluation and Validation (E&V) Workshop Report

Abstract: This report contains an account of the plenary sessions and the papers that address task recommendations, task requirements, and the APSE evaluation reference manual, which were the three areas under discussion during this workshop.

Author: Castor, Virginia L., et al.

Publisher: IDA

Reference Number: IDA #: Memorandum Report M-34

Sponsoring Organization: OUSDRE

Producing Organization: IDA

Publication Date: 12/84


A Report on NASA Software Engineering and Ada Training Requirements

Abstract: The purpose of this report is to assess NASA's software engineering and Ada skill base and to provide information that may result in new models for software engineering and Ada training plans and curricula. The scope of this report was to provide a quantitative assessment that will reflect the true requirements for software engineering and Ada training across NASA and a recommended implementation plan including a suggested curriculum with associated duration per course and suggested means of delivery. The report recognizes the distinction between education and training. Although it was directed to focus on NASA's needs for the latter, the report also identifies key relationships to software engineering education.

Author: LeGrand, S., et al.

Publisher: SofTech

Sponsoring Organization: NASA

Producing Organization: SofTech

Publication Date: 11/87


Generalized Image Library: A Durra Application Example

Abstract: Durra is a language designed to support the construction of distributed applications using concurrent, coarse-grain tasks running on networks of heterogeneous processors. An application written in Durra describes the tasks to be instantiated and executed as concurrent processes, the types of data to be exchanged by the processes, and the intermediate queues required to store the data as they move from producer to consumer processes. This report describes an experiment in writing task descriptions and type declarations for a subset of the Generalized Image Library, a collection of utilities developed at the Department of Computer Science at Carnegie Mellon University. The experiment illustrates the development of a "typical" Durra application. This is a three step process: first, a collection of tasks (programs) is designed and implemented (these are the GIL programs); second, a collection of task descriptions corresponding to the task implementations is written in Durra, compiled, and stored in a library; and finally, an application description is written in Durra and compiled, resulting in a set of resource allocation and scheduling commands to be interpreted at runtime. A few sample application descriptions were developed as part of the experiment and are also reported in this document.

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

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-88-TR-19; SEI Joint Program Office #: ESD-TR-88-20

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 7/88


Management Data Report Part 1: Technical Status

Abstract: This document includes an interim report for the period 3/28/88-4/28/95 of progress in Software Engineering Institute programs.

Publisher: CMU-SEI

Reference Number: SEI #: SEI-88-CDRL-105-5

Publication Date: 5/88


A Guide to the Assessment of Software Development Methods

Abstract: Over the past decade, the term "software engineering method" has been attached to a variety of procedures and techniques that attempt to provide an orderly, systematic way of developing software. Existing methods approach the task of software engineering in different ways. Deciding which methods to use to reduce development costs and improve quality of produced products is a difficult task. This report outlines a five-step process and an organized set of questions that provide software engineering method assessors with a systematic way to improve their understanding and form opinions on the ability of existing methods to meet their organization's needs.

Author: Wood, Bill, et al.

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-88-TR-8; SEI Joint Program Office #: ESD-TR-88-009

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 4/88


The Use of Representation Clauses and Implementation-Dependent Features in Ada: (IIA) Evaluation Questions

Abstract: This report is the second in a series on the use of representation clauses and implementation-dependent features in Ada. It is the purpose of this document to specify a set of questions relevant to the assessment of the support of representation clauses and implementation-dependent features provided by an Ada compiler. The questions identified are categorized according to functionality and address both qualitative and quantitative aspects.

Author: Meyers, B. Craig and Andrea L. Cappellini

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-15; SEI Joint Program Office #: ESD-TR-87-116

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 7/87


The Use of Representation Clauses and Implementation-Dependent Features in Ada: (IIIA) Qualitative Results for VAX Ada, Version 1.3

Abstract: This report, one in a series, provides a qualitative assessment of the support of representation clauses and implementation-dependent features in Ada provided by the VAX Ada compiler, Version 1.3. The evaluation questions that were presented in a previous report of this series form the basis of the qualitative assessment. A subjective evaluation of the support provided for these features is also presented.

Author: Meyers, B. Craig and Andrea L. Cappellini

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-17; SEI Joint Program Office #: ESD-TR-87-118

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 7/87


The Use of Representation Clauses and Implementation-Dependent Features in Ada: (IVA) Qualitative Results for Ada/M(44), Version 1.6Y

Abstract: This report, one in a series, provides a qualitative assessment of the support of representation clauses and implementation-dependent features in Ada provided by the Ada/M(44) compiler, Version 1.6. The evaluation questions that were presented in a previous report of this series form the basis of the qualitative assessment. A subjective evaluation of the support provided for these features is also presented.

Author: Meyers, B. Craig and Andrea L. Cappellini

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-19; SEI Joint Program Office #: ESD-TR-87-170

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 7/87


Technical Support Services for the Ada Joint Program Office

Abstract: This report provides a detailed summary of the activities carried out, products produced, and services provided to the Ada Joint Program Office by IIT Research Institute during the period of 5/28/82-5/30-83.

Author: Szwedo, Edward J.

Publisher: IITRI

Sponsoring Organization: AJPO

Producing Organization: IITRI

Publication Date: 5/83


A Directory of Air Force Ada and JOVIAL Software Engineering Tools

Abstract: This directory is a listing of software engineering tools used by United States Air Force organizations and their contractors to develop and support software systems implemented in the Ada and JOVIAL programming languages.

Publisher: IITRI-DACS

Sponsoring Organization: USAF, Headquarters Electronic Systems Division

Producing Organization: IITRI-DACS

Publication Date: 7/87


Military Standard [DOD-STD-2167]: Defense System Software Development (Superseding DOD-STD-1679A, Navy, 22 Oct 1983; MIL-STD-1644B, 2 Mar 1984)

Abstract: This standard contains requirements for the development of Mission-Critical Computer System software. It establishes a uniform software development process that is applicable throughout the system life-cycle. The software development process defines development activities that result in (1) the generation of different types and levels of software and documentation, (2) the application of development tools, approaches, and methods, and (3) project planning and control. It incorporates practices that have been demonstrated to be cost-effective from a life-cycle perspective, based on information gathered by the Department of Defense and industry. This standard is intended to be dynamic and responsive to the rapidly evolving software technology field. As such, this standard should be selectively applied and tailored to fit the unique characteristics of each software acquisition program. To ensure that the requirements in this standard are appropriate and responsive to software acquisition needs, users of this standard are encouraged to provide feedback to the Preparing Activity. Data Item Descriptions (DIDs) applicable to this standard are listed in Section 6. When used in conjunction with this standard, the DIDs provide a set of concise and complete documents for recording and communicating information generated as a result of adherence to the requirements specified herein.

Publisher: DOD

Reference Number: DOD-STD-2167

Publication Date: 6/85


Military Standard [MIL-STD-draft]: V32 Instruction Set Architecture MIL-STD

Abstract: This standard defines the ?X Instruction Set Architecture. The instruction set architecture includes all information required by the programmer in order to write any time independent program that will execute on computers conforming to this standard. This standard does not define any specific implementation details of the computer. The purpose of this document is to define the ?X Architecture, independent of any specific implementation or vendor, with sufficient precision to permit independent implementations of this architecture that execute identical programs in the identical manner.

Publisher: DOD

Reference Number: MIL-STD-draft

Publication Date: 11/85


The Hermes Guide

Abstract: This document is a tutorial and guide on how to use Hermes.

Author: Mooers, Charlotte D.

Publisher: Bolt Beranek and Newman Inc.

Reference Number: BBNI #: Report 4995

Sponsoring Organization: DARPA

Producing Organization: Bolt Beranek and Newman Inc.

Publication Date: 8/82


KAPSE Interface Team and Public Review of the Proposed DOD-STD-1838A

Abstract: This document contains paper copies of viewgraphs and agendas used during the review of the proposed DOD-STD-1838A.

Author: Clow, Geoff, et al.

Publisher: SofTech

Sponsoring Organization: KIT

Producing Organization: SofTech

Publication Date: 10/87


Ada Users Survey

Abstract: This survey of its members was conducted by the Commercial Ada Users Working Group to learn more about their current and future Ada projects and resources. All brand and product names are trademarks and registered trademarks or their respective holders.

Author: The Commercial Ada Users Working Group of the ACM SIGAda

Publisher: Commercial Ada Users Working Group of ACM SIGAda

Publication Date: 8/88


STARS Goals and Objectives Working Group

Abstract: At the direction of the Acting Director of the DOD Software Technology for Adaptable, Reliable Systems (STARS) Program, a Goals and Objectives Working Group was formed to prepare this decomposition of the program's goals and objectives. Starting with the STARS Program's Charter, the Group developed statements of derivative, high-level, technical goals and objectives for the Program as a whole, and decomposed these goals and objectives into specific statements of the technical scope and goals of each Activity Area within the STARS Program. This document also addresses issues such as phasing of "products," coordination with other programs, and demonstration of cost/benefit.

Author: Fonash, Peter, et al.

Publisher: Institute of Defense Analysis

Reference Number: IDA #: P-1855

Sponsoring Organization: OUSDRE

Producing Organization: Institute of Defense Analysis

Publication Date: 9/85


The Impact of Ada on the Development of Application Programs

Abstract: This paper provides a summary of information developed during a series of software cost estimation workshops conducted by the Institute for Defense Analyses during 1984-85. The project used as an example for workshop analyses was the World Wide Military Command and Control (WWMCCS) Information System (WIS). Section 1 contains the introduction. Section 2 describes the approach used to establish boundaries for analysis of the impact of Ada on the development of application programs. Sections 3-6 provide projections for cost factors used in software estimating models, such as COCOMO. Section 7 summarizes the workshop discussion of maintenance issues although this phase of the software life-cycle was not explicitly addressed in projections. Section 8 provides the conclusions of the workshop participants.

Author: Douville, Anne, et al.

Publisher: IDA

Reference Number: IDA #: P-1871

Sponsoring Organization: OUSDRE

Producing Organization: Institute for Defense Analysis (IDA)

Publication Date: 8/85


Washington Ada Symposium (WAdaS) Proceedings -- Ada in the Mainstream: Applications and Education

Abstract: The papers contained in these proceedings are arranged by session: 1- Education ("Ada Implementation in a Non-Ada Environment," "VISTA: VItro Software Test Application Program," "EEES: Project for Embedded Systems Engineering"), 2- Interesting Packages ("Developing a Queueing Simulation Package in Ada," "Computer Graphics Software in Ada Using AdaM," "A Database Management Capability for Ada"), 3- Education ("Teaching Ada for Business Students," "An Animated Instructional Model for Ada Tasking," "The Impact of Ada on Software Project Organization"), 4- Applications ("Distributed Operating System for Robot Network," "Applications of Ada in a Kidney-Dialysis Ward," "Use of Ada for Shipboard Embedded Applications"), 5- Artificial Intelligence ("OPSAda3: Ada-Based Production Rule Interpreter," "Converting LISP Prototypes to Formal Ada Prototypes"), and 6- Evaluation and Validation ("Ada-Based Abstract Machine Specification of CAIS," "Evaluating Performance Efficiency of Ada Compilers," "Ada Metrics Based on Software Engineering Principles").

Sponsoring Organization: ACM, Johns Hopkins University

Publication Date: 3/85


(Draft Revised) Diana Reference Manual

Abstract: This is a draft revision of the Diana Reference Manual. Experience with Diana has revealed weaknesses both in the definition of Diana and in the Diana Reference Manual. This draft revision incorporates changes in both areas. Changes to the definition of Diana include 1- overhauling the representation of types and subtypes to accord better with the definition of subtypes in Ada, 2- "partitioning" the Diana so that any node or class (except the node void) is directly a member of no more than one class, 3- "hoisting" attributes to the highest appropriate, and 4- otherwise regularizing the nomenclature of classes, nodes, and attributes. Changes to the Diana Reference Maual include 1- separation of semantic specification from rationale, 2- systematic coverage of static semantics of Diana, 3- inclusion of hierarchical diagrams providing a pictorial representation of class-membership relations, 4- inclusion of several substantial examples, and 5- inclusion of a cross-reference index of nodes and attributes.

Author: McKinley, Kathryn and Carl F. Schaefer

Publisher: Intermetrics, Inc.

Reference Number: Intermetrics #: IR-MD-078

Sponsoring Organization: Naval Research Laboratory

Producing Organization: Intermetrics, Inc.

Publication Date: 5/86


The Use of Representation Clauses and Implementation-Dependent Features in Ada: (IIB) Experimental Procedures

Abstract: This report is one in a series dealing with the use of representation clauses and implementation-dependent features in Ada. The purpose of this report is to discuss detailed experimental procedures to assess compiler support. It is readily acknowledged that the domain of possible experimentation is large. To facilitate the experimentation, a methodology is proposed that relies on program generators and automated analysis tools. An example of the methodology is presented in some detail.

Author: Meyers, B. Craig and Andrea L. Cappellini

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-18; SEI Joint Program Office #: ESD-TR-87-126

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 7/87


A Survey of Real-Time Performance Benchmarks for the Ada Programming Language

Abstract: This survey provides a summary description of some of the major Ada benchmarks currently available and an evaluation of their applicability to the Ada Embedded Systems Testbed Project of the Software Engineering Institute. The benchmarks discussed are 1- the University of Michigan benchmarks, 2- the ACM Performance Issues Working Group (PIWG) benchmarks, and 3- the prototype Ada Compiler Evaluation Capability (ACEC) of the Institute for Defense Analyses (IDA).

Author: Donohoe, Patrick

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-28; SEI Joint Program Office #: ESD-TR-87-191

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 12/87


Ada Performance Benchmarks on the Motorola MC68020: Summary and Results

Abstract: This report documents the results obtained from running the ACM SIGAda Performance Issues Working Group and the University of Michigan Ada performance benchmarks on a Motorola MC68020 microprocessor, using the Systems Designers Ada-Plus, the TeleSoft TeleGen2, and the VERDIX VAX/VMS hosted cross-compilers. A brief description of the benchmarks and the test environment is followed by a discussion of some problems encountered and lessons learned. Wherever possible, the output of each benchmark program is also included.

Author: Donohoe, Patrick

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-40; SEI Joint Program Office #: ESD-TR-87-203

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 12/87


Ada Performance Benchmarks on the Microvax II: Summary and Results

Abstract: This report documents the results obtained from running the University of Michigan and the ACM SIGAda Performance Issues Working Group Ada performance benchmarks on a DEC VAXELN MicroVAX II using the DEC VAXELN Ada compiler. A brief description of the benchmarks and the test environment is followed by a discussion of some problems encountered and lessons learned. The output of each benchmark program is also included.

Author: Donohoe, P.

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-27; SEI Joint Program Office #: ESD-TR-87-190

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 12/87


Ada for Embedded Systems: Issues and Questions

Abstract: This report addresses issues and questions related to the use of Ada for embedded systems applications; it contains some preliminary recommendations for compilation system implementors, application developers, program managers, and Ada policy makers. The issues and questions provide the context for the Ada Embedded Systems Testbed (AEST) Project at the Software Engineering Institute, where staff members are investigating software development and performance issues for real-time embedded systems.

Author: Weiderman, Nelson H., et al.

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-26; SEI Joint Program Office #: ESD-TR-87-189

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 12/87


Timing Variation in Dual Loop Benchmarks

Abstract: Benchmarks that measure time values using a standard system clock often employ a dual loop design. One of the important assumptions of this design is that textually identical loop statements will take the same amount of time to execute. This assumption was tested on two bare computers with Ada test programs and has been demonstrated to be inaccurate in these specific test cases.

Author: Altman, Neal and Nelson Weiderman

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-21; SEI Joint Program Office #: ESD-TR-87-172

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 10/87


Criteria for Constructing and Using an Ada Embedded System Testbed

Abstract: The purpose of this report is to list some of the criteria used in five aspects of the project: the hardware configuration, the software configuration, the real-time application, the Ada real-time experiments, and the benchmarking and instrumentation techniques. Each criterion will include a rationale. Each of the criteria listed in this report will be categorized as either essential, highly desirable, or desirable.

Author: Weiderman, Nelson

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-30; SEI Joint Program Office #: ESD-TR-87-193

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 11/87


The Use of Representation Clauses and Implementation-Dependent Features in Ada: (I) Overview

Abstract: This report, the first in a series, presents an overview of the aspects of the Ada language relating to representation clauses and implementation-dependent features. Particular emphasis is given to the use of Ada for application to packed data structures. This report is in part tutorial, and several examples from real-time, mission-critical systems are discussed in detail. A brief discussion of design guidelines for the use of representation clauses and implementation-dependent features is included.

Author: Meyers, B Craig and Andrea L. Cappellini

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-14; SEI Joint Program Office: ESD-TR-87-115

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 7/87


VAXELN Experimentation: Programming a Real-Time Clock and Interrupt Handling Using VAXELN Ada 1.1

Abstract: This report describes the results of implementing an interrupt handler totally in Ada for a MicroVAX II / VAXELN 2.3 target system, the VAXELN 1.1 Ada compiler, and a KWV11-C programmable real-time clock. It provides an overview of VAXELN interrupt handlers and the operation of the real-time clock; discusses and demonstrates the use of VAXELN kernel services to establish a link between the clock's interrupt and the starting address of an interrupt service routine; presents an Ada package of interfaces to the KWV11-C device; provides Ada source code examples demonstrating the use of this package; and presents relevant observations, recommendations, and measurement results.

Author: Borger, Mark W.

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-29; SEI Joint Program Office #: ESD-TR-87-188

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 10/87


VAXELN Experimentation: Programming a Real-Time Periodic Task Dispatcher Using VAXELN Ada 1.1

Abstract: The purpose of this paper is to provide the reader with some technical information and observations, Ada source code, and measurement results based on experimentation with respect to developing a real-time periodic task dispatcher in Ada. The results presented here are specific to a uVAX-II / VAXELN 2.3 target system, the VAXELN 1.1 Ada compiler, and a KWV11-C programmable real-time clock. Specifically, these results provide answers to the question: How can one achieve the effect of scheduling a set of periodic Ada tasks when the runtime frequency of some of the individual tasks is less than the clock cycle frequency supported by an Ada runtime implementation?

Author: Borger, Mark W.

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-32; SEI Joint Program Office #: ESD-TR-87-195

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 11/87


Inertial Navigation System Simulator Program: Top-Level Design

Abstract: A real-time Ada application, an Inertial Navigation System (INS) simulator, is being developed by the Ada Embedded Systems Testbed Project as a vehicle to analyze issues regarding the use of Ada in the real-time embedded domain and to provide a context for future experimentation. The technical philosophy behind developing a real-time Ada artifact is to (1) select a representative (e.g., strict timing demands, multiple concurrent activities, low-level I/O, error handling, interrupts, and periodic activities) real-time application; (2) use Ada tasks as the unit of concurrency for the real-time design; and (3) apply any relevant practical results being produced by the real-time scheduling research community. In particular, the INS simulator must also satisfy a set of timing requirements that are similar to an INS with respect to data updating, message transmission, and message reception. This document discusses the top-level design of this application from three points of view: data flow perspective, the concurrency and control perspective, and the Ada module perspective.

Author: Klein, Mark H. and Stefan F. Landherr

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-34; SEI Joint Program Office #: ESD-TR-87-197

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 10/87


Inertial Navigation System Simulator: Behavorial Specification

Abstract: The Ada Embedded Systems Testbed Project at the Software Engineering institute is specifying and developing a representative real-time application. This document augments an original set of specification written by a Navy affiliate. The purpose of this behavioral specification is to clarify and augment the original.

Author: Landherr, Stefan and Mark H. Klein

Publisher: CMU-SEI

Reference Number: SEI #: CMU/SEI-87-TR-33; SEI Joint Program Office #: ESD-TR-87-196

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 10/87


A Descriptive Evaluation of Automated Software Cost-Estimation Models

Abstract: The purpose of this report is to encourage and facilitate the use of appropriate software cost and schedule models in the DoD. This report provides an introduction to the usefulness of these models and an evaluation of current, fully supported, commercially available, software cost and schedule estimation products. These products can be employed for analyses of several different aspects of software management including project planning, proposal evaluation, managing development, managing maintenance, and improving software productivity. The seven products included in the evaluation were JS-3, PCOC, Price S, slim, SoftCost, SPQR/20, and Wicomo.

Author: Bailey, Elizabeth K., et al.

Publisher: IDA; OASD (Comptroller)

Reference Number: IDA #: P-1979

Sponsoring Organization: OASD (Comptroller)

Producing Organization: IDA

Publication Date: 10/86


A Program Design Using Ada: A Chief Programmer's Perspective

Abstract: This report outlines an approach to software development that incorporates Ada as a program design language (PDL) within a minimal programming support environment. Besides describing an overall methodology for program design, the report also addresses Ada's weak points as a PDL, defines a "legible" program design, demonstrates the value of formal specifications, champions coding standards, and introduces some simple coding tools. It concludes that software built in the manner described would enjoy a high likelihood of being correct, readable, and modifiable.

Author: Dial, Robert B.

Publisher: MITRE

Sponsoring Organization: Office of the Under Secretary of Defense (R&AT); AJPO

Producing Organization: MITRE

Publication Date: 1/85


U.S. Army Ada Training Curriculum -- Curriculum Catalog 1984

Abstract: The Ada Training Curriculum defines a comprehensive set of training course modules or building blocks that can be connected in a variety of ways and coupled with workbooks and supplementary materials to form training programs that satisfy a given set of needs.

Publisher: US Army CECOM-CENTACS

Sponsoring Organization: US Army CECOM-CENTACS

Producing Organization: SofTech, Inc.

Publication Date: 1/84


Guidance for Using the Ada Programming Language in Avionic Systems

Abstract: This document is intended to provide guidance on the use of the Ada programming language in commercial avionics applications. It is intended to provide guidelines to the airlines, airframe manufacturers, flight simulator manufacturers, avionics suppliers, and compiler vendors. It is the desire of the airline community to reduce the cost and economic risk associated with avionics software systems. As a means to achieve this end, it is recommended that the Ada programming language be used as the standard High-Order LAnguage (HOL) in avionics equipment design.

Publisher: ARINC

Reference Number: ARINC #: Report 613

Sponsoring Organization: Aeronautical Radio, Inc. (ARINC)

Producing Organization: Airlines Electronic Engineering Committee

Publication Date: 1/88


A Comparison of the UNIX System Calls to the CAIS

Abstract: The Ada Joint Program Office (AJPO) has supported several efforts aimed at designing and implementing Ada Programming Support Environment (APSE) and at designing a standardized set of calls named the Common APSE Interface Set (CAIS). UNIX, an operating system and a set of tools originally developed at Bell Telephone Laboratories, is a programming support environment that supports several languages, including Ada, C, Pascal, FORTRAN, and LISP. Various people in the Ada community have suggested that UNIX become the standard APSE and that the UNIX system calls become CAIS. The use of a Standard set of system calls would promote the transportability of tools and the interoperability of data across APSEs. This report is an analysis of the differences between the UNIX system calls and the CAIS 1.2 and Technical Note 1.0. The main thrust of this effort is to determine the acceptability of the CAIS by UNIX tool writers.

Author: Bowerman, Rebecca and Charles Howell

Publisher: MITRE

Reference Number: MITRE #: WP-84W00467

Publication Date: 9/84


Creating Reusable Ada Software

Abstract: The priomary objective of this set of notes is to make the audience aware of some of the more important issues relating to the creation of reusable Ada software. Specifically, these notes are designed to touch upon the "nuts and bolts" issues. The presentation is intentionally brief and it is assumed that the audience memebers have at least a reading knowledge of the Ada programming language and have developed at least one piece of serious software.

Publisher: EVB Software Engineering, Inc.

Publication Date: 1/86


Software Technology for Adaptable, Reliable Systems (STARS) Technical Program Plan (Executive Summary)

Abstract: Software Technology for Adaptable, Reliable Systems, or STARS, is the Defense Department's program to achieve dramatic improvements in software quality and to mitigate runaway software costs. This technical plan unifies and focuses the STARS program by emphasizing the use of Ada and related software engineering technology and introducing the software first systems acquisition approach.

Author: Greene, J.S., et al.

Publisher: OUSDRE (R&AT/CET)

Reference Number: STARS #: TPP-(8/06/86)

Sponsoring Organization: OUSDRE (R&AT/CET)

Producing Organization: STARS Joint Program Office

Publication Date: 8/86


CEI Presents System-3

Abstract: This document contains paper copies of viewgraphs and supplementary materials for a presentation on System-3, on of CEI's automated systems for software cost and scheduling estimation and management.

Publisher: Computer Economics, Inc. (CEI)

Publication Date: 3/88


APSE Interactive Monitor Final Report on Interface Analysis and Software Engineering Techniques

Abstract: This document is the final version of the Interface Report produced by Texas Instruments; the report consists of three volumes and contains several modifications to previous information as well as new information concerning experiences and implementation since the interim version of this report was produced. Volume 1, "Environment Interface Analysis," is an analysis of environment interfaces issues; it is primarily a recap of the data contained in the interim interface report, but also includes information on the Data General Ada Development Environment (ADE). Volume 2, "Design and Implementation Experiences: The AIM," covers design and implementation experience gained through work on the AIM. Volume 3, "Transporting an Ada Software Tool: A Case Study," is a case study of the rehosting of the AIM from a Data General Eclipse MV/10000 to a VAX 11/785; it is a completely new section and contains information on the rehost effort, including transportability issues.

Publisher: Texas Instruments, Inc. - Equipment Group - ACSL

Sponsoring Organization: Naval Ocean Systems Center (NOSC)

Producing Organization: Texas Instruments, Inc. - Equipment Group - ACSL

Publication Date: 7/85


Ada Software Repository (ASR) Master Index

Abstract: The purpose of this document is to provide descriptions of the various items maintained in the ASR and to act as a useful, effective reference to the users of the ASR. Three types of items are described in this Master Index: 1- text (text and information files), 2- software (Ada software and its associated documentation), 3- WIS/NOSC (thoseitems submitted by WIS and NOSC).

Author: Conn, Richard

Publisher: Management Assistance Corporation of America (MACA)

Publication Date: 5/88


Joint Integrated Avionics Working Group Software Task Group

Abstract: This document contains paper copies of viewgraphs from a presentation of comments from the ATF, LHX, and A-12 contractors on JIAWG Ada issues. Due to the continuing flow of contractor comments on this subject, the content of this paper is not final.

Author: Mills, Michael T.

Publisher: JIAWG

Publication Date: 7/88


Level 1 Ada/SQL Database Language Interface User's Guide

Abstract: The purpose of this report is to present a binding specification between the programming language Ada and the database language SQL. This document will be used to provide a capability for accessing a relational database from the Ada language and will provide a cross reference between the Ada/SQL language and the SQL language. As a user's guide, this report addresses the functionality of the ANSI SQL standard and identifies a subset implementation of it as Level 1. A Level 1 implementation was delivered to the DLA for use with a database package that is intended for regional administrative systems. An Ada application prototype will be implemented to demostrate software engineering using Ada in the environment provided for these regional administrative systems. In addition, an IDA report has been published as a companion document that provides the source listings for the demonstration software that implements this Level 1 version of Ada/SQL.

Author: Brykczynski, Bill, et al.

Publisher: IDA

Reference Number: IDA #: M-360

Sponsoring Organization: Defense Logistics Agency

Producing Organization: Institute for Defense Analyses

Publication Date: 9/87


A Guide to the Products and Services of the STO

Abstract: This report is guide to the product and services of Source Translation & Optimization (STO); it includes three sections: 1- Multilanguage Software Maintenance, 2- Software Classification, and 3- 1986 Source Code Directory.

Publisher: Source Translation & Optimization

Publication Date: 1/86


Presentations from theSTARS Common Ada Foundations Workshop: Telecommunications and Network Protocols, Operating System Area

Abstract: These proceedings contain viewgraphs from three conference presentations: 1- Telecommunications and Network Protocols, 2- Operating System Area, and 3- STARS Industry Workshop on Common Ada Foundations.

Author: Baldo, James, Sam Harbaugh, and Joseph S. Greene

Publisher: STARS

Sponsoring Organization: STARS

Publication Date: 3/87


DDC-I Ada Compiler System User's Guide for DACS-80x86

Abstract: This document is intended for anyone wishing to gain acquaintance with and use the DDC-I Ada Compiler System family of cross-compilers, DACS-80x86, hosted on a VAX/VMS installation. This manual assumes that the user has some elementary knowledge about the VMS command language (DCL), familiarity with Ada concepts, as described in the Ada Reference Manual (ANSI/MIL-STD/1815A), and basic knowledge of the Intel microprocessor development environment.

Publisher: DDC-I, Inc.

Reference Number: DDC-I #: 5801/RPT/62 (issue 9)

Publication Date: 1/88


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.

Publisher: E&V Team/DoD

Reference Number: TASC #: TR-5234-3

Sponsoring Organization: AJPO

Producing Organization: The Analytic Sciences Corporation (TASC)

Publication Date: 10/88


Common Ada Missile Packages - Phase 2

Abstract: The distribution of this report and its abstract is limited to US Government Agencies and their contractors.

Author: McNicholl, D., S. Cohen, C. Palmer, et al.

Publisher: Air Force Armament Laboratory

Reference Number: Air Force Armament Laboratory #: AFATL-TR-88-62

Sponsoring Organization: STARS Joint Program Office; Air Force Armament Laboratory

Producing Organization: McDonnel Douglas Astronautics Company

Publication Date: 11/88


Common Ada Missile Packages - Phase 2

Abstract: The distribution of this report and its abstract is limited to US Government Agencies and their contractors.

Author: McNicholl, D., S. Cohen, C. Palmer, et al.

Publisher: Air Force Armament Laboratory

Reference Number: Air Force Armament Laboratory #: AFATL-TR-88-62

Sponsoring Organization: STARS Joint Program Office; Air Force Armament Laboratory

Producing Organization: McDonnel Douglas Astronautics Company

Publication Date: 11/88


Common Ada Missile Packages - Phase 2

Abstract: This document contains paper copies of viewgraphs for a presentation on Ada and artificial intelligence.

Author: McNicholl, D., S. Cohen, C. Palmer, et al.

Publisher: Air Force Armament Laboratory

Reference Number: Air Force Armament Laboratory #: AFATL-TR-88-62

Sponsoring Organization: STARS Joint Program Office; Air Force Armament Laboratory

Producing Organization: McDonnel Douglas Astronautics Company

Publication Date: 11/88


A Taxonomy of Tool Features for the Ada Programming Support Environment (APSE)

Abstract: The subject of the taxonomy that is presented in this report is the Ada Program Support Environment (APSE) [DOD80]. The categories within the taxonomy are features of the APSE. Two criteria are used in the selection of features: 1- A feature must be within the current state of software development practice, that is, there must be examples of existing tools that are currently being used by the Federal Government or industry; 2- A feature must be useful for the development of Ada software and may, in some cases, be explicitly oriented toward the language.

Author: Houghton, Raymond C.

Publisher: US Department of Commerce - National Bureau of Standards (NBS)

Reference Number: NBS #: NBSIR 82-2625

Sponsoring Organization: AJPO

Producing Organization: US Department of Commerce - National Bureau of Standards (NBS)

Publication Date: 2/83


Production of Reliable Flight-Crucial Software

Abstract: This document contains the proceedings of a NASA sub-working-group meeting on the Production of Reliable Flight-Crucial Software held at Research Triangle Institute. Meeting objectives were to survey the state of the art and identify areas where additional research is needed. A more specific objective of the sub-working-group meeting was to obtain answers to the following questions: 1- Is it meaningful to associate reliability metrics with software and, if so, what are these metrics and how are they to be computed?, 2- How good are the classical methods used in the conventional software development cycle and are they adequate for building crucial software assuming a composite set of quality metrics was defined?, and 3- Are the more modern formal methods of building software sufficiently mature that they could be applied during the production of reliable software for digital flight control systems?

Author: Dunham, J.R. and J.C. Knight

Publisher: NASA

Reference Number: NASA #: Conference Publication 2222

Sponsoring Organization: NASA

Producing Organization: NASA Sub-Working-Group

Publication Date: 11/81


Suggestions for DoD Management of Embedded Computer Software in an Environment of Rapidly Moving Technology

Abstract: The Technical Management Committee and the Aerospace Technical Council of the Aerospace Industries Association (AIA) and Computer Resources Task Group of the Electrical Industries Association (EIA) Government Division analyzed DoD- and military Services-issued guidebooks and directives dealing with software development and acquisition. The primary conclusion of the analysis was that the Government is overconstraining contractor development approaches for embedded computer software, to the detriment of the programs for which the software is destined; the results of the constraints are increased software cost and risk when contractors are forced to use practices different from their normal approaches. Five issues presenting challenges to managers of acquisition and development were identified and the examination of these issues led to sixteen recommendations.

Publisher: AIA; EIA

Publication Date: 3/82


An Interim Guideline for Ada Based Development and Product Design Documentation

Abstract: This interim guide is only concerned with Ada Based documentation deliverables and their contents. Areas of what methodology or techniques are to be used in the development of these deliverables have been avoided, but their importance in software development is recognized.

Publisher: LTH Systems, Inc.; RAMTEC, Inc.

Sponsoring Organization: US Army Communications-Electronics Command

Producing Organization: LTH Systems, Inc.; RAMTEC, Inc.

Publication Date: 10/84


Ada Software Engineering Education and Training Symposium -- Proceedings of the Second Annual ASEET Symposium

Abstract: These symposium proceedings contain papers arranged by date of presentation: WEDNESDAY, 10 JUNE 1987 ("Managing the Implementation of an Ada Training Program," "Reporting on Ada Training Evaluation Guide Project," "Ada from a Management Perspective," "Comparing Designs: A Methodology for Teaching Software," "Instantiating Ada at the University of Central Florida {and Why There Are Few Good Texts on Ada and Software Engineering}," "Treatment of the Ada Programming Language in a Programming Language," "Ada From the Trenches: A Classroom Experience," "Introducing Ada and Its Environments into a Graduate Curriculum," "Lessons Learned in Using Formal Specification Techniques in an Ada-based Software Engineering Course," "A Student Project to Extend Object-Oriented Design," "An Evolution in Ada Education for Academic Faculty") and THURSDAY, 11 JUNE 1987 ("Software __________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________

Author: McDonald, Catherine and Greg Kee (eds)

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 6/87


Ada Evaluation Project: The Impact of the Ada Language on Software Testing

Abstract: Testing on the Standard Automated Remote to AUTODIN Host (SARAH) project was a continuous process. Development testing provided a stabilizing environment for the project. The early design interfaces were done in the implementation code (Ada), developing confidence in both the language and software engineering techniques it supports. The Ada environment had the right tools to allow incremental building. The packaging concept provided a continuous testing platform ensuring functional isolation, verification of data integrity, and an immediate decrease in the opportunity for the introduction of errors. This supported the principles of modularity, high cohesion, and low coupling. Shared packages of tools made the subsystem developers more productive. Generics were used to reduce redundancy in the development of code. Our greatest testing problems occurred because of the tasking environment. The library management system and the vendor-developed debugging tools proved to be essential in development testing and integration. Testing of software is not affected as significantly by the language used as it is by the engineering applied during the design and development of the system. [This report is the ninth in a series that documents the lessons learned in the use of Ada in a communications environment.]

Publisher: CCSO - SARAH Branch

Sponsoring Organization: USAF Headquarters

Producing Organization: CCSO - SARAH Branch

Publication Date: 6/88


Ada Evaluation Report: Reuse of Ada Software Modules

Abstract: In this report, software module reuse using Ada is discussed in the context of the Standard Automated Remote to AUTODIN Host (SARAH) Software Development Project. Reuse concepts are presented including designing, finding, and implementing reusable Ada components. Reuse in the SARAH project is discussed in terms of reuse goals, accomplishments, and problems encountered achieving reuse goals (including design compromises that has to be made). Current impediments to software reuse are presented along with suggestions about how they might be improved. Recommendations are given with reference to current scope of potential reuse benefits.

Publisher: CCSO - SARAH Branch

Sponsoring Organization: USAF Headquarters

Producing Organization: CCSO - SARAH Branch

Publication Date: 6/88


The Commercial Use of Ada for Management Information Systems

Abstract: This document contains an annotated briefing and background materials. The principal objective of this briefing is to assist key managers in industry and government to decide on the selection of the appropriate MIS technology. Specifically, Ada is studied as one alternative using commercial experience as evidence. Four case studies and a summary report have been developed in support of this briefing. These studies were based on the results of a comprehensive study of software costs, benefits, and risks, conducted by Reifer Consultants, Inc. Background and historical information an commercial use are also presented. The key issues addressed are 1- Is Ada a practical technology for MIS?, 2- What was management's evaluation of initial efforts?, and 3- How mature is Ada and its support? Each of the four companies studied relies heavily on product quality and innovation to maintain its market edge. Also, each has used Ada to build a product in the critical path to its success. The briefing draws on commercial experience to give real-life illustrations of the costs, benefits, and risks involved in using Ada for MIS.

Author: Dikel, David; Keenan, Joseph

Publisher: Addamax Corporation

Reference Number: Addamax #: 387-001-002

Sponsoring Organization: DOD

Producing Organization: Addamax Corporation

Publication Date: 1/88


Public Report: DoD Ada Software Engineering Education and Training (ASEET)

Abstract: The ASEET Team is chaired by the Air Force and the chair works directly with the AJPO in the execution of the ASEET Task. The Team is composed of representatives from the Army, Navy, Marine Corps, Air Force, and other selected DOD Agencies. The group meets on a quarterly basis to discuss Ada education and training within the DOD. The Team has been partitioned into four working groups: Education and Training Requirements Working Group, Courseware Working Group, Professional Development Working Group, and the Coordination Working Group. The purpose of the ASEET Public Report is to describe the activities of the ASEET Team since its conception in 1985.

Publisher: ASEET Team

Sponsoring Organization: AJPO

Producing Organization: ASEET Team

Publication Date: 10/87


STARS Methodology Area Summary

Abstract: Initially, the Ada Joint Program Office sponsored Professors Peter Freeman and Anthony Wasserman to identify requirements for software development methodologies that would allow the DoD to realize the full potential of Ada. Since that time, the work on methodologies to support Ada has been transferred to the DoD Joint Program Office for the program entitled Software Technology for Adaptable reliable Systems (STARS). The STARS Joint Program Office (SJPO) objective is to improve the productivity level of software system development and support, as well as the resulting quality of deployed software systems. This report consists of two volumes: Volume 1 ("Organization and Plans") presents the organization and plans of the STARS Methodology Coordination Team; Volume 2 ("Preliminary Views on the Software Life Cycle and Methodology Selection") is a technical report concerned with the development of methodology classification, evaluation, and selection technologies and a framework of characteristics that can be used to support these technologies.

Author: Converse, Robert, et al.

Publisher: IDA

Reference Number: IDA #: P-1814

Sponsoring Organization: OUSDRE

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 3/85


STARS Methodology Area Summary

Abstract: Initially, the Ada Joint Program Office sponsored Professors Peter Freeman and Anthony Wasserman to identify requirements for software development methodologies that would allow the DoD to realize the full potential of Ada. Since that time, the work on methodologies to support Ada has been transferred to the DoD Joint Program Office for the program entitled Software Technology for Adaptable reliable Systems (STARS). The STARS Joint Program Office (SJPO) objective is to improve the productivity level of software system development and support, as well as the resulting quality of deployed software systems. This report consists of two volumes: Volume 1 ("Organization and Plans") presents the organization and plans of the STARS Methodology Coordination Team; Volume 2 ("Preliminary Views on the Software Life Cycle and Methodology Selection") is a technical report concerned with the development of methodology classification, evaluation, and selection technologies and a framework of characteristics that can be used to support these technologies.

Author: McDonald, Catherine, et al.

Publisher: IDA

Reference Number: IDA #: P-1814

Sponsoring Organization: OUSDRE

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 3/85


Functional Performance Specification for an Inertial Navigation System

Abstract: This document defines the functional and performance requirements for the inertial navigation system simulator that interfaces with the external computer system (ECS) simulator. Both the INS simulator and the ECS simulator are being developed in Ada by the Real-Time Embedded Systems Testbed Project at the Software Engineering Institute (SEI). The INS simulator is similar to a real-world INS, but it has reduced functionality. This document provides specifications for the major functions on the INS simulator.

Author: Meyers, B. Craig

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-88-TR-23; SEI Joint Program Office #: ESD-TR-88-024

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 8/88


An OOD Paradigm for Flight Simulators

Abstract: This report presents a paradigm for object-oriented implementations of flight simulators. It is a result of work on the Ada Simulator Validation Program (ASV) carried out by members of the technical staff at the SEI.

Author: Lee, Kenneth J., et al.

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-88-TR-30; SEI Joint Program Office #: ESD-TR-88-31

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 9/88


Using the Vienna Development Method (VDM) to Formalize a Communications Protocol

Abstract: The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model oriented specification language, Meta-IV. VDM is also an informal collection of experiences in formal specification within several application domains. This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.

Author: Pedersen, Jan S. and Mark Klein

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-88-TR-26; SEI Joint Program Office #: ESD-TR-88-027

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 11/88


System Specification Document: Shipboard Inertial Navigation System Simulator and External Computer

Abstract: This document specifies high-level requirements for a shipboard inertial navigation system (INS) simulator and an external computer system that will interface with the inertial navigation system simulator.

Author: Meyers, B. Craig, and Nelson H. Weiderman

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-88-TR-24; SEI Joint Program Office #: ESD-TR-88-025

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 10/88


Ada Language System Design and Development Plan

Abstract: The Army has contracted with SofTech to design, develop and document an Ada Language System for use on embedded military computer systems. The Ada Language System consists of a compiler with various code generators and a set of tools that will provide an environment for effective use of the language. This document is the design and development plan which identifies and describes by function and schedules all tasks necessary to complete the statement of work. The techniques and methodologies to be used to perform this work are identified and described in this plan. The completed design will consist of a Kernel Ada Programming Support Environment (KAPSE) with which the compiler, code generators, assemblers, linkage editors, and other tools all interact. The work will focus on producing the following contract line items: 1- development of Ada Language System, 2- administrative/management data, 3- engineering and configuration documentation data, 4- financial data, 5- related design requirements data, 6- system/subsystem analyses data, 7- test data, 8- operational maintenance course, and 9- maintenance phase.

Publisher: SofTech

Reference Number: SofTech #: 1075-510006

Sponsoring Organization: US Army

Producing Organization: SofTech

Publication Date: 11/82


Ada Language System Configuration Management Plan

Abstract: SofTech is to develop the Ada Language System for CORADCOM. This Configuration Management Plan describes the procedures used to establish and track the configuration of SofTech's Ada Language System.

Publisher: SofTech

Reference Number: SofTech #: 1075D-52002-8010

Sponsoring Organization: U.S. Army CORADCOM

Producing Organization: SofTech

Publication Date: 10/80


System Development Methodology

Abstract: The System Development Methodology (SDM) is the formal specification of building a system. It defines the activities to build a system, the interfaces between those activities, and control of the products created as a result of those activities. It is an integrated methodology that uses modeling, partitioning, parallel activities execution, and iterative processing. The intent of the SDM is to provide a methodology based on existing government publications, but enhanced to accommodate the technologies and constraints specific to the development of new systems. Volume 1 of the SDM is an intorduction; Volume 2 is the model.

Publisher: Dept. of the Navy, United States Marines

Publication Date: 2/85


System Development Methodology

Abstract: The System Development Methodology (SDM) is the formal specification of building a system. It defines the activities to build a system, the interfaces between those activities, and control of the products created as a result of those activities. It is an integrated methodology that uses modeling, partitioning, parallel activities execution, and iterative processing. The intent of the SDM is to provide a methodology based on existing government publications, but enhanced to accommodate the technologies and constraints specific to the development of new systems. Volume 1 of the SDM is an intorduction; Volume 2 is the model.

Publisher: Dept. of the Navy, United States Marines

Publication Date: 2/86


Toward a Reform of the Defense Department Software Acquisition Policy

Abstract: This report catalogues and discusses various problems with respect to DOD software procurement policy, and offers suggestions as to ways in which the DOD could improve its software acquisition and licensing methodologies. The report focuses on the software/data rights provisions of the DOD procurement regulations (DOD FAR SUPP Subpart 27.4) as they relate to the Federal Acquisition Regulations, legislation regarding federal contracting practices, intellectual property law (i.e., copyright law, patent law, state trade secret law, trademark laws, etc.) and general commercial practice of the software industry. Particular attention has been given to legal issues related to maintenance and enhancement (software supportability) concerns, reusability and other software modification issues, subcontractor situations, and the possibility of an injunction issuing against the government in certain situations. Issues related to significant DOD projects, such as the development of the Ada language system, are also examined. This report urges a reform of DOD policy with respect to the acquisition of software, technical data, and documentation, software development tools, CAD/CAM programs and the like.

Author: Samuelson, Pamela

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-86-TRI; SEI Joint Program Office #: ESD-TR-86-202

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 4/86


Implementing an Ada Kernel on Nebula

Abstract: This report reviews the concurrency features of Ada, examines other aspects of the NEBULA architecture that are more significant for the implementation of concurrent programs, suggests a method for reducing the tasking mechanisms of Ada to a few simple kernel operations, and evaluates the NEBULA architecture in terms of this method and these operations.

Author: Ingargiola, Giorgio P.

Publisher: Temple University

Sponsoring Organization: U.S. Army Research Office

Producing Organization: Temple University

Publication Date: 8/83


Air Force Institute of Technology THESIS: Toward Ada: The Continuing Development of an Ada Compiler

Abstract: This thesis involved the continuing development of the AFIT-Ada compiler. Basic concepts of the compilation process are reviewed. The design and structure of the AFIT-Ada compiler were examined. Tests from the Ada Compiler Validation Capability system were modified for the subset of the Ada language currently implemented by the AFIT-Ada compiler. Those modified tests were run against the compiler to assure compliance with the Ada Reference Manual. Deviations from the language were corrected. Sections of the existing compiler were rewritten into a more structured manner. Recommendations were made for further development. This continuing development of the AFIT-Ada compiler was performed on the DEC-10 system of the Air Force Avionics Laboratory at Wright-Patterson AFB, Ohio.

Author: Werner, Patrick R.

Publisher: Air Force Institute of Technology

Reference Number: AFIT #: AFIT/GCS/MA/81D-7; DTIC #: AD-A115479

Publication Date: 12/81


The Durra Runtime Environment

Abstract: Durra is a language designed to support PMS-level programming. PMS stands for processor-memory-switch, the name of the highest level in the hierarchy of digital systems. An application or PMS-level program is written in Durra as a set of task descriptions and type declarations that prescribes a way to manage the resources of a heterogeneous machine network. The application describes the tasks to be instantiated and executed as concurrent processes, the types of data to be exchanged by the processes, and the intermediate queues required to store the data as they move from producer to consumer processes. This report describes the Durra runtime environment. The environment consists of three active components: the application tasks, the Durra server, and the Durra scheduler. After compiling the type declarations, the component task descriptions, and the application description, the application can be executed by starting an instance of the server on each processor, starting an instance of the scheduler on one of the processors, and downloading the component task implementations (i.e., programs) to the processors. The scheduler receives as an argument the name of the file containing the scheduler program generated by the compilation of the application description. This step initiates the execution of the application.

Author: Barbicci, Mario, et al.

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-88-TR-18; SEI Joint Program Office #: ESD-TR-88-19

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 7/88


Ada Software Repository Newsletter

Abstract: This document is issue #107 [September-October, 1988] of the Ada Software Repository Newsletter. It sontains articles, release notes, abstractions library release notes, and new abstractions library release notes.

Author: Conn, Richard

Publication Date: 10/88


Military Standard [DOD-STD-2168]: Defense System Software Quality Program

Abstract: [Supersedes MIL-S-52779A, 1 Aug 1979.] This standard contains requirements for the development, documentation, and implementation of a software quality program. This program includes planning for and conducting evaluations of the quality of software, associated documentation, and related activities, and planning for and conducting the follow-up activities necessary to assure timely and effective resolution of problems. This standard, together with the other DOD and military specifications and standards governing software development, configuration management, specification practices, project reviews and audits, and subcontractor management, provide a means for achieving, determining, and maintaining quality in software and associated documentation. This standard incorporates the applicable requirements of MIL-STD-1520 and MIL-STD-1535. This standard implements the policies of DODD 4155.1, Quality Program, and provides all of the necessary elements of a comprehensive quality program applicable to software development and support. This standard interprets the requirements of MIL-Q-9858, Quality Program Requirements, for software and is to be used in conjunction with MIL-Q-9858 for system development and support projects. Guidelines for applying this standard and criteria for evaluating contractor compliance with the requirements of this standard are contained in DOD-HDBK-286. The Data Item Description (DID) applicable to this standard is identified in Section 6. When used in conjunction with this standard, the DID provides a vehicle for documenting and communicating information relevant to the requirements specified herein. Production of deliverable data using automated techniques is encouraged.

Publisher: DOD

Reference Number: DOD-STD-2168

Publication Date: 4/88


Management Data Report Part I: Technical Status

Abstract: This document includes an interim report for the period 11/28/88-12/28/95 of progress in Software Engineering Institute programs.

Publisher: CMU-SEI

Reference Number: SEI #: SEI-89-CDRL-105-1

Publication Date: 1/89


Naval Postgraduate School THESIS: Implementation of a Language Translator for the Computer Aided Prototyping System

Abstract: Rapid prototyping is a method of software system development that is gaining much support presently. Rapid prototyping allows the designer to quickly produce a model of a system or part of a system that the user can see and thus verify if his requirements have been met. The protoype specifications can then be efficiently converted to an accurate set of program specifications that the programmers can implement as a final working system. The computer aided prototyping system (CAPS) is a rapid prototyping system that will automate many of the processes of prototyping such as code generation of prototype modules and searching for reusable components. One of the many components of CAPS is a language translator which translates a prototype specification written in the Prototype System Description Language into a set of Ada procedures and packages. The Ada procedures and packages, when executed in proper order, will effectively execute the prototype. This thesis demonstrates an implementation of the translator component of the CAPS. An attribute grammar tool, Kodiyak, is used to build a translator that implements the major constructs of PSDL and produces Ada code to implement PSDL operators according to their control constraints.

Author: Altizer, Charles E.

Publisher: Naval Postgraduate School

Publication Date: 12/88


Proceedings of the Ada-Europe International Conference -- Ada: Managing the Transition

Abstract: The conference theme "Ada -- Managing the Transition" aims to identify the problems which organizations may encounter when they decide to change to Ada, and hopefully to identify some solutions to these problems. These proceedings, therefore, provide invaluable advice to the managers and technicians involved in the management of the transition. The contents are seven parts, each with several titles: PART 1- Management Systems ("Ada Evaluation and Transition Studies," "Global Issues in Reuse from a Real Project," "Evaluating Ada Implementations -- Smoothing the Transition to Ada," "Ada Compiler Performance Bench," "The Magnavox Transition to Ada," "The Economics of Ada"), PART 2- Technical Issues in the Transition ("Two Years of Ada Experiments: Lessons and Results," "Transition to Ada for Supercomputers," "The Implications of Ada for Configuration Management and Project Support Environments: Towards Adequate Support"), PART 3- Reusability ("Understanding Ada Software Reusability Issues for the TRansition of Mission Critical Computer Resource Applications," "Software Methodology and the AIE Program Library," "Reusability of Software Components in the Building of Syntax-driven Software Tools Written in Ada"), PART 4- Experience in Application ("Experiences in Using Ada with DBMS Applications," "Process Simulation Package Concealing Multi-tasking," "Transition Towards Embedded Real-time Applications in Ada," "Designing an Interactive, Adaptive Graphics System Using Ada," "Software Component Library," "Integrating Ada in an Existing Environment -- The Arcs Example"), PART 5- Education ("Software Engineering Applied to Ada Curriculum

Author: Wallis, Peter (ed)

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-33091-2

Sponsoring Organization: Ada-Europe, CEC, SIGAda

Publication Date: 5/86


Specification Techniques Applied to the Ada Programming Language

Abstract: This report describes and analyzes the state of current research and development efforts related to formal program verification (PV) techniques as they apply to the Ada programming language. It is motivated by renewed interest in the established theories and methods of program verification, which are seen as having the potential for addressing increased demands for verifiable Ada software. A number of these theories and methods will be described at a level consistent with the intended use of this report, i.e., as a survey of both the field and its relation to Ada.

Publisher: IITRI

Sponsoring Organization: Rome Air Development Center

Producing Organization: IITRI

Publication Date: 4/88


An Approach to Tailoring the Ada Runtime Environment

Abstract: This study is an investigation of runtime environment (RTE) tailoring. It specifically addresses tailoring the code of the RTE to improve the performance or functionality of Ada executables. This effort is also targeted at real-time systems that are to be embedded in bare computers where both the application and executive services are implemented through Ada constructs and the RTE. This research is not intended to establish direction for changes to the future Ada standard; it is intended to suggest near-term software engineering practices that conform to the Ada standard and can be applied when it is necessary to tailor the Ada RTE for highly constrained applications.

Publisher: IITRI

Reference Number: IITRI #: T06168

Sponsoring Organization: US Army-CECOM

Producing Organization: IIT Research Institute

Publication Date: 12/88


The Software First System Development Methodology

Abstract: This report is an iteration of the ongoing definition of the Software First System Development System. The Software First system proposes to place the emphasis on software, not hardware, throughout the development cycle. The major benefits to developing the software for a system prior to hardware selection include increased maintainability, more mature hardware (because it is chosen after the software development), and the better management of evolutionary requirements.

Author: Preston, David and Elaine Fedchak

Publisher: IITRI

Reference Number: IITRI #: A06226

Sponsoring Organization: US Army CECOM

Producing Organization: IIT Research Institute

Publication Date: 1/89


Establish and Evaluate Ada Runtime Features of Interest for Real-Time Systems

Abstract: The objective of this study is to provide software developers with guidance in the selection of Runtime Environments (RTE) to ensure that all timing and storage requirements of real-time embedded systems can be met. Because there is no "universal best" runtime environment , the selection of an RTE is domain specific. This study developed a step-by-step process that a developer can use to elevate RTEs. This process was applied to one class of systems, Communication and Electronic Intelligence (COMINT/ELINT) systems. A process was developed to determine which Ada runtime features were important for real-time embedded systems; it involved prioritizing Ada RTE elements by the implementation of a prioritization matrix. The prioritized RTE elements were used to prioritize groups of benchmarks; this provided software developers with a prioritized list of groups of benchmarks that measure the critical areas of candidate RTEs being considered for COMINT/ELINT systems. The concept of a composite benchmark, one which takes into account the interactions and interfaces that go on within a system, was developed as another means to test candidate RTEs. A preliminary composite benchmark description was developed for COMINT/ELint systems. When selecting an RTE, the composite benchmark should be used to test the minimum threshold of RTEs; then, the prioritized groups of benchmarks should be used to test the critical RTE elements to determine which RTEs perform best in the critical areas.

Publisher: IITRI

Reference Number: IITRI #: Project T06168

Sponsoring Organization: US Army CECOM

Producing Organization: IIT Research Institute

Publication Date: 12/88


Proceedings of the Fourth Annual National Conference on Ada Technology

Abstract: This annual conference provides the format and the opportunity to fuse together many disciplines that are considered essential for promoting and accelerating the distribution of Ada knowledge, from the realm of software technologist to the realm of the system engineer and the software practitioner. The papers making up the contents are divided by session: SESSION 1- Commitment to Ada, SESSION 2- Ada Applications 1 ("An Ada Tracker -- Experiences and Lessons Learned," "An Experimental Utilization of Ada in a Real-time Interactive Avionics Communication Application," "A Communications Project in Ada," "The Army's MAFIS Command and Control," "An Ada Tasking Application in an Air Defense System"), SESSION 3- Ada Research/Methodology ("Floating Point Computation Using Ada's Model Numbers," "Development of an Ada Package Library," "Experience with the Integration of Ada Design Methods," "Applying the Spiral Model: Observations on Developing System Software in Ada," "Experience Collecting and Analyzing Automatable Software Quality Metrics for Ada," "The Technology Life Cycle and Ada"), SESSION 4- Ada Impact on Secure Operating Systems, SESSION 5- Ada Education and Training ("Development of a Corporate Ada Training Curriculum," "Using Structured Techniques to Teach Real-time Embedded Computer Applications," "The Implementation of a Graphics Package in Ada," "Experiences of Pascal Trained Students in an Introductory Ada Course," "The Development and Implementation of an Ada Tutorial System," "The Use of Computer-Assisted Instruction in the Areas of Reinforcement and Testing for the L202 Module (Basic Ada Programming) of the U.S. Army's Ada Training Curriculum"), SESSION 6- Ada Application 2 ("Implementation of an Ada Real-time Executive - A Case Study," "Practical Experiences of the Ada Language for Real-time Embedded Systems Development for the Defence-Related Market," "Tactical Database Management System -- An Ada Technology Project for the U.S. Army," "A Practical Approach for Translating FORTRAN Programs to Ada"), and SESSION 7- Ada Program Support Environment and Development Tools ("Verification of Diana Producers and Diana Consumers," "The Back-End of a Multi-Target Compiler," "Automated Drawing of Data Structure Diagrams," "Ada and the PC, Its Time Has Come").

Publisher: U.S. Army CECOM

Reference Number: AD #: A167802

Sponsoring Organization: U.S. Army CECOM

Producing Organization: Host: Atlanta University

Publication Date: 3/86


Proceedings of the Joint Ada Conference, Fifth National Conference on Ada Technology, and Washington Ada Symposium

Abstract: This annual conference provides the format and the opportunity to fuse together many disciplines that are considered essential for promoting and accelerating the distribution of Ada knowledge, from the realm of software technologist to the realm of the system engineer and the software practitioner. The papers making up the contents are divided by session: SESSION 1- Reusability ("An Automated Method of Referencing Ada Reusable Code Using LIL," "Experiences Implementing a Reusable Data Structure Component Taxonomy," "Functional Specifications of Reusable MIS Software in Ada," "A Knowledge Structure for Reusing Abstract Data Types in Ada Software Production," "Ada Reusibility Efforts: A Survey of the State of the Practice," "The Ada Software Repository and Software Reusability"), SESSION 2- Ada Programming Support Environments ("The Interactive Ada Workstation: A Prototype for Next Generation Software Environments," "Methodology in Selecting Tools for a Real-time Embedded Ada Program," "Debugging Concurrent Software Using a General Ada Task State Transition Model." "An Ada Symbolic Debugger for Multiprocessor Embedded Computer Systems," "Distributing the CAIS: A Technical Approach Using the MITRE CAIS Prototype," "PADS: A Working Architecture for a Distributed APSE"), SESSION 3- Applications ("Development of an Operational Flight Control Program in Ada," "Analysis of Ada for a Crucial Distributed Application," "Translation of VHDL to Ada," "Solution of Elliptic Partial Differential Equations Using Parallel Processing and Tasks in Ada Language," "Interactive Discrete Event Simulation in Ada"), SESSION 4- Language Issues ("Machanisms for Abstraction in Ada," "The Role of Explicit Type Management Schemes in the Implementation of Abstract Data Types in Ada," "Programming Paradigms Involving Exceptions: A Software Quality Approach"), SESSION 5- Guidelines and Standards ("Using Ada for Design: What is Gained... What is Lost," "Should the DoD Mandate a Standard Software Development Process?," "The Generation of Ada and an Associated PDL from a Higher-Level Representation"), SESSION 6- Project Management ("Non-Technical Aspects of Using Ada," "The Impact of the Ada Language on Resource Allocation, Programmer Productivity, and Project Performance," "Selection and Use of an Ada Based Program Design Language," "Configuration Control in an Ada Programming Support Environment," "A Compiler Independent Approach to Test and Configuration Management for Ada"), SESSION 7- Methodologies ("Towards a General Object-Oriented Ada Life Cycle," "Building an Elevator Simulation in Ada Using a Process Oriented Methodology and Support Tool," "Lessons Learned in Use of Ada-Oriented Design Methods"), SESSION 8- NASA Application ("NASA Space Station Program: Software Plans and Status," "Developing a Spacecraft Monitor and Control System in Ada," "The Testability of Ada Programs," "Why Ada is Appropriate for the Space Station Program"), SESSION 9- Ada Education and Training ("What is Good Software and How Does Ada Support its Development?," "Ada Education on the Project," "Ada Training for Programming Embedded Systems," "Ada and the Study of Mathematics," "Comprehensive Approach to Teaching Ada"), SESSION 10- Metrics ("Experience Using an Automated Metrics Framework to Improve the Quality of Ada Software," "Ada Software Metrics and Their Limitations," "A Structure Coverage Tool for Ada Software Systems," "Development of Multi-Tasking Software in Ada -- A Case Study," "TAME: Tailoring an Ada Measurement Environment," "Incorporating Metrics into a Software Environment"), SESSION 11- DoD Applications ("Productivity Implications of Ada Generics and Code Generation in Military Formatted Message Processing," "The AFATDS Data Management Software System," "Object-Directed Development of Software Using Ada," "Object Data Bases and Ada," "Ada's Role in the Air Force Software Architecture for the 90's"), SESSION 12- Technology Research ("Formal Semantics of the Data Types of Ada: Abridged Version," "Examining the Modularity of Ada Programs," "Partial Automation of Code Generation with Ada Prespecifications," "A Basic System Expert Tool in Ada," "File Structures for Object-Oriented Software Development"), SESSION 13- Portablility ("Software Portablility in Embedded, Distributed Systems," "A Practical Experience with Ada Portablility," "Experience and Lessongs Learned in Transporting Ada Software"), SESSION 14- Performance Issues ("Ada Performance Issues for Real-time Systems," "Establishing an Ada Runtime Benchmark Capability"), and SESSION 15- Distributed Issues ("Ada Processing Requirements of Parallel Processing Idioms," "A Methodology for Testing Concurrent Ada Programs," "Parallelizing Ada Procedures").

Publisher: U.S. Army CECOM, NASA, U.S. Army ISEC, DC ACM and SIGAda

Reference Number: AD #: A178690

Sponsoring Organization: U.S. Army CECOM, NASA, U.S. Army ISEC, DC ACM and SIGAda

Producing Organization: Host: Howard University

Publication Date: 3/87


Proceedings of the Sixth National Conference on Ada Technology

Abstract: The contents of these proceedings are divided into seventeen sessions: SESSION 1- Metrics ("Test Gen -- Testing Tool for Ada Designs and Ada Code," "Ada Complexity Extension (ACE), An Extension of McCabe's Cyclomatic Complexity Metric for Analysis of Ada Software," "An Investigation into the Compatibility of Ada and Formal Verification Technology," "Ada Software Metrics," "Experience Using an Automated Metrics Framework in the Review of Ada Source for WIS," "Evaluation of Existing Benchmark Suites for Ada"), SESSION 2- Life Cycle Environments ("Industry Use of a Multi-Language Software Development Environment," "A Marriage of Convenience: Developing a Practical APSE for Use with Ada and DoD-STD-2167," "Extensibility in an Ada Programming Support Environment," "A Portable Symbolic Debugger for Debugging Real-time Ada Applications," "A Graphic Design Assistant for Ada and Information Systems," "ESD Acquisition Support Environment (EASE)"), SESSION 3- Distributed Systems ("An Ada Dependent Fault Tolerant Distributed Shortest Path Program," "Automated Incorporation of Upset Detection Mechanisms in Distributed Ada Systems," "Research of the Ada Conversion of a Distributed, Fast Control Loop System," "Implementing Distributed Ada Tasking by Emulating the Rendezvous," "Distributed ADa: Extending the Runtime Environment for the Space Station Program," "Beyond Ada Validation"), SESSION 4- Ada Training and Education 1 ("An Evaluation of Ada Oriented Design Languages," "Formal Concurrent Tasking Paradigms in the Design of Ada Programs," "Ada Projects for an Advanced Course Which Emphasize Machine Specific Aspects of the Language"), SESSION 5- Ada Applications 1 ("Queueing Networks Modeling and Simulation," "The Suitability of Ada for Communications Protocols," "Ada Tools for the Description and Simulation of Digital Signal Processing Systems"), SESSION 6- Ada and Technology Research 1 ("E-MARS -- Embedded Multi-Processing Ada Run-Time Support," "An Ada Implementation of an Interator for Quadcodes," "Programming with Streams in Ada"), SESSION 7- Ada Training and Education 2 (Lessons Learned in Ada Training," "Lessons Learned Teaching Ada in the Context of Software Engineering," "Changing the Student's Perception of Software Lifecycle," "Examination of Some Non-Ada Software from the Perspective of Software Engineering Principles, Processes, and Goals," "An Ada Training Life-cycle Curriculum," "A College Credit Certificate Program in the Ada Programming Language"), SESSION 8- Ada Applications 2 ("Topics of the Data Analysis Software System Design in Ada," "Standard Ada and Organizational Dialects," "Generic Target Acquisition Device," "Adavanced Ada Tasking Techniques for Motor Simulation and Control," "Adaptive Robotic Control in Ada"), SESSION 9- Ada Technology and Research 2 ("A Graphics Oriented Design Methodology for Real-time Control Systems Using Ada," "Race Control for the Validation and Verification of Ada Multitasking Programs," "A Monoprogramming Approach to Host-based Systems," "Concurrent Processing Techniques Applied to Simple Line Drawings," "Satisfying Emergency Communication Requirements with Dynamic Preference Control," "Why Strong Typing was Added to DoD-STD-1838 {the Common APSE Interface Set}"), SESSION 10- Life Cycle Management 1 ("Ada Implementation in Management Information Systems," "Benefits Realized form Using Ada, Modern Software Engineering Practices, and Advanced Environments for Developing Large, Complex Software Systems," "Support Environment Concepts for Cost-Effective Transition to Ada Technology," "Translating Embedded Software to Ada: Practice and Experience," "Software Development Standards: Necessities, Limitations, and Opportunities"), SESSION 11- Reusability ("Kakman Filters in Generic Ada Packages," "A Knowledge-Structure of a Reusing Software Component in LIL," "Reusable Ada Modules for Artificial Intelligence Applications," "The Generic Architecture Approach to Reusable Software," "Searching for Reusable Software Components with the Rapid Center Library System," "The Next Level of Reuse"), SESSION 12- Ada Application 3 ("Ada: Alive and Well in the Army," "Development of an Ada Environment for Communications' Protocol Testing," "Design for Fault Tolerance and Performance in a DoD-STD-2167 Ada Project," "The Development and Retargeting of SECOMO in Ada"), SESSION 13- Ada and Systems Design 1 ("Requirements Engineering and Ada," "Toward an Operations-Oriented Methodology for Ada Real-Time Systems," "SEDL -- An Ada-Based Specification and Design Language," "An Algebra for Real-time Process Decomposition," "Development of Innovative Systems in Ada," "Beyond Ada -- Generating Ada Code from Equational Specifications"), SESSION 14- Life Cycle Management 2 ("Changing Module Interfaces in a Software Development Environment," "Ada Acquisition: A Tailored Approach," "Minimizing Ada Risks Through Benchmarking"), SESSION 15- Real-time Systems ("Implementation of Ada Tasks on General Purpose OS's," "Opportunities for Parallelism in Ada: Language Support and Restrictions on Explicit and Auitomatic Parallelism," "The Ada Execution Analyzer -- Graphical Support for Multitasking Systems"), SESSION 16- Ada Application 4 ("The Application of Ada to a VHSIC Hardware Embedded System," "Abstraction and Terminology Standardization: Necessary Elements for Establishing Comparative Metrics for Software Development Methods," "Lessons Learned in the Implementation Phase of a Large Ada Project"), and SESSION 17- Ada and Systems Design 2("The 'Software First' System Development Methodology," "Graphical Database Management and Its Impact on Ada System Design," "Methodology for Implementing Artificial Intelligence Systems in Ada").

Reference Number: AD#: A190936

Sponsoring Organization: U.S. Army, Navy, Air Force, Marine Corps; AJPO

Producing Organization: Hosts: Norfolk State University, University of Maryland

Publication Date: 3/88


Proceedings of the Seventh Annual National Conference on Ada Technology

Abstract: The contents of these proceedings are divided into nineteen sessions: SESSION 1-Applications ("RAMORA: Reusable Ada Modules for Optimal Resource Allocation," "GENESYS: Embedded Software Tailorability," "An Ada Implementation of the Data Encrypiton Standard in a Real-time Environment," "A Hardware Independent System Development Approach Involving Ada," "Implementation of Blackboard Systems in Ada," "The AN/TSC-99 Redesign Effort"), SESSION 2- Project Management ("Practical Approach to Methodologies, Ada and DoD-STD-2167A," "Lessons Learned in the Preparation of a Software Engineering Exercise," "A Comparison of Methods which Address the Development of Real-time Embedded Systems," "Techniques for Optimizing Ada/Assembly Language Program Interfaces," "System Simulation in Ada for the Project Manager," "The Ada Software Development Methodology Evaluation and Selection Process: Fact or Myth?"), SESSION 3- Distributed Processing (An Ada Designed Distributed Operating System," "PARSIM: A Parallel and Real-time Simulator for Concurrent Programs," "Real-time Pattern Recognition in Ada: On the Formulation of Neutral Net Recognizers by Ada Tasking of Massively Parallel Multicomputers," "TASKIT: An Ada Simulation Tool Kit Featuring Machine Independent Parallel Processing," "Ada Run-time Environment Considerations for Simulation"), SESSION 4- Performance Measurements ("Establish and Evaluate Ada Run-time Features of Interest for Real-time Systems," "Real-time Performance Benchmarks for Ada," "Real-time Ada Demonstration Project," "Modification of LU Factorization Algorithm for Parallel Processing Using Tasks Supported by Ada Language"), SESSION 5- Student Presentations -- Ada and Education ("Learning Ada from Ada," "Problems in Using Ada as a Development Tool," "An Ada System forthe Parallel Execution of FP Programs," "Transferring from Pascal or C to Ada," "Two Approaches to Ada: The Procedural {Pascal} Approach and the Object-Oriented {C++} Approach"), SESSION 6- Student Presentations -- Lessons Learned and Experimentation ("On Inclusion of the Private Part in Ada Package Specification," "What is the Object in Object-Oriented Programming?," "A Two-Phase Reproduction Method for Ada Tasking Programs," "Problems Encountered in Learning Object-Oriented Design Using Ada," "Quest for Usability in Ada Generics"), SESSION 7- Student Presentations -- Ada Development Issues ("Design Considerations Affecting Implementation of Byzantine Agreement Protocols in Ada," "Upgrading a Lisp Prototype {Advisor} to a System in Ada," "An Implementation of the Standard Math Functions in Ada," "Decomposition Schemes for Static and Dynamic Analysis of Ada Programs"), SESSION 8- Applications ("An Object-Oriented Approach to Simulating a Real-time System in Ada," "Ada Implementation of Operating System Dependent Features," "Implementation of a Real-time Elevator Control Simulation System Using the Ada Language"), SESSION 9- Project Management ("Procurement of Air Traffic Control Software in Ada," "The Use of a Software Engineering Exercise During Source Selection," "An Approach to Ada Compiler Acceptance Testing"), SESSION 10- Technology Research ("Software Metrics Analysis of the Ada Repository," "Ada Implementation of Sequential Correspondent Operations for Software Fault Tolerance," "Ada --POSIX"), SESSION 11- Education/Training ("Ada Summer Seminar -- Teaching the Teachers," "Training COBOL Programmers in Ada," "Teaching Ada from the Outside-In," "An Intermediate-Level Problem Set for Experienced Programmers or Writing Ada Code that Achieves the Language Goals," "A 10-Day Ada Course for the Industry," "Integrating Ada Training with Software Development," "The SEI Education Program," "Evaluation of Teaaching Software Engineering Requirements Analysis {SERA}"), SESSION 12- Life Cycle Environments ("Ada Abstract Data Types -- The Foundation of an Interactive Ada Command Environment," "A Software Engineering Documentation Environment," "Documentation Generation System," "Reducing Software Development Costs with Ada"), SESSION 13- Life Cycle Management ("The National Training Center Move and Upgrade: A Distributed Ada System," "Software Quality Assurance in an Ada Environment," "Implementing Software First with Today's Technology," "Lessons Learned in Developing Requirements"), SESSION 14- Reuse ("Tangram-L -- A Program Description Language for Ada," "AdaL, An Automated Code Reuse System," "Reusable Subsystems from a High Performance Ada Communication System"), SESSION 15- Reuse ("Constructing Domain-Specific Ada Reuse Libraries," "Ada, Hypertext, And Reuse," "Disciplined Reusable Ada Programming for Real-time Applications," "The Morehouse Object-Oriented Reuse Library System," "Reuse and the Software Life Cycle"), SESSION 16- Life Cycle Productivity ("A Logical Framework for Version and Configuration Management of Ada Components," "Designing for Change: An Ada Design Tutorial," "A Portable Ada Implementation of Blocked_IO," "Developing a Universal Ada Test Language for Generating Software/System Integration and Fault Isolation Test Programs," "A DIANA Query Language for the Analysis of Ada Software"), SESSION 17- Testing and Evaluation ("Ada Compiler Validation: Purpose and Practice," "How to Live with Text_IO," "Automatic Test Data Generation and Assertion Testing for Ada Program Units"), SESSION 18- Designing for Ada ("Practical Advice for Designing Ada System Architectures," "Ada Design Tool," "Objects with Multiple Representations in Ada"), and SESSION 19- Life Cycle Productivity ("A Software Development Tool Using Ada -- Pseudo Code Management System," "Data Reduction: An Ada Generic Methods," "A Method of Translating Functional Requirements for Object-Oriented Design").

Reference Number: AD#: A217979

Sponsoring Organization: ANCOST, Inc.

Producing Organization: Hosts: Monmouth College, Penn State/Harrisburg, etc.

Publication Date: 3/89


Proceedings of the Eighth Annual National Conference on Ada Technology

Abstract: The papers contained in these proceedings are arranged by session: SESSION 1- Education/Training ("Introducing Ada as a New Language in a Software Engineering Course," "Teaching Software Engineering with Ada," "Designing an Ada Tutorial Using Object-Oriented Design," "The Design of a PC-Based CAI Program in Ada," "A First Programming Exercise Using Ada Tasking: The Odometer," "A Student Project to Develop a Distributed Flight Simulator in Ada"), SESSION 2- MIS Ada/SQL ("Interfacing Ada and SQL: The Two Layer Approach," "A Practical Ada/SQL Implementation," "Creating a Database Application Using the SQL Ada Module Extension {SAME} Method"), SESSION 3- Embedded Applications ("FED Successfully Solved the Ada, Software Engineering/DoD-STD-2167A Algorithm," "Developing an In-House VHDL Capability," "Ada in an Embedded Real-time Environment," "On the Design of a Protected Interface to a C-2 System"), SESSION 4- Ada Language Issues ("Reusability and Verification of Generics in Ada," "Engineering for Reuse Using Procedure Types," "Disgorging Ada 9X Revision Requirements Issues from the Ada Issues and Commentaries"), SESSION 5- MIS Lessons Learned ("Software Engineering, Software Development Methodologies -- Emphasis on Lessons Learned," "An MIS Ada Practicum," "Commercial MIS Business Systems, Object-Oriented Development and Ada"), SESSION 6- Life Cycle Environments 1 ("Procedures for Computer-Aided Ada Software Engineering Tool Assessment," "CASE Tools Supporting Ada -- Reverse Engineering: State of the Practice," "The Ad aLanguage System/Navy Project"), SESSION 7- Ada Packages ("An Ada Graphics Package for Personal Computers," "Problems with Ada Numerics Routines," "Intelligent Ada Tutor," "Software Engineering Project Using Ada to Express Requirements, Specifications, and Design for a System to Solve the Quadratic Equation"), SESSION 8- Applications ("Petri Net Modeling of Ada Programs for Deadlock Detection and Metrics," "Problems in Porting and Maintaining Ada Software," "Design of Integrity Kernels for Distributed Systems," "A Clean Solution to the Readers-Writers Problem without the COUNT Attribute," "Use of Ada for Expressing Requirements Specifications for a System for the Automation of Air Traffic Controller's Assistant's Assistant"), SESSION 9- CASE ("Automated Ada Versus Hand Written Ada Code," "Ada and the Software Engineering Life Cycle," "An Environment for Testing Ada Programs Implemented in Ada," "Reusability and Extensability in Ada," "Some Ada Generic Packages for Tasks Communications"), SESSION 10- Project Management ("Preparing Non-Ada Personnel for Transitioning into the Ada World," "Managing Ada Software Development in the Real World," "Transition to AdaBIS"), SESSION 11- Software Development ("A Comparison Between Functional Decomposition and Object-Oriented Methodologies," "An Ada Plasma Panel Controller," "A Structured Stepwise Refinement Method for VDM," "Formal Design Methods for Dynamic Ada Architectures," "Ada Excepitons and Fault-Tolerance," "A Better Approach to Software Engineering"), SESSION 12- Distributed/Parallel Processing ("Increasing System Reliability through Multi-Level Fault-Tolerance," "Designing Parallel Data Types for Ada," "The Portable Common Execution Environment {PCEE}"), SESSION 13-Life Cycle Environments 2 (" Ada Composite Benchmark for Intelligence/Electronic Warfare Systems," "Proof Method for Ada/TL Temporal Specifications," "Automatic Production of MIL/DoD/NASA-Std Documentation," "The Intelligent Test Bed: A Tool for Software Development and Software Engineering Education," "An Implementation of Testing and Debugging Tools for Concurrent Ada Programs"), SESSION 14- Reuse 1 ("Software Reuse: Managerial and Technical Guidelines," "The Economics of Software Reuse: Issues and Alternatives," "Economic Analysis of Software Reuse on Large Ada Projects"), SESSION 15- Reuse 2 ("RAPID -- Lessons Learned During Pilot Operation," "Domain Analysis within the ISEC RAPID Center," "Repository Support for a Reuse Process," "Software Reclamation," "Literate Programming for Reusability: A Queue Package Example," "Should Data Abstraction be Violated to Enhance Software Reuse?"), SESSION 16- Metrics ("Measurement of Ada Throughout the Software Development LifeCycle," "Software Reliability Prediction and Management," "Effectiveness Measures for the Software Process," "Measuring Coupling of Ada Program Modules," "Analysis of Portability of AFATDS Concept Evaluation Source Code for Reuse on ATCCS Common Hardware Software," "Experience Using an Automated Metrics Framework in the Review of Ada Source for AFATDS"), SESSION 17- System Development ("A Performance-Oriented Development Methodology for Distributed Real-time Systems," "A Development Interface for an Expert System Shell," "The Automatic Translation of Lisp Applications into Ada"), and SESSION 18- Life Cycle Productivity ("Portability: A Key Element in Life Cycle Productivity," "An Ada Runtime Supervisor Simulator," "The Resolution of Performance Problems in an Ada Communication System").

Reference Number: AD#: A219777

Sponsoring Organization: ANCOST, Inc.

Producing Organization: Hosts: Morehouse College, Georgia Institute of Technology, etc.

Publication Date: 3/90


Proceedings of the Ninth Annual National Conference on Ada Technology

Abstract: The papers contained in these proceedings are arranged by session: SESSION 1- Real-time Issues ("Managing Throughout When Using Ada in a Hard, Real-time System," "Evaluation of Real-time Distributed Systems Using Ada Concurrency," "A Dynamic Preference Control Solution to the Readers and Writers Problem"), SESSION 2- Reuse 1("The RAPID Center Reusable Software Components (RSCs) Certification Process," "STARS Asset Management System," "Software Reuse Progress"), SESSION 3- Management ("An Integrated Approach to Ada Project Planning," "Managing the Ada Conversion and Integration of Mission Critical Defense Systems," "On Decomposing Ada CSCI of a Large Command and Control System into TLCSCs, LLCSCs, and Units"), SESSION 4- Technology Research 1 ("Automatic Programming Systems for Ada: Theory and Practice of Object-Oriented Methods of Program Specification from Requirements," "An Approach to Ada Implementation of an Associative Memory System," "Incorporating Garbage Collection and Persistence Within Ada"), { NO SESSION 5 } , SESSION 6- Reuse 2 ("Analysis of Software Reuse on AFATDS Concept Evaluation," "A Methodology for the Evaluation of Reusable Ada Software Libraries," "Facilitating Reuse in a Software Engineering Environment"), SESSION 7- Metrics ("Measuring Ada Design to Predict Maintainability," "A Software Metrics Database: Support for Analysis and Decision-making," "A Distributed Compilation Environment -- Lessons Learned"), SESSION 8- Technology Research 2 ("Incremental Operational Specifications for the Verification of Ada Programs," "N-Version Programming Using the Ada Tasking Model," "Concurrency in Ada and VHDL"), SESSION 9- Applications ("Developing Interface Standards for Ada Systems," "A Layered Architecture for DBMS Interactions from an Ada Application"), SESSION 10- Education 1 ("Adopting Ada as a Primary Undergraduate Programming Language," "Classroom Activities for an Advanced Ada Class"), SESSION 11- Environments ("Architecting Distributed Real-time Ada Applications: The Software Architect's Life Cycle Environment," "Universal Network Architecture Services: A Portability Case Study," "The Catalyst Software Software Engineering Environment"), SESSION 12- Process and Methods 1 ("Transforming the 2167A Requirements Definition Model into an Ada Object-Oriented Design," "An Overview of the Clear Lake Life Cycle Model (CLLCM)," "Quality Assurance Requirements for an Evolutionary Development Methodology"), SESSION 13- Education 2 ("Software Engineering Education -- 'An Experiment'," "Leveraging CBT in Universities to Produce Productive Ada Students for Industry," "An Ada-Based Translator Writer System"), { NO SESSION 14 }, SESSION 15- Process and Methods 2 ("Quality Assurance Using Ada and DoD-STD-2167A," "A Look at SEI Software Process Assessments"), and SESSION 16- Secure Systems ("The Mystery: Why do Many of the Variables Declared in Ada Programs Model Conceptually Invariant Objects," "Programming Practices Relating to Minimal Visibility and Minimal Interaction").

Reference Number: AD#: A233469

Sponsoring Organization: ANCOST, Inc.

Producing Organization: Host: Coppin State College

Publication Date: 3/91


Post Naval Graduate School THESIS: A Conceptual Design of a Software Base Management System for the Computer Aided Prototyping System

Abstract: This thesis builds upon work previously done in the development of the Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL), and presents a conceptual design for the Software Base Management System (SBMS) component of CAPS. The SBMS is the most critical component of CAPS, as it will coordinate the retrieval and integration of Ada software modules. A robust SBMS that enables a software system designer to successfully retrieve reusable Ada components will expedite the prototype development process and enhance designer productivity. Implementation of the conceptual design will be the basis for further work in this area.

Author: Galik, Daniel

Publisher: Naval Postgraduate School

Publication Date: 12/88


Design Specification for Test and Evaluation of the NATO Common Ada Programming Support Environment (APSE) Interface Set (CAIS) Implementation

Abstract: A North Atlantic Treaty Organization (NATO) Special Working Group (SWG) on Ada Programming Support Environments (APSEs) was established in October 1986. Its charter is to develop a tool set that constitutes an APSE, to evaluate the APSE on both an individual component basis and on a holistic level, and to define a NATO interface standard for APSEs. A specific task within the associated MITRE work program is to develop the design to perform test and evaluation of SWG Common APSE Interface Set (CAIS) implementations. The SWG CAIS is the agreed-upon tool interface set for the NATO effort and is variant of the CAIS standard, DOD-STD-1838. CAIS provides a standard set of kernel interfaces for APSE tools, thus promoting portability of tools across disparate architectures. The SWG CAIS is complex; there are over 500 unique interfaces defined in 29 Ada packages with over 1,600 possible error conditions. This report outlines an approach and specifies the design for the development of the test and evaluation environment. The design outlines the tests to be developed and discusses attributes of the test environment that influence the design of the test suite. This test suite will include two categories of tests, one for nominal functionality and completeness of the interfaces and one for overall usability of SWG CAIS capabilities. This report provides the design for the proposed test and evaluation of two SWG CAIS implementations installed on two different host architectures.

Author: Haydon, Deborah, et al.

Publisher: MITRE

Sponsoring Organization: AJPO

Producing Organization: MITRE

Publication Date: 2/89


Annotated Bibliography of Software Engineering Laboratory Literature

Abstract: This document is an annotated bibliography of technical papers, documents, and memorandums produced by or related to the Software Engineering Laboratory. More than 100 publications are summarized. These publications cover many areas of software engineering and range from research reports to software documentation. All materials have been grouped into seven general subject areas for easy reference: 1- The Software Engineering Laboratory, 2- Software Tools, 3- Software Models, 4- Software Measurement, 5- Technology Evaluations, 6- Ada Technology, and 7- Data Collection.

Author: Heller, Gerard

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-82-706

Publication Date: 1/89


Collected Software Engineering Papers

Abstract: This document is a collection of technical papers produced by participants in the Software Engineering Laboratory (SEL). The purpose of the document is to make available, in one reference, some results of the SEL Research on three major categories: 1- Software Engineering Laboratory, 2- Technology Evaluation, and 3- Software Measurement.

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-86-004

Publication Date: 11/86


Citations from Information Services for the Physics & Engineering Communities INSPEC Database: Ada Programming Language

Abstract: This document contains an NTIS Published Search for resources on the Ada Programming Language. The bibliography contains citations concerning the high order programming language Ada. The abstracts reference reports on the design, implementation, grammar, compilers, and programming methodology for Ada. Many references pertain to microcomputers designed to use Ada, and other references discuss implementation probelms. Many examples are given for using Ada in real-time programming, or mulitprogramming, applications. [Supersedes PB87-852877]

Publisher: NTIS

Reference Number: NTIS #: PB88-856323

Sponsoring Organization: IITRI

Producing Organization: NTIS

Publication Date: 1/88


Report of the DoD Joint Service Task Force on Software Problems

Abstract: The opportunities and problems posed by computer software embedded in DoD weapon systems were investigated by a joint Service task force. Existing studies were combined with the observations of DoD project managers by the software experienced task force members. The task force concluded that software represents an important opportunity in regard to the military mission. Further, it was concluded that technological excellence in software is an important facto in maintaining US military superiority, but that the many problems facing DoD in software endangers this superiority. Therefore, it is recommended that the DoD take a leadership role in establishing an embedded computer software initiative with strong joint Service cooperation and that includes both academia and industry as willing participants. The initiatives should address acquisition and management practices, technology R&D and utilization, and development and use of expertise. KEY WORDS: acquisition, change, embedded computer systems, life cycle, military supremacy.

Author: DoD Joint Service Task Force on Software Problems

Publisher: Deputy Under Secretary of Defense - Research and Advanced Technology

Publication Date: 7/82


Proceedings of the Fifth Washington Ada Symposium (WAdaS)-- Ada: The State of Technology

Abstract: The papers contained in these proceedings are arranged by date of presentation: TUESDAY- "A Development Methodology for Distributed Ada Applications," "Ada Reuse in the Context of an Ada Programming Support Environment," "An Ada Interface to DIANA for Inter-Tool Communication," "Device Driver Development in Ada: A Case Study," "An Implementationof Asynchronous I/O for Ada," "Issues in Implementing Ada on Multiprocessors"; WEDNESDAY- "Development of an Interoperability Tool for Software Engineering Environments," "A Window Based Visual Debugger for a Real-time Ada Tasking Environment," "The Second Ada Project: Reaping the Benefits," "Experiences in the Implementation of a Large Ada Project," "Using Ada as a Language for a CAD Tool Development: Lessons and Experiences," "Modular Communications Gateway in Ada," "On Implementing the OSI Model in Ada via Tasking," "ALEXI: A Case Study in Design Issues for LISP Capabilities in Ada"; and THURSDAY- "Space Station Software: Progress and Plans," "Aoftware Engineering and Ada Training: An Implementation Model for NASA," "Object-Oriented Analysis," "An Object-Oriented Specification Method for Ada," "Transitioning from Structured Analysis to Object Orienterd Design," "Integrating Ada Desgin Graphics into the Ada Sofwtare Development Process," "Two Object Oriented Decomposition Methods," "Layered Virtual Machine/Object-Oriented Design."

Sponsoring Organization: ACM, NASA/GSFC, FAA

Producing Organization: Host: Software Productivity Consortium

Publication Date: 6/88


Requirements for IV & V of the NATO Common Ada Programming Support Environment (APSE) Interface Set (CAIS) Implementation

Abstract: A NATO Special Working Group (SWG) on Ada Programming Support Environments (APSE) was established in October 1986. Its charter is to develop a tool set that constitutes an APSE to evaluate the APSE on both an individual component basis and on a holistic level, and to define a NATO interface standard for APSEs. A specific task within the associated MITRE work program is to develop the requirements to perform testing of the Common APSE Interface Set (CAIS) for the SWG. The SWG CAIS is the agreed upon tool interface set for the NATO effort, and is a variant of the CAIS standard, DOD-STD-1838. CAIS provides a standard set of kernel interfaces for APSE tools thus promoting portability of tools across disparate architectures. The SWG CAIS is complex; there are over 500 unique interfaces defined in 29 Ada packages with over 1600 possible error conditions. This report outlines a strategy and specifies the requirements for the development of a test environment that include a test administration function that will provide control over execution of the tests and management of the test results and a test suite whose tests will be defined based on the syntax and semantics defined in the SWG CAIS specification. This test suite will focus on nominal functionality and completeness of critical interfaces. The test environment will be incrementally developed to correspond to phased deliveries of the SWG CAIS implementations. There will be two SWG CAIS implementation installed on two different host architectures. This report outlines the requirements to perform testing on either implementation.

Author: Mularz, Diane, et al.

Publisher: MITRE

Sponsoring Organization: AJPO

Producing Organization: MITRE

Publication Date: 10/88


Defense Industry Briefing: STARS Software Technology for Adaptable, Reliable Systems

Abstract: This document contains paper copies of viewgraphs used in a presentation on the STARS program. Briefing titles include Program Overview; Software Engineering Environment; Methodology; Measurement; Human Resources; Business Practices; and Applications.

Author: Batz, Joseph C., et al.

Publisher: STARS

Publication Date: 4/85


Concept Paper for the Development of a DoD Ada Software Engineering Education and Training Plan

Abstract: The Ada Joint Program Office (AJPO) was established in September, 1980, to manage the Department of Defense (DoD) efforts to implement, introduce, and provide life-cycle support for Ada. As part of this charter, it is the role of the AJPO to address Ada education and training. The goal of this document is to set forth the concepts necessary for Ada software engineering education and training. These concepts will result in an effective use of Ada in the shortest time possible to realize cost savings and achieve reliability and adaptability in computer software development. The full potential of Ada cannot be realized without appropriate education and training.

Author: McDonald, Catherine, et al.

Publisher: IDA

Reference Number: IDA #: Memorandum Report M-7

Sponsoring Organization: AJPO

Producing Organization: IDA

Publication Date: 11/84


Public Report: Ada Software Engineering Education and Training (ASEET) Team

Abstract: The ASEET Team was established by the AJPO to (1) coordinate the activities of DoD organizations engaged in meeting education and training needs of the DoD and (2) ensure that all DoD Ada education and training is of the highest possible quality and conducted from a software engineering perspective. The ASEET Team established four working groups: Education and Training Requirements Working Group (ETRWG), Courseware Working Group (CourseWG), the Professional Development Working Group (ProDWG) and the Coordination Working Group (CoWG). One of the responsibilities of the CoWG is the preparation and publication of an annual public report. This public report describes the activities of the ASEET Team during fiscal year 1988 (FY88). It includes: 1- the ASEET Plan, Version. 2.0 that was approved by the AJPO in October 1987 (all work done during FY88 was based on this plan), 2- annual reports prepared by the working group chairs and submitted to the AJPO, 3- table of contents from the Third Annual ASEET Symposium, and 4- current ASEET Team membership.

Publisher: ASEET

Sponsoring Organization: ASEET

Producing Organization: Coordination Working Group

Publication Date: 10/88


Reusability Guidebook

Abstract: This document concentrates on the topic of reusable software. It is perceived that enormous gains can be achieved over dominate practices of the early '80s to increase productivity of system function attainable from an individual human, and their automated assistants, through prudent reuse of existing code "as is," or as modified and concentration on new functional requirements and attainment of system performance requirements, through concentration on areas needing to be streamlined. This document does not specifically address means to increase a human's ability to create completely new-function lines of code that cannot build upon the existing part inventory.

Author: Wald, Bets, et al.

Publication Date: 9/86


Next Generation Computer Resources

Abstract: This document includes text and paper copies of viewgraphs for a paper and presentation on next generation computer resources. The paper and briefing explain the Navy's goal (to deploy effective computational resources at reasonable cost) and the Naval Research Advisory Committee's findings and recommendations.

Publisher: Office of the Assistant Secretary of the Navy -- Naval Research Advisory Committee

Reference Number: NRAC #: 89-3

Publication Date: 2/89


From the Proceedings of the Seventh Annual National Conference on Ada Technology: Ada from a Management Perspective (Presentation)

Author: Engle, Charles and Anthony Dominice

Sponsoring Organization: ANCOST, Inc.

Producing Organization: Hosts: Monmouth College, Penn State/Harrisburg, etc.

Publication Date: 3/89


Software Management Metrics

Abstract: The metrics presented in this document are used to monitor the progress of a software development effort. They provide visibility into developing trends and thereby can be used to forecast potential problems. These metrics are based on Government and industry experiences with a previous set of metrics known as "Software Reporting Metrics" and on an evaluation and analysis of their use.

Author: Schultz, Herman P.

Publisher: MITRE/USAF, ESD

Reference Number: MITRE #: M88-1; USAF #: ESD-TR-88-001

Sponsoring Organization: USAF, Electronic Systems Division, AFSC, Hanscom AFB

Producing Organization: MITRE Corp

Publication Date: 5/88


The Impact of Ada on Software Development Costs

Abstract: This report presents the results of TASC's analysis of the impact that Ada will have on the cost of software development. Chapter 2 provides a technical discussion of the major issues and features of Ada which will have an effect on the software development process. Chapter 3 proposes both short-term and long-term approaches for incorporating the results of the technical analysis into the software cost estimating process. Chapter 4 summarizes the results of this effort and the recommendations for estimating development costs in Ada.

Author: Healy, Richard D. and Najberg, Andrew C.

Publisher: The Analytic Sciences Corporation

Reference Number: The Analytic Sciences Corporation #: TR-4612-5-2

Sponsoring Organization: Hanscom AFB, Electronic Systems Division, Directorate of Cost Analysis

Producing Organization: The Analytic Sciences Corporation

Publication Date: 10/84


Research Opportunities for Breakthrough Initiatives

Abstract: This document contains briefing material designed to stimulate proposals for innovative "breakthrough initiatives" from the software research community. The material is organized into six general areas: 1- Software First Lifecycle, 2- Ada Environment, 3- Prototyping and Incremental Development, 4- Software Quality and Reliability, 5- Reuse Methods, and 6- Repository Operations.

Author: Software Engineering Technology, Inc. staff

Publisher: Software Engineering Technology, Inc.

Sponsoring Organization: STARS

Producing Organization: Software Engineering Technology, Inc.

Publication Date: 3/89


Human-Machine Interaction Considerations for Interactive Software

Abstract: This document introduces current concepts and techniques relevant to the design and implementation of user interfaces. A user interface refers to those aspects of a system that the user refers to, perceives, knows and understands. A user interface is implemented by code that mediates between a user and a system. This document covers both aspects.

Author: Bass, Len and Joelle Coutaz

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-89-TR-4

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 2/89


Proceedings of the National Conference on Methodologies and Tools for Real-Time Systems: Software Reuseability and Maintainability

Abstract: The program comprises seventeen presentations, arranged by section: SECTION A- Keynote Address, SECTION B- A Practical System for Source Language Translation, SECTION C- The WWMCCS Source Language Translation Project, SECTION D- Object-Oriented Programmingm, Software -- ICs and System Building, SECTION E- Transportable Software Designs Using Expert System Technology, SECTION F- A Practical Approach to Ada Reusability, SECTION G- CAMP: Common Ada Missile Packages, SECTION H- Creating Reusable Ada Software, SECTION I- The PAMELA Methodology with the AdaGraph Support Tool, SECTION J- Reusable Software Component Engineering, SECTION K- Applications in Reverse Software Engineering, SECTION L- Generating a PSL Design Database from Source Code, SECTION M- Development Imperatives for Life Cycle Maintainability, SECTION N- Maintainability and Reusable Program Designs, SECTION O- Reusable Software PArts Paradigm and Automatic Program Synthesis, SECTION P- Reusable Software Concepts and Software Development Methodologies, SECTION Q- RNTDS: Restructured Naval Tactical Data Systems, and SECTION R- A System Building Strategy with Reusable Software Components.

Publisher: The National Institute for Software Quality and Productivity

Sponsoring Organization: The National Institute for Software Quality and Productivity

Publication Date: 9/86


IEEE Standard Glossary of Software Engineering Terminology

Abstract: The purpose of this paper is to identify terms currently used in software engineering and to present the current meanings of these terms. It is intended to serve as a useful reference for software engineers and for those in related fields , as will as to promote clarity and consistency in the vocabulary of software engineering.

Author: Software Engineering Technical Committee of the IEEE Computer Society

Publisher: IEEE Computer Society

Reference Number: IEEE #: Std 729-1983

Publication Date: 1/83


Proceedings of the CAIS/CIG/SEI Workshop

Abstract: The purpose of this paper is to document the general areas of discussion on CAIS Security requirements, the CAIS and other environment development efforts (including PCTE, the WIS Operating System, UNIX, etc.), Input/Output packages in the CAIS, the CAIS package LIST_UTILITIES, Distributed CAIS, CAIS and the Space Station, and a list of issues brought forth by the implementors. The contents of these proceedings are arranged by section: 1- Introduction, 2- Status of CAIS-Related Activities, 3- Security Issues, 4- General Package Structure, 5- CAIS Iterators, 6- WIS Operating System (WOS) and the CAIS, 7- IMPORT/EXPORT and the CAI"S, 8- LIST_UTILITIES, 9- Exceptions in LIST_UTILITIES, 10- Alternate Interfaces in the CAIS, 11- CAIS and the PCTE, 12- CAIS Usability and Implementability, 13- Tools in the CAis, 14- Performance in the CAIS, 15- User Interfaces and General CAIS Input/Output, and 16- Recommendations.

Author: Roby, Clyde (ed)

Publisher: IDA

Reference Number: IDA Paper: P-1925

Sponsoring Organization: AJPO

Producing Organization: IDA

Publication Date: 1/86


Fourth Annual ASEET Symposium Proceedings

Abstract: The papers included in these proceedings are arranged by date of presentation: WEDNESDAY, JUNE 14, 1989 ("Software Maintenance Exercises for a Software Engineering Project Course," "Software Engineering and Ada Database System (SEAD)," " Why Ada is (Still) My Favorite Data Structures Language," "Ada in the University: Data Structures with Ada," "Ada and Data Structures: 'The Medium is the Message'," "A Healthy Marriage: Ada and Data Structures," "Teaching Old Dogs New Tricks," "Process Control Training for a Software Engineering Team," "Ada Training at Keesler AFB," "Integrating Ada into the University Curriculum: Academia and Industry: Joint Responsibility," "Making the Case for Tasking through Comparative Study of Concurrent Languages," "Teaching the Ada Tasking Model to Experienced Programmers: Lessons Learned," "Ada: Helping Executives Understand the Issues") and THURSDAY, JUNE 15, 1989 ("The Pedagogy and Pragmatics of Teaching Ada as a Software Engineering Tool," "Incorporating Ada into a Traditional Software Engineering Course," "Motivation and Retention Issues in Teaching Ada: How will Students Learn Software Engineering When Their Only Goal is Ada on their Resume?," "Use of Programs and Projects to Enhance a Software Engineering Using Ada Course," "Software Design with Ada: A Vehicle for Ada Instruction," "Transitioning to Engineered Ada in the Small Liberal Arts College," "A HyperCard Prototype of a CASE Tool in Support of Teaching the Berard Method of Object Oriented Development in an Undergraduate Course").

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 5/89


The Ada Compiler Validation Capability Implementer's Guide

Abstract: This document is the Ada Implementers' Guide component of the Ada Compiler Validation Capability (ACVC). It describes implementation implications of the Ada Language Reference Manual (RM), and the conditions to be checked by validation tests. It follows the structure and numbering of the RM, with some additional sections, designated with letters to distinguish them from the RM. The primary purpose of the ACVC is to help decide whether Ada translators conform with ANSI/MIL-STD-1815A-1983. Its other components are Test Programs to be submitted to a compiler, and Validation Support Tools, which assist in preparing tests for execution and in analyzing the results of executions.

Author: Goodenough, John B.

Publisher: SofTech, Inc.

Sponsoring Organization: ACVC Maintenance Organization

Publication Date: 8/89


Ada Board Report: Ada Board's Recommended Ada 9X Strategy

Abstract: This document presents a discussion of recommendations to the Ada Joint Program Office (AJPO) on the most appropriate standardization process to use in developing the revised Ada standard.

Author: Ada Board

Publisher: DoD

Sponsoring Organization: Office of the Under Secretary of Defense for Acquisition

Producing Organization: Ada Board

Publication Date: 1/89


First Annual Survey of Mission Critical Application Requirements for Ada Runtime Environments

Abstract: This is the final report of an initial survey of application requirements. At this time, a second survey is planned for execution in 1988 incorporating the following: more tutorial articles, reader contributions, and "lessons learned" from this survey.

Author: Ada Runtime Environment Working Group of the ACM SIGAda

Publisher: Ada Runtime Environment Working Group of the ACM SIGAda

Publication Date: 12/87


Revision of DoD Directive 5000.31: Interim Policy on Computer Programming Languages

Abstract: This Directive specifies the computer programming languages authorized for use in Defense mission critical applications.

Publisher: OUSD

Reference Number: DoD Directive 5000.31

Publication Date: 1/83


Proceedings of the Ada-Europe International Conference -- Ada: The Design Choice

Abstract: The contents of this proceeding are made up of twenty-four contributions chosen by the referees and Programme Committee from seventy-three abstracts received for the conference. The papers are arranged into six parts: PART 1- Language Extensions ("Ada++: A Class and Inheritance Extension for Ada," "Dynamic Building and Inheritance in an Object-Oriented Ada Design," "Language Extensions to Allow Rapid Mode Shifting in Ada Programming Language"), PART 2- Real-time Design ("DRAGOON: An Ada Based Object-Oriented Language for Concurrent, Real-time, Distributed Systems," "A Practical Real-time Design Method for Ada," "Practical Experiences in Ada and OOD in Real-time Distributed Systems," "A Portable Common Execution Environment for Ada," "PROMETHEE: Designing a Process Control System," "Ada Tools for Rapid Prototyping of Real-time Systems"), PART 3- Real-time Scheduling ("Hard Real-time Systems and Ada," "Comprehensive Race Controls: A Versatile Scheduling Mechanism for Real-time Applications," "A Review of Analytic Real-time Scheduling Theory and its Application to Ada"), PART 4- Design Languages ("ADADL and AISLE -- An Ada-Based PDL and Supporting Toolset which encourage the Use of Ada During Design," "Formalising the Design of Ada Systems using LOTOS," "From Algebraic Specifications to Correct Ada Programs: The Esprit Project PROSPECTRA"), PART 5- Implementation Issues ("Design for High Performance," "Elaboration and Termination of Distributed Ada Programs," "A Storage Model for Ada on Hierarchical-Memory Multiprocessors"), and PART 6- Practical Experiences ("Designing a Flight Control Program with Ada," "The Use of JSD and Ada on the Submarine," "CORADA: An Expert System Compiler into Ada," "Observations on Portable Ada Systems," "Synthesizing Software Development Using Ada," "Ada Mechanisms to Obtain Concurrency in GKS").

Author: Alvarez, Angel (ed)

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-38130-4

Sponsoring Organization: CEC

Publication Date: 6/89


Proceedings of the Ada-Europe International Conference -- Ada in Industry

Abstract: These proceedings provide an informed survey of the impact of Ada upon industry and commercial research. The papers making up contents are divided into six parts: PART 1- The Ada Workbench ("NASA Software Support Environment: Configuring an Environment for Ada Design," "Configuration Management and Version Control in the Rational Programming Environment," "A Graphic Workstation for Ada," "Programming-in-the-Large with the System-Oriented Editor," "IDEFIX: Debugging Ada Tasks with User-Defined Timing Constraints," "Using Mutation Analtsis for Testing Ada Programs"), PART 2- Industrial Ada Applications ("The Use of Ada in a Large Shipborne Weapon Control System," "Ada for CATCAS: a New Era in Air Traffic Control," "The Applicability of Ada to High Level VLSI Design Tools," "TRANSIT: An Ada Package for Multitasking, with an Application to Airport Simulation"), PART 3- Introducing Ada ("Practical Methods for Introducing Software Engineering and Ada into an Actual Project"), PART 4- System Design with Ada ("Design and Development of Distributed Software Using Hierarchical Object Oriented Design With Ada," "Combining CSP and Meta-IV into an Ada Related PDL for Developing Concurrent Programs"), PART 5- Tailoring the Ada Environment ("AdLog: An Ada Components Set to Add Logic to Ada," "A Pilot Implementation of Basic Modules for a Portable Numerical Library," "AdaVIEW: A Data Sublanguage for Ada," "Ada in Safety Critical Applications"), and PART 6- Interfaces for Ada ("Evaluating Tool Support Interfaces," "A Standard Interface to Programming Environment Information").

Author: Heilbrunner, Stephan (ed)

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-36347-0

Publication Date: 6/88


Proceedings of the Sixth Washington Ada Symposium (WAdaS)

Abstract: The papers contained in these proceedings are arranged by date of presentation: TUESDAY- "Panel: Ada Implementation Plans," "Experience with Ada and the 2167 Software Detailed Design Document," "Using Information Engineering and Ada Object-Oriented Design Methods in Concert -- A Case Study," "Using Multi-Level Design Method Under DoD-STD-2167A," "Automated Test Support for Ada PDL," "A Graphical Trace Analysis Tool for Ada Real-time Embedded Systems," "TestGen -- Testing Tool for Ada Designs and Ada Code," "Structured Tasks," "Ada Language Considerations for Concurrency Analysis," "The Ada-IDAS Project Monitoring Task States," "Creating an Integrated Software/Systems Engineering Environment," "Realizing Software Productivity Through a Software First Design Process Toolset," "Computation of Software Quality Indicators Tailored for Ada Using the Rational R1000 Ada Development Environment Tools"; WEDNESDAY "A Life Cycle Based Approach to Ada Software Configuration Management," "A Circular Model for Software Development," "Evolution of Ada Technology in a Production Software Environment," "An Ada Design for the Windowing, Tasking, and Processing of Multi-Dimensional Large Arrays," "The SuperSwift Real-time Executive -- An Astonishingly Elegant Solution to an Age Old Problem," "Binding as a Mechnism to Support Reusability In a Distributed Ada Communications System," "Porting a Spacecraft Monitor and Control System Written in Ada," "How Do You Release a Product Implemented in Ada? -- Making Compatible Interface Changes with the BIIN Ada Compiler," "Some Observations Concerning Reuse," "Software Reuse in Networking Applications," "Software Development Center -- Washington, A Support Center for Software Reuse: RAPID"; and THURSDAY- "Analyzing Systems for Object Oriented Design," "Using Object Modeling to Transform Structured Analysis into Object Oriented Desing," "HOOD Design Method and Control/Command Techniques for the Development of Real-time Software," "Covering the Life Cycle with Ada: Ada All the Way," "Automated Object-Oriented RequirementsAnalysis and Design," "A Software Design Method for Ada Based Real-time Systems."

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

Publication Date: 6/89


Ada Compiler Validation Policy Workshop Proceedings and Recommendations

Abstract: This report contains the proceedings of a Validation Policies Workshop, convened by the IDA on March 28-29, 1985. The purpose of the workshop was to develop recommendations for refining the current policies and procedures in order to encourage the use of the Ada programming language within the DoD. The contents are arranged by section: SECTION 1- Policy Recommendations (1- Introduction, 2- Validation Procedures, 3- Summary), and SECTION 2- (1- Why Do Ada Validation Policies Need Revision Now?, 2- What are the Ada Validaiton Issues?, 3- Workshop Proceedings, 4- Historical Perspective of Validation, 5- Working Group Policy Recommendations, 6- Recommendations from the Final Plenary Session, 7- List of Workshop Attendees, 8- Pre-Workshop Papers).

Author: Hook, Audrey and Thomas Probert (eds)

Publisher: IDA

Reference Number: IDA Memorandum Report: M-85

Sponsoring Organization: AJPO

Producing Organization: IDA

Publication Date: 8/85


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: 10/88


Ada Validation Overview for Program Managers

Abstract: This document provides paper copies of viewgraphs used in a briefing that covers background/concepts of validation, Ada validation procedures, AVF validation process, and validation challenges.

Author: AdaJUG

Publisher: AdaJUG

Publication Date: 7/89


Final Report of the Kernel Ada Programming Support Environment (KAPSE) Interface Team (KIT)

Abstract: This document has been prepared by the Kernel Ada Programming Support Environment (KAPSE) Interface Team (KIT) as a final Report of their progress at the conclusion of their assigned development of the Common Ada Programming Support Environment Interface Set (CAIS). The emphasis of this report is on directions for future work.

Author: KAPSE Interface Team

Publisher: AJPO

Sponsoring Organization: AJPO

Producing Organization: KAPSE Interface Team

Publication Date: 10/88


Ada Program Cost Research, Joint Briefing to the AFCSTC, USACEAC, and AJPO

Abstract: This document includes paper copies of viewgraphs for a briefing that addresses cost model evaluations, plans, and recommendations

Author: IITRI

Publisher: IITRI

Sponsoring Organization: AFCSTC, USACEAC, AJPO

Producing Organization: IITRI

Publication Date: 5/89


Ada: An Introductory Tutorial

Abstract: This document contains paper copies of viewgraphs for an introductory Ada tutorial and overview given at the Joint AdaJUG SAE AS-5 FRAWG Meeting.

Author: Bolz, Richard

Publisher: AdaJUG / SAE / AS-5 / FRAWG

Publication Date: 7/89


Users' Directory of Computer Networks

Abstract: This directory indexes networks on the government agency networks ARPANET, MILNET, NSFNET, SPAN, HEPNET, and ESnet; the user-formed networks CSNET, BITNET, USENET/UUCP, THEnet; descriptions of the commercial public data networks GTE Telenet, TYMNET.

Author: Laquey, Tracy

Publisher: IITRI

Sponsoring Organization: IITRI

Producing Organization: University of Texas at Austin

Publication Date: 7/88


A Practical Language to Provide Persistence and a Rich Typing System

Abstract: This paper features information about the design of a programming language, tentatively called prism, which merges database and programming language concepts by expanding the range of types from a small, fixed set of types typical of modern database systems to encompass all types definable within a programming language, and simultaneously expanding the extent rules of typical programming languages to encompass universal extent.

Author: Baker, Deborah A., et al.

Publisher: Incremental Systems Corporation

Reference Number: Incremental Systems Corporation #: TR870802

Sponsoring Organization: DARPA

Producing Organization: Incremental Systems Corporation

Publication Date: 8/87


TRI-Ada Conference Tutorial: Software Development Technologies

Abstract: This tutorial for the Tri-Ada Conference includes three parts: 1- "Software-First Life Cycle," 2- "Ada-Knowledgeable Tools," and 3- "Domain-Specific Technology."

Sponsoring Organization: ACM/SIGAda

Publication Date: 10/89


Briefing: Ada Use for Management Information Systems

Abstract: This document includes paper copies of viewgraphs and text used in a briefing, given to the OMB, addressing the current state and prospects for the commercial use of Ada. A number of Senior Advisory Members of the Commercial Ada Users Working Group contributed, in many different ways, to the creation of the briefing.

Publisher: Commercial Ada Users Working Group (CAUWG)

Publication Date: 3/87


The Green Language: A Formal Definition (Preliminary Draft)

Abstract: This document is a preliminary draft of the Formal Definition of the Green Programming Language. As such, it indicates the structure and style of the final document. At this stage, the Static Semantics are well advanced, but not complete, and large parts of the Dynamic Semantics are missing. Some sections (e.g., Chapters 4-6) have been worked on in detail to give a better idea of the final shape of the Formal Definition. An updated draft is anticipated 1 November 1979.

Publisher: Honeywell,Inc.; Cii Honeywell Bull

Publication Date: 4/79


Real-Time Ada Problem Solution Study

Abstract: The purpose of this study was to identify and document solutions to some of the problems that can occur during the development and implementation of real-time embedded Ada applications. The generic Ada problems that are addressed in this report were defined in a previous study.

Author: McCullough, Sterling J., et al.

Publisher: Computer Technology Group, Ltd.

Sponsoring Organization: US Army HQ, Center for Software Engineering

Producing Organization: Computer Technology Group, Ltd.

Publication Date: 2/89


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," which 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, Rev. 1

Sponsoring Organization: US Department of Energy

Producing Organization: Argonne National Laboratory (ANL)

Publication Date: 10/89


Collected Software Engineering Papers

Abstract: This document is a collection of technical papers produced by participants in the Software Engineering Laboratory (SEL). The purpose of the document is to make available, in one reference, some results of the SEL Research on three major categories: 1- Software Measurement and Technology Studies, 2- Measurement Environment Studies, and 3- Ada Technology Studies.

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-87-009

Publication Date: 11/87


Introduction to CAIS [Common Ada Programming Support Environment (APSE) Interface Set, MIL-STD-1838A]

Abstract: The purpose of this document is to describe CAIS and to present a brief overview of CAIS concepts. It is also intended to aid readers in understanding MIL-STD-1838A.

Author: Hitchon, C., et al.

Publication Date: 9/89


Data Item Description (DID): Software Management Plan (Ada)

Abstract: This publication is one of a set of "NASA Software Data Item Descriptions" (NASA Sfw DIDs) that have been developed to facilitate the acquisition of software by NASA activities. It is recommended for use, along with the "NASA Software Acquisition Lifecycle" document, in planning and managing software acquisitions.

Publisher: National Aeronautics and Space Administration (NASA)

Reference Number: NASA #: NASA Sfw DID 02X

Publication Date: 10/86


US GAO Report to the Chairman, Subcommittee on Defense, Committe on Appropriations, House of Representatives: Programming Language: Status, Costs, and Issues Associated with Defense's Implementation of Ada

Abstract: This pupose of this report is to identify the current and planned uses of Ada within the Department of Defense, the costs associated with implementing Ada, and the technical issues associated with its use, along with examining available evidence of cost savings accruing from its use.

Author: Carlone, Ralph V.

Publisher: General Accounting Office (GAO)

Reference Number: GAO #: GAO/IMTEC-89-9

Sponsoring Organization: Subcommittee on Defense, Committe on Appropriations, House of Representatives

Producing Organization: Subcommittee on Defense, Committe on Appropriations

Publication Date: 3/89


PCTE+ and CAIS-A Convergence

Abstract: This report documents the events and findings of the second joint meeting of the CAIS-A and PCTE+ design teams and discusses technically feasible solutions to the incompatibilities between the two interfaces. The proposed solutions are accompanied by assessments of the potential impacts of them on current CAIS-A and PCTE+ tools, databases and implementations. The interface sets were compared at both the conceptual and operational levels.

Publisher: Independent European Programme Group, Technical Area 13

Sponsoring Organization: AJPO

Producing Organization: Independent European Programme Group, Technical Area 13

Publication Date: 5/89


Real-Time Ada Problem Solution Study

Abstract: The purpose of this final report is to identify and document solutions to some of the problems (identified in an earlier report) that can occur during the development and implentation of real-time embedded Ada applications. The solutions provided in this report consist primarily of preventative techniques and direct responses to actual problems.

Publisher: IITRI

Reference Number: IITRI Project #: T06168

Sponsoring Organization: US Army CECOM

Producing Organization: Sonicraft, Inc. (under contract to IITRI)

Publication Date: 12/88


Demonstration Project

Abstract: This report provides information on a project designed to address the difficulties in real-time Ada programming from an Adatechnology perspective, and to provide accurate details on some of the perceived problems with Ada. The project involves the development of a typical weapon system application with severe performence requirements. The application is synthetic, but resembles many similar weapon systems.

Publisher: IITRI

Reference Number: IITRI Project #: T06168

Sponsoring Organization: US Army CECOM

Producing Organization: Labtek Corp. (under contract to IITRI)

Publication Date: 12/88


Rapid: Reusable Ada Packages for Information System Development

Abstract: This paper summarizes the findings of research performed to assess the feasibility of the RAPID concept and the potential for software reuse in traditional MIS applications.

Author: Ruegsegger, Ted

Publisher: SofTech

Reference Number: SofTech #: TP 239

Publication Date: 1/87


An Acquisition Strategy for Populating a Software Reuse Library

Abstract: A program of software reuse depends on customer demand and the achievement of specific benefits and entails significant expenditures before savings can be realized. Stocking a library with reusable software does not, by itself, guarantee success. This paper describes a strategy for acquiring software that measures, and maximizes, the expected return for the resources expended..

Author: Guerrieri, Ernesto, et al.

Publisher: SofTech

Reference Number: SofTech #: TP 302

Publication Date: 7/89


The RAPID Center Library as a CASE Tool

Abstract: This paper describes an existing automated library for reusable software and its role within a U.S. Army software reuse program. The user's view of the library is briefly described, with procedures typically used to locate reusable components matching user needs. Methods for maximum efficiency are presented, along with a discussion of the library's present and potential role as an important tool in a CASE environment.

Author: Ruegsegger, T.B. and E. Guerrieri

Publisher: SofTech, Inc.

Reference Number: SofTech #: TP 289

Publication Date: 5/89


A Center of Excellence for Software Reuse: Organizational Issues

Abstract: The author addresses the organization and staffing of a support center for software reuse, based on an ongoing project with the US Army Information Systems Engineering Command (ISEC). From past work done by SofTech, the ISEC RAPID program has evolved into a well-defined set of objectives and a coherent strategy to be implemented by the RAPID Center. Initially, the RAPID Center supports a single major project, SIDPERS-3. From the experiences garnered in this environment, the RAPID Center will grow by stages to support the entire command.

Author: Ruegsegger, T.B.

Publisher: SofTech, Inc.

Reference Number: SofTech #: TP 265

Publication Date: 4/88


Software Detail Design Document for the SIDPERS-3 RAPID Center Library (Phase 1)

Abstract: This Software Detailed Design Document (SDDD) describes the detail design for the Computer Software Configuration Item (CSCI) identified as the Reusable Ada Packages for Information system Development (RAPID) Center Library (RCL) of the Standard Installation/Division Personnel System, Version 3 (SIDPERS-3) RAPID Center System. This document describes the decomposition of the Top-Level Computer Software Components (TLCSCs) of the CSCI into Lower-Level Computer Software Components (LLCSCs). Additionally, the SDDD defines the interface, data, and processing characteristics for each LLSC in the CSCI design.

Publisher: SofTech, Inc.

Reference Number: SofTech #: 3451-4-112/6

Sponsoring Organization: US Army Information System Engineering Command

Producing Organization: SofTech, Inc.

Publication Date: 2/88


Software Detail Design Document for the SIDPERS-3 RAPID Center Library, Phase 1

Abstract: This Software Detailed Design Document (SDDD) describes the detail design for the Computer Software Configuration Item (CSCI) identified as the Reusable Ada Packages for Information system Development (RAPID) Center Library (RCL) of the Standard Installation/Division Personnel System, Version 3 (SIDPERS-3) RAPID Center System. This document describes the decomposition of the Top-Level Computer Software Components (TLCSCs) of the CSCI into Lower-Level Computer Software Components (LLCSCs). Additionally, the SDDD defines the interface, data, and processing characteristics for each LLSC in the CSCI design.

Publisher: SofTech, Inc.

Reference Number: SofTech #: 3451-4-112/6

Sponsoring Organization: US Army Information System Engineering Command

Producing Organization: SofTech, Inc.

Publication Date: 2/88


Software Detail Design Document for the SIDPERS-3 RAPID Center Library, Phase 1

Abstract: This Software Detailed Design Document (SDDD) describes the detail design for the Computer Software Configuration Item (CSCI) identified as the Reusable Ada Packages for Information system Development (RAPID) Center Library (RCL) of the Standard Installation/Division Personnel System, Version 3 (SIDPERS-3) RAPID Center System. This document describes the decomposition of the Top-Level Computer Software Components (TLCSCs) of the CSCI into Lower-Level Computer Software Components (LLCSCs). Additionally, the SDDD defines the interface, data, and processing characteristics for each LLSC in the CSCI design.

Publisher: SofTech, Inc.

Reference Number: SofTech #: 3451-4-112/6

Sponsoring Organization: US Army Information System Engineering Command

Producing Organization: SofTech, Inc.

Publication Date: 2/88


Software Detail Design Document for the SIDPERS-3 RAPID Center Library, Phase 1

Abstract: This Software Detailed Design Document (SDDD) describes the detail design for the Computer Software Configuration Item (CSCI) identified as the Reusable Ada Packages for Information system Development (RAPID) Center Library (RCL) of the Standard Installation/Division Personnel System, Version 3 (SIDPERS-3) RAPID Center System. This document describes the decomposition of the Top-Level Computer Software Components (TLCSCs) of the CSCI into Lower-Level Computer Software Components (LLCSCs). Additionally, the SDDD defines the interface, data, and processing characteristics for each LLSC in the CSCI design.

Publisher: SofTech, Inc.

Reference Number: SofTech #: 3451-4-112/6

Sponsoring Organization: US Army Information System Engineering Command

Producing Organization: SofTech, Inc.

Publication Date: 2/88


Report of the AMC Software Task Force

Abstract: As Army systems come to increase their reliance on computers, software complexity increases and its criticality grows. Although progress has been made in recent years,the Army still does not have a cogent software acquisition and support policy nor does it have a strategy for insertion of new technology in a controlled, purposeful manner. This report builds on numerous previous studies to identify issues which confront the Army, documents underlying problems which the Army must face through this and into the next century and identifies actions which must be taken to correct the problems.

Author: Hess, James A., et al.

Publisher: AMC Software Task Force

Publication Date: 2/89


Ada and Software Management in NASA: Symposium/Forum

Abstract: The contents of these proceedings are arranged by session and review: SESSION 1- Findings and Recommendations of the Ada and Software Management Assessment Working Group, SESSION 2- Industry Perspective of Recommendations (Review 1, Review 2), SESSION 3- Industry Perspective of Recommendations (Review 3, Review 4, Review 5), SESSION 4- Industry Perspective of Recommendations (Review 6, Review 7, Review 8), SESSION 5- Potential Effects on NASA, SESSION 6- Potential Effects on NASA, and SESSION 7- Potential Effects on NASA.

Publisher: NASA

Sponsoring Organization: NASA

Producing Organization: NASA/GSFC

Publication Date: 6/89


Proceedings of the First NASA Ada User's Symposium

Abstract: The contents of these proceedings are arranged by session: 1- Experiences ("Experiences with Ada in the Flight Dynamics Division," "Applications of Ada to MSFC Projects," "Real-time Weather Processor {RWP} Project: Ada Experience at PDR"), 2- Applications ("Explorer Platform Ada Flight Software," "The Evolution of Ada Software to Support the Space Station Power Management and Distribution Subsystem," "Using Ada: An Early Space Station Freedom Experience," "Ada Hosts, Workstations, and Cross-Compilers: Evaluation Report"), and 3- Directions and Implications ("Implications of Ada for Space Station Freedom," "Software Engineering and Ada Training at NASA/JSC: Myths, Lessons Learned, and Directions," "The Jet Propulsion Laboratory: Transition to Ada Software Development," "Experiences with Ada at NASA/GSFC: Implications and Directions").

Reference Number: Software Engineering Laboratory: SEL-88-005

Sponsoring Organization: NASA/GSFC (SEL)

Publication Date: 12/88


Ada Joint Users Group (AdaJUG) Minutes

Abstract: This document contains the minutes from the thirty-ninth meeting of the AdaJUG in conjunction with the SAE-AS-5 and the Front Range Ada Working Group (FRAWG) July 24 - 26, 1989. Attachments to the business meeting summary include the agendas, lists of officers, meeting summaries, and paper copies of viewgraphs from briefings.

Publisher: AdaJUG

Publication Date: 7/89


Ada and Software Management in NASA: Assessment and Recommendations

Abstract: This document presents the findings of a study chartered to 1) assess the agency's ongoing and planned Ada activities, 2) assess the infrastructure supporting software management and the Ada activities, and 3) present an Ada implementation and use stratgey appropriate for NASA over the next five years.

Author: Ada and Software Management Assessment Working Group (ASMAWG)

Publisher: NASA

Sponsoring Organization: Information Resources Management Council (NASA)

Producing Organization: Ada and Software Management Assessment Working Group (ASMAWG)

Publication Date: 3/89


NASA -- Evolving to Ada: Five-Year Plan

Abstract: The purpose of this document is to set forth objectives, or steps, in achieving NASA's goals of 1) adopting agency-wide software standards and policies, 2) using Ada as the programming software for all mission software, 3) establishing an infrastructure to support software engineering, including the use of Ada, and leveraging the agency's software experience, and 4) building the agency's knowledge base in Ada and software engineering.

Author: Ada and Software Management Assessment Working Group (ASMAWG)

Publisher: NASA

Sponsoring Organization: NASA

Producing Organization: Ada and Software Management Assessment Working Group (ASMAWG)

Publication Date: 4/89


Collected Software Engineering Papers

Abstract: This document is a collection of technical papers produced by participants in the Software Engineering Laboratory (SEL). The purpose of the document is to make available, in one reference, some results of the SEL Research on three major categories: 1- Software Measurement and Technology Studies, 2- Measurement Environment Studies, and 3- Ada Technology Studies.

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-88-002

Publication Date: 11/88


Collected Software Engineering Papers

Abstract: This document is a collection of technical papers produced by participants in the Software Engineering Laboratory (SEL). The purpose of the document is to make available, in one reference, some results of the SEL Research on three major categories: 1- Software Measurement and Technology Studies, 2- Measurement Environment Studies, and 3- Ada Technology Studies.

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-89-006

Publication Date: 11/89


Annotated Bibliography of Software Engineering Laboratory Literature

Abstract: This document is an annotated bibliography of technical papers, documents, and memorandums produced by or related to the Software Engineering Laboratory. More than 100 publications are summarized. These publications cover many areas of software engineering and range from research reports to software documentation. All materials have been grouped into eight general subject areas for easy reference: 1- The Software Engineering Laboratory, 2- The Software Engineering Laboratory - Software Development Documents, 3- Software Tools, 4- Software Models, 5- Software Measurement, 6- Technology Evaluations, 7- Ada Technology, and 8- Data Collection.

Author: Buhler, Melanie, and Jon Valett

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-82-806

Publication Date: 11/89


Ada Adoption Handbook: Compiler Evaluation and Selection

Abstract: The purpose of this handbook is to convince the reader of the difficulty and importance of evaluating an Ada compilation system. The handbook describes the dimensions along which a compilation system should be evaluated, enumerates some of the criteria that should be considered along each dimension, and provides guidance with respect to a strategy for evaluation. The handbook does not provide a step-by-step instruction for evaluation and selection, nor does it provide information on specific compilation systems or compare different compilation systems; rather, it serves as a reference document ot inform users of the options available when evaluating and selecting an Ada compilation system.

Author: Weiderman, N.H.

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-89-TR-13; SEIJPO #: ESD-TR-89-21

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 3/89


Adequate Planning for Acquiring Sufficient Documentation About and Rights in Software to Permit Organic or Competitive Maintenance

Abstract: Both DoD and industry have significant concerns regarding maintenance and enhancement of software. The DoD wants to be certain it will be able to maintain and enhance software and where cost effective, to compete maintenance of software. Industry wants ensure that its proprietary interests will be adequately protected. This paper will explore possible ways in which both groups' interest might be satisfied.

Author: Samuelson, Pamela

Publisher: CMU-SEI

Reference Number: CMU-SEI #: SEI-86-TM1

Sponsoring Organization: DoD

Producing Organization: CMU-SEI

Publication Date: 3/86


Ada Compiler Performance Test Suite and Test Evaluation Capability (ACPS) User's Guide

Abstract: The purpose of this document is to describe the set of software tests that is designed to assist users in evaluating the performance of run-time environments provided by Ada compilation systems. This document describes how to 1) install the test suite, 2) set up the test environment, 3) execute the tests, and 4) compare the test results for executions on different compilers or for those on the same compiler using different compilation options.

Author: Kayfes, R.E.

Publisher: The Aerospace Corporation

Reference Number: Aerospace Corporation #: Report SSD-TR-89-83

Sponsoring Organization: Air Force Systems Command Space Systems Division

Producing Organization: The Aerospace Corporation

Publication Date: 9/88


Lessons Learned: Object-Oriented Methodologies, Ada, The Data Management System Tested, and Prototyping

Abstract: Developing prototype software leads to some conclusions about the methods and services employed. Results from this project address the use of object oriented methodologies, the Ada language, and a network environment intended to emulate that which will exist onboard Space Station Freedom. Conclusions are drawn concerning the strengths and weaknesses of these elements, along with observations on the management of prototyping projects in general.

Author: Rogers, K.L. and L.A. Ambrose

Publisher: MITRE

Reference Number: MITRE #: MTR-88D00083; NASA #: JSC-23903

Sponsoring Organization: National Aeronautics and Space Administration (NASA/JSC)

Producing Organization: MITRE

Publication Date: 9/89


Proceedings of the Second NASA Ada Users' Symposium

Abstract: The contents of these proceedings are arranged by session: 1- NASA-Wide Activities ("Adain NASA: Policy and Directions," "Ada and the Space Station," "Software Support Environment {SSE}: Program Status"), 2- Center and Project Activities ("Ada in the SEL: Experiences with Operational Ada Projects," "The Application of CASE Technology and Structured Analysis to a Real-time Ada Project," "Ada at JPL: Experiences and Directions," "Ada and the OMV Project"), and 3- Space Station Activities ("Lessons Learned: Prototyping with Ada for the Space Station Freedom Program," "Software Support Environment: Architecture and Design Overview," "Flight Telerobotic Servicer," "Lessons Learned in Prototyping the Space Station Remote Manipulator System Control Algorithms in Ada").

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

Sponsoring Organization: NASA/GSFC (SEL)

Publication Date: 11/89


Study of the Use of Ada in Trusted Computing Bases (TCBs) to be Certified at, or Below, the B3 level

Abstract: This document contains the final report on a study that was designed to produce guidelines for producing Ada software for Trusted Computing Bases (TCBs). The objective was addressed in three parts: 1) mapping the Trusted Computer System Evaluation Criteria (TCSEC) to the software development process, 2) identifying benefits of and potential deterrents to using Ada in the software development process of the TCB systems, and 3) producing the guidelines.

Publisher: IITRI

Sponsoring Organization: National Computer Security Center

Producing Organization: IITRI

Publication Date: 4/89


Ada Joint Users Group (AdaJUG) Minutes

Abstract: This document contains the minutes from the fortieth meeting of the AdaJUG February 5-7, 1990. Attachments to the Plenary session summary include the agendas and paper copies of viewgraphs from briefings.

Publisher: AdaJUG

Publication Date: 2/90


Proceedings of the Ada-Europe International Conference -- Seminar: Object-Oriented Design

Abstract: Seminar on object-orientd design; concepts: Complexity, The Object Model, Classes and Objects, Classification.

Author: Booch, Grady

Publisher: Cambridge University Press

Sponsoring Organization: CEC

Publication Date: 6/89


A Study of Implementation-Dependent Pragmas and Attributes in Ada

Abstract: The Ada Standard describes an assortment of pragmas and attributes that a compiler must support. A compiler may add other pragmas and attributes as long as the legality of the program is not affected. This study examines implementation-dependent pragmas in existing compilers with the goal of identifying candidates for inclusion in a revised version of the language.

Author: Fowler, Kenneth J.

Publisher: CMU-SEI

Reference Number: CMU-SEI #: SEI-89-SR-19

Sponsoring Organization: DoD

Producing Organization: CMU-SEI

Publication Date: 11/89


Military Standard [MIL-STD-881A]: Work Breakdown Structures for Defense Materiel Items

Abstract: This standard establishes criteria governing the preparation and employment of work breakdown structures for use during the acquisition of designated defense materiel items.

Publisher: Department of Defense/DoD

Reference Number: MIL-STD-881A

Publication Date: 11/89


Distributed Ada Target Applications

Abstract: This document includes the final report on the investigation into real-time/runtime issues encountered while developing the DAPSE (Distributed Ada Programming Support Environment) prototypes. This report is arranged into 2 chapters: 1- Distributed Ada Target Applications and 2- Ada Runtime and DAPSE: Experiences, Issues, and Recommendations.

Author: Stefanescu, C. Mugur

Publisher: US Army CECOM

Reference Number: Compass #: CADD-8810-1011

Sponsoring Organization: US Army CECOM

Producing Organization: Compass, Inc.

Publication Date: 3/89


Issues Involved in Developing Real-Time Ada Systems

Abstract: This report describes several problems encountered using Ada for developing real-time systems and possible solutions to some of these problems. The authors focus on the ways in which the development of economical solutions to these problems can be encouraged through well-defined runtime system interface conventions.

Author: Baker, T.P.

Publisher: US Army HQ, Advanced Software Technology, Center for Software Engineering

Sponsoring Organization: US Army HQ, Advanced Software Technology, Center for Software Engineering

Producing Organization: Florida State University (Department of Computer Science)

Publication Date: 2/89


Toward Ada Verification: A Collection of Relevant Topics

Abstract: This document surveys various topics in Ada verification, the state of progress in both near-term and far-term goals, and some possible directions for future work. Chapter 1 studies the extent to which the existing general purpose literature on program verification already covers the Ada language and concludes with an annotated bibliography. Chapter 2 surveys the possibility of adapting existing verification languages, cast in the form of a commentary on and criticism of ANNA, with suggestions for some extensions and improvements to it. Chapter 4 describes the far-term European project for a formal definition of the whole of Ada. It concludes with a brief discussion of the possibility of standards for the acceptance of verification systems. Chapter 5 presents the results of an attempt to survey as wide as possible a community of users, in particular, Ada users, on the ways in which, if at all, they use features of Ada which currently present problems for verification.

Author: Platek, Richard, et al.

Publisher: IDA

Reference Number: IDA #: P-1900

Sponsoring Organization: Ada Joint Program Office (AJPO)

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 6/86


The Embedded Computer Resources (ECR) Acquisition and Management DSB Task Force Documents

Abstract: Various documents including list of members, letters, findings, notes, and slides.

Author: misc.

Publisher: misc.

Publication Date: 1/82


Soviet Research on Robotics and Related Research on Artificial Intelligence

Abstract: A panel of six US scientists and engineers has surveyed Soviet research in robotics ( including related aspects of machine intelligence) by examining the open literature, and generally only that which had been translated into English. Topics examined in some depth include structural mechanics, actuators, control and locomotion, robot vision, artificial intelligence related to robots, and computer architecture. While the Soviets seem to have ambitious goals to employ robots, they seem to be behind in several critical areas of robotics. In particular, they seem to suffer from poor computer technology and techniques. On the other hand, they seem to be leading slightly in certain aspects of control theory and the theory of machine learning. As usual, it seems they tend to excel in mathematical topics, and to have difficulties in hardware and system integration areas. In summary, it is apparent that the Soviets lag significantly behind the United States in robotics. However, there are several interesting ares of Soviet robotics research that should be followed. These include parallel manipulator structures, modular robot components, innovative electromechanical actuators, robot control theory, legged walking machines, application of artificial intelligence (AI) to control systems (both hardware and software), and AI planning.

Author: Despain, A., et al.

Publisher: FASAC

Reference Number: FASAC #: FASAC-TAR-3010

Sponsoring Organization: US Government

Producing Organization: Foreign Applied Sciences Assessment Center (FASAC)

Publication Date: 4/85


Soviet Computer Science Research

Abstract: A panel of eight computer scientists scanned over twenty thousand Soviet scientific paper titles from two dozen Soviet scientific journals, selecting over eight hundred papers for detailed analysis in seven categories: 1) Computer Systems; 2) Computer Networks; 3) Operating Systems; 4) Programming Languages; 5) Software Engineering; 6) Information systems; and 7) Theoretical Computer Science. The absence of Soviet journals of average quality as high as those published in the United States by the ACM, IEEE, and SIAM, for example, was reconfirmed. A statistical analysis of citations indicates that Soviet computer scientists are referencing Western (especially US) publications frequently, while few of their US colleagues seem to cite the Soviet literature, although English translations are readily available. The panel finds that the innovative component of Soviet computer science research is weak in many categories. Current Soviet papers often address issues discussed by US computer scientists ten years ago. The lack of widespread practical experience is noticeable, but even Soviet Theoretical efforts must be assessed below those demonstrated by US authors. Soviet computer science literature approaches neither the breadth nor the depth of current Western work. Two notable exceptions were found in Data Base Management System (DBMS) development and in parallel computer architecture; here, current Soviet work appears to be comparable to that of Western computer scientists. The Soviet hardware base available to computer scientists is growing and its quality is improving, most slowly, perhaps, for disks and digital communications. Two of several indigenous software efforts to break away from Western dominance, ANALITIK and RTRAN, are judged to be interesting but are not in widespread use. For the most part, Soviet hardware and software developments lean heavily on US systems; computer science research, too, is not often original and is strongly influenced by Western work. Sustained efforts of leadership quality and excellence are found, of course, in information theory and mathematical programming, both closely related to but not generally considered as constituent components of computer science.

Author: Hammer, C., et al.

Publisher: FASAC

Reference Number: FASAC #: FASAC-TAR-2020

Sponsoring Organization: US Government

Producing Organization: Foreign Applied Sciences Assessment Center (FASAC)

Publication Date: 7/84


Test & Evaluation of System Reliability Availability and Maintainability - A Primer

Abstract: This text presents concepts and techniques for designing test plans that can verify that previously established system suitability requirements have been achieved. The topics addressed in this text will familiarize the reader with the statistical concepts relevant to test design and performance assessment.

Author: Conlon, J.C., et al.

Publisher: OUSDRE

Reference Number: DoD 3235.1-H

Publication Date: 3/82


Establishment of the Data and Analysis Center for Software (DACS)

Abstract: This report presents the status of the DACS after the initial 36 months of development. Descriptions of the software engineering computer database and the technology information base are provided. This report also contains information on the types of products developed during this reporting period and the technical inquiries relating to software technology.

Author: Caron, Gary, et al.

Publisher: Rome Air Development Center (RADC)

Reference Number: RADC #: RADC-TR-81-385

Sponsoring Organization: Rome Air Development Center (RADC)

Producing Organization: IITRI

Publication Date: 1/82


Software Management and Assurance Program (SMAP) Information System Life-Cycle and Documentation Standards

Abstract: This document consists of an Executive Summary paper and five SMAP standards: 1) The Information System Life-Cycle Standard; 2) The Management Plan Documentation Standard; 3) The Product Specification Documentation Standard; 4) The Assurance Specification Documentation Standard; 5) The Management Control and Status Reports Documentation Standard. The purpose of the SMAP Standards is to provide a standard, tailorable life-cycle process, and the structure and formats for documenting products of that process. The standards are applicable to information systems and their software, hardware, and operational procedures components.

Publisher: NASA

Reference Number: COS-10300

Publication Date: 2/89


Software Technology for Adaptable, Reliable Systems (STARS) Defense Industry Briefing

Abstract: This document includes paper copies of viewgraphs for a brieing on the STARS program. Topics addressed in the presentation include 1- Program Overview, 2- Software Engineering Environment, 3- Methodology, 4- Measurement, 5- Human Resources, 6- Business Practices, and 7- Applications.

Publisher: OUSD for Research and Engineering

Publication Date: 4/85


AdaPROBE -- A Tool for Improved Development Productivity

Abstract: This document contains paper copies of viewgraphs for a briefing given at a SIGAda meeting on AdaPROBE, a tool designed to reduce development and maintenance time.

Author: Rudisin, Jerry

Publisher: Alsys

Publication Date: 2/89


Tutorial II, Advanced Ada Topics: Tasking and Generics -- Proceedings of the Third Annual ASEET Symposium

Abstract: This tutorial provides information of Ada Tasking, Synchronizaiton Mechanism, and Examples.

Author: Cook, David and Melinda Moran

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 6/88


A Taxonomy for Ada Software Components

Abstract: This thesis proposes that "software" is not simply source code: it also involves information and products from the other phases of the life cycle besides that of the design and development phases. It focuses on the design and development phases of the life cycle. It augments and extends the current work on defining taxonomies to include "active" components as well as "passive" components. Furthermore, an implementation discussion investigates the use of special runtime resources and services to enhance performance and extend the language.

Author: Rogers, Patrick

Publisher: University of Houston at Clear Lake

Publication Date: 12/87


Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7

Abstract: This report describes the results of validation testing for the NYU Ada/ED translator. Testing was conducted by SofTech, under the supervision of the Ada Validation Office, at the request of the Ada Joint Program Office.

Publisher: Data & Analysis Center for Software

Sponsoring Organization: AJPO

Producing Organization: SofTech, Inc.

Publication Date: 4/83


Ada Compiler Validation Summary Report: ROLM Ada Compiler, Version 4.42

Abstract: This report describes the results of validation testing for the ROLM Ada translator. Testing was conducted by SofTech, under the supervision of the Ada Validation Office, at the request of the Ada Joint Program Office.

Publisher: Data & Analysis Center for Software

Sponsoring Organization: AJPO

Producing Organization: SofTech, Inc.

Publication Date: 5/83


Ada Compiler Validation Summary Report: ROLM Ada Compiler, Version 4.52

Abstract: This report describes the results of validation testing for the ROLM Ada translator. Testing was conducted by SofTech, under the supervision of the Ada Validation Office, at the request of the Ada Joint Program Office.

Publisher: Data & Analysis Center for Software

Sponsoring Organization: AJPO

Producing Organization: SofTech, Inc.

Publication Date: 6/83


Ada Compiler Validation Summary Report: Western Digital STC-Ada Compiler, Version C1.0m

Abstract: This report describes the results of validation testing for the Western Digital STC-Ada translator. Testing was conducted by SofTech, under the supervision of the Ada Validation Office, at the request of the Ada Joint Program Office.

Publisher: Data & Analysis Center for Software

Sponsoring Organization: AJPO

Producing Organization: SofTech, Inc.

Publication Date: 7/83


Software Reuse Issues

Abstract: These proceedings document work done at a workshop held to permit NASA researchers in software reuse to share their plans and to learn about current research activities of direct interest. They include text and paper copies of viewgraphs for several presentations and demonstrations given during the course of the workshop; the eighteen presentation titles included are 1- Automated Reusable Components System Study Results, 2- Knowledge-Based Reusable Software Synthesis System, 3- Impact of Domain Analysis on Reuse Methods, 4- Classic-Ada, 5- Prototype Software Reuse Environment at Goddard Space Flight Center, 6- JPL Reuse Program, 7- Johnson Space Center Software Reuse Activity, 8- Reuse Research Plans at Langley Research Center, 9- Reuse at the Software Productivity Consortium, 10- SSFP Approach to Software Reuse, 11- Level 2 Software Reuse Study, 12- An SSE Approach to Reusability, 13- Support for Life-Cycle Product Reuse in NASA's SSE, 14- Initial Ada Components Evaluation, 15- Application of Reusable Software Components at the SEI, 16- Technology Transfer in Software Engineering, 17- AdaNET Services, and 18- Advanced Software Development Workstation Project.

Author: Voigt, Susan J., et al. (eds)

Publisher: National Aeronautics and Space Administration (NASA)

Reference Number: NASA #: NASA Conference Publication 3057

Publication Date: 11/88


Application Software Prototyping and Fourth Generation Languages

Abstract: This report is designed as an introduction to the planning, organizing, executing, and controlling of a methodology for application prototyping. The report is written primarily for senior technical and mid-management personnel who are developing an organizational approach to prototyping; however, anyone interested in instituting a prototyping program will benefit from this information.

Author: Fisher, G.E.

Publisher: US Department of Commerce (National Bureau of Standards)

Reference Number: US Department of Commerce #: NBS Special Publication 500-148

Publication Date: 5/87


Ada Reuse Metrics

Abstract: This document contains paper copies of viewgraphs for a briefing on Ada and software reuse. Topics covered include Motivation, Ada Reuse Questions, Software Process Model, Reuse Framework, Metrics Goals and Status, and the Integrated Metrics Tool Set.

Author: Basili, Victor R. and H. Dieter Rombach

Publisher: University of Maryland (Department of Computer Science)

Publication Date: 12/87


Proceedings of the Seventh Washington Ada Symposium (WAdaS) -- Ada: The Language of Choice

Abstract: The papers contained in these proceedings are arranged by date of presentation: TUESDAY- "Reuse -- Year 200," "On Designing Parameterized Systems Using Ada," "Evolving Concepts, or Why Users Often Don't Recognize the Software They Ask For," "Approaches to Upgrading Software Process Maturity," "Tailoring DoD-STD-2167A Design Documents to Support Layered Abstractions," "Towards an Evolutive Kernel of Measurements on Ada Sources Developed on an Integrated Software Engineering Environment," "A Generative Approach to Reusing Ada Subsystems," "Automatic Generation of Ada in the Rational Environment Emphasizing Software Reuse," "Issues in Object-Oriented Requirements Analysis," "Functional Lists: Object-Oriented Deign Classes for MIS Applications," "Ada Box Structures: Starting with Objects;" WEDNESDAY- "Priority Inversion in Ada Programs during Elaboration," "Compile Time Scheduling of an Ada Subset," "Multitasking, Scheduling Approaches for Ada," "Technology Insertion: Establishing an Object-Oriented Life-Cycle Methodology," "Principles for Defining an Object-Oriented Design Decomposition in Ada," "Compartmentalized, Object-Oriented, Ada Programming," "Analysis Tools for Ada Concurrency Designs," "Ada Tasking for Highly-Parallel Computation: Supporting Fine-Grained forall Parallelism," "An Ada Design and Implementation Toolset Based on Object-Oriented and Functional Programming Paradigms," "Object-Oriented Requirements Analysis: A Tool Vision," "Reuse in the Telecommunication Domain using Object-Oriented Tchnology and Ada;" and THURSDAY- "Adding Inheritance to Ada," "DRAGOON and Ada: The Wedding of the Nineties," "Implementing Advanced Artificial Intelligence Concepts in Ada: A Case Study of a Prototype Expert System for a Real-time Electronic Warfare Application," "A Software Manager's Views of Ada and Software Engineering Training as Examples of Defects in Corporate Training Programs," "Two Views of Teaching Ada -- Integrated and Stand-Alone," "Using Object-Oriented Thinking to Teach Ada," "Software Development for the Space Station Freedom Program in the Year 2000," "Achieving Reusability Through an Interactive Ada Interface Builder," "A Hypertext-Based Documentation Workbench for Ada Language Systems."

Sponsoring Organization: ACM/SIGAda, NASA/GSFC, FAA, AJPO

Publication Date: 6/90


Tutorials of the Seventh Washington Ada Symposium (WAdaS)

Abstract: The tutorials for WADAS '90 held at the McLean Hilton, McLean, VA on June 25-28, 1990.AY- "Reuse -- Year 200," "On Designing Parameterized Systems Using Ada," "Evolving Concepts, or Why Users Often Don't Recognize the Softwa

Sponsoring Organization: ACM/SIGAda, NASA/GSFC, FAA, AJPO

Publication Date: 6/90


Department of Defense Software Master Plan

Abstract: This document consists of two volumes, a "Plan of Action" volume and a "Background" volume, and provides a consolidated approach for addressing the challenges presented to the DoD today by the escalating development, utilization, and cost of software in our defense systems. It identifies specific areas for improvement in research, development, test, deployment and maintenance of software in defense systems, including mission critical computer systems, automated information systems, scientific and engineering systems, and weapons systems. it also identifies feasible concrete actions to accomplish these improvements.

Author: Defense Acquisition Board-Science and Technology Committee-Software Working Group

Publisher: DoD

Publication Date: 2/90


AdaSAGE/SIDPERS Study Final Report

Abstract: This document contains the final report on the AdaSAGE/SIDPERS study, the objective of which was to identify and address issues regarding the use of AdaSage in the development of ARMY STAMIS applications including SIDPERS. The report is organized into seven major sections: 1- Objective, 2- Environment Issues, 3- Methodology Issues, 4- Portability Issues, 5- Comparison of AdaSAGE, XDB, Datacom, and Informix, 6- Maintenance Issues, and 7- Summary. It also includes paper copies of briefing viewgraphs.

Publisher: IITRI

Sponsoring Organization: HQ-USAISSC

Producing Organization: IITRI

Publication Date: 6/90


Software User's Manual for the CS Parts: A Catalog of Reusable Ada Software Components for General Purpose Use and Computer Science and Computer Engineering Education

Abstract: This document is the Software User's Manual for the CS PARTS. It contains detailed instructions on how to use this collection of reusable Ada software components. The parts are divided into two main categories: Function-oriented components and object-oriented components. Within these categories, each part is presented in the order of its taxonomy entry. The following information is given for each part: 1- its taxonomy entry, 2- the names of the files containing it, 3- the IDs of the other CS PARTS on which it depends, and 4- a listing of its Ada specification. In addition, its PART ID nomenclature is given at the bottom of each page on which the PART is described. An index lists the PART IDs and other keywords of interest.

Author: Conn, Richard

Publisher: Ada Software Repository

Sponsoring Organization: University of Cincinnati and General Electric Aircraft Engines

Producing Organization: Ada Software Repository

Publication Date: 7/90


Proceedings from the 1990 Workshop on Issues of Integrity and Security in an Ada Runtime Environment

Abstract: This document provides a summary of the results of the 1990 Workshop on Issues of Integrity and Security in an Ada Runtime Environment; the objectives of the workshop were 1) to identify and discuss the security and integrity issues related to the Ada runtime environment and 2) to bring together and create some synergy among security/integrity and Ada specialists in order to adequately address security and integrity issues related to the Ada runtime environment. These proceedings contain the following sections: 1- Introduction, 2- Ada Runtime Working Group (Issues Definition, Assumptions, Process, Identification of Threats, Working Model and Interfaces, Example of an ATRE, Analysis of ARTE Functions, Allocation of Security Requirements, List of ATRE Features to Support Integrity, Recommendations), 3- Application of Formal Methods to Security and Integrity of a Trusted Ada Runtime Environment, 4- Issues of Access Control in a Distributed Environment with Persistent Data, and Appendices.

Publisher: IITRI, AJPO

Sponsoring Organization: IITRI, AJPO

Publication Date: 4/90


Army Implementation of the Ada Programming Language

Abstract: This document is a letter from the Department of the Army that includes information and instructions for all facets of the Army's plan for implementing Ada. The letter includes sections on references, purpose, applicability and scope, policy, responsibilities, waivers, and effective date and implementation.

Publisher: Department of the Army

Reference Number: US Army #: HQ LTR 25-88-5

Publication Date: 6/88


Rapid Prototyping in Ada in the Rational Environment Emphasizing Software Reuse

Abstract: This document contains paper copies of viewgraphs for a briefing on prototyping in Ada that was given at the Washington Ada Symposium.

Author: Luckey, Peter H. and Frank G. Dupont

Publisher: IBM

Publication Date: 6/90


Guidelines for Writing Reusable Ada Software for Real-Time Applications

Abstract: This report is an annex to the CSC Ada Reusability Handbook (ARH)[CSC87]. It provides a set of guidelines for writing reusable software parts that are required to satisfy some of the more common characteristics of real-time applications. The report contains four major sections that covering the issues of and providing guidelines for distributed execution, task scheduling, error recovery, and resource control. The guidelines fall into five major categories: transportability, runtime dependencies, composition orthogonality, readability, and efficiency. Throughout, the guidelines emphasize coding aspects for developing reusable parts that include time-dependency issues. Developing real-time software in accordance with these guidelines will help in compiling a library of reusable real-time software components for future applications.

Author: Albright, Charles J., et al.

Publisher: CSC

Reference Number: CSC #: Technology Report 90-2

Sponsoring Organization: US Army CECOM

Producing Organization: Computer Sciences Corporation (CSC)

Publication Date: 8/90


Real-Time Scheduling Theory and Ada

Abstract: The Ada Tasking Model was intended to support the management of concurrency in a priority-driven scheduling environment. In this paper, the authors review some important results of a priority-based scheduling theory, illustrate its applications with examples, discuss its implications for the Ada tasking model, and suggest workarounds that permit us to implement analytical scheduling algorithms within the existing framework of Ada. This paper is a revision of CMU/SEI-88TR-33-1

Author: Sha, Lui and John B. Goodenough

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-89-TR-14

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 4/89


Air Force Policy on Programming Languages

Abstract: Air Force policy letter for the implementation of the Ada programming language.This document is a letter from the Department of the Air Force that includes information and instructions for all facets of the Air Force's plan for implementing Ada. The letter includes sections for introduction, definitions, applicability, exemptions, policy, waivers, and exceptions.

Author: Mosemann, L.K.

Publisher: Department of the Air Force (USAF)

Publication Date: 8/90


A Catalog of Interface Features and Options for the Ada Runtime Environment

Abstract: The objective of this document is to propose and describe the first of a common (meaning that implementations are intended to provide the capabilities expressed by the language-oriented interface descriptions in such a way that programmers need not learn a new interface when using a different Ada implementation) set of user-RTE (Runtime Environment) interfaces, with which a programmer can both request services of the RTE and tailor the RTE to meet application-specific requirements. The interfaces that follow are an attempt to rpovide commonality at the user level for some of the initial capabilities that will often be required.

Publisher: ACM-SIGAda-ARTEWG

Publication Date: 12/87


Experiences Porting the Distributed Ada Real-Time Kernel

Abstract: The distributed Ada Real-Time Kernel (DARK) is a mechanism for supporting the execution of distributed real-time Ada applications in embedded computer systems. It provides a solution to scheduling and distributing tasks without modifying the Ada language or vendor-supplied runtime systems. An important test of the utility of the Kernel is whether or not it can be ported to different hardware architectures and still function effectively. As part of an independent research and development project, Boeing Military Airplanes and The Wichita State University became co-acceptors of a copy of DARK for the purpose of demonstrating a port to a 68000-based distributed architecture. This report describes the experiences in accomplishing the port.

Author: Smith, Brian and James E. Tomayko

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-90-TR-17; SEI JPO #: ESD-90-TR-217

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI; Boeing Military Airplanes

Publication Date: 6/90


Informatics for a New Century: Computing Education for the 1990s and Beyond

Abstract: Information technology and computer science have not only reshaped computation, communication, and commerce, they have expanded the basic models and paradigms of many disciplines. Informatics education has obligations to all the communities that rely on information technology, not just the computing professionals. Serving this extended audience requires changes in the content and presentation of computing curricula. This paper sketches the coming needs for information processing and analyzes the populations that will require informatics education. It considers curriculum requirements through two examples, one outside the traditional boundary of computer science and one inside.

Author: Shaw, Mary

Publisher: CMU-SEI

Reference Number: CMU-SEI #: CMU/SEI-90-TR-15; SEIJPO #: ESD-90-TR-216

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 7/90


Understanding the Adoption of Ada: Results of an Industry Survey

Abstract: This report is a follow-up and elaboration on a case study of the adoption of Ada that is described in CMU/SEI-89-TR-28, "Understanding the Adoption of Ada: A Field Study Report." Participants in the survey were 123 business and technical people from 69 business units that supply the DoD with MCCR software systems and services. The survey explored factors pertaining to respondents' technical and market environments in an attempt to describe depth of adoption and to describe the differences between the firms with active Ada contracts and those without active contracts. For firms that have adopted Ada the report describes aspects of the language and tools that are considered most useful in different application areas.

Author: Carlson, Marthena nad Gordon E. Smith

Publisher: CMU-SEI

Reference Number: CMU-SEI #: SEI-90-SR-10

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU-SEI

Publication Date: 5/90


Ada Software Engineering Education and Training Requirements Within the U.S. Army

Abstract: The purpose of this IDA Paper is to provide the results of a study that examined the Ada software engineering education and training needs of the U.S. Army. This study began with an in-depth look at the structure of the Army to identify all job classifications that may have impact on the hardware and/or software life cycle. The next step was to identify the type of education and/or training necessary for these job categories and where Army personnel may obtain the required level of training. The last step was to identify any deficiencies in the area of Ada software engineering education and training within the U.S. Army and make the appropriate recommendations to the AJPO.

Author: McDonald, Catherine and Teresa Anderson

Publisher: Institute for Defense Analyses (IDA)

Reference Number: IDA #: P-2162

Sponsoring Organization: AJPO

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 12/88


Naval Postgraduate School Thesis: Issues in Expanding the Software Base Management System Supporting the Computer Aided Prototyping System

Abstract: This thesis proposes reorganizing the Software Base Management System of the Computer Aided Prototyping System (CAPS) to take better advantage of object-oriented database technology, domain analysis and rule based systems. A method for using the Prototyping System Description Language (PSDL) augmented with domain dependent keywords to classify reusable Ada components and organize them in an object-oriented database is presented. A rule based structure needed to implementation of this structure is a goal for further research.

Author: Huskins, James M.

Publisher: Naval Postgraduate School

Publication Date: 6/90


Proceedings of the Ada Reuse and Metrics Workshop

Abstract: These proceedings contain the following sections: Agenda, AIRMICS Reuse Project, Metrics, Fault Tolerance, Incentives, Cost/Benefit Modeling, Reuse Guidelines, DoD Standards Harmonization, and Tool Assessment.

Publisher: Martin Marietta Energy Systems, Inc.

Sponsoring Organization: US Army Institute for Research in Management Information...)

Producing Organization: Martin Marietta Energy Systems, Inc.

Publication Date: 6/89


Ada-Related Activities Under the Multi-Annual Programme in the Field of Data Processing

Abstract: This volume contains two documents related to the MAP/Ada programme: a report on the Ada-related activities supported by the Commission of the European Communities under the 2nd part of the Multi-annual Programme in the Field of Data Processing (1984-1988) and a final report of a study on the European Ada market that was performed during 1988 by KPMG Peat Marwick Consultants at the request of the Commission.

Author: De Vriendt, K.

Publisher: Commission of European Communities (Information Technologies and Sciences)

Reference Number: CEC #: Report EUR 12873 EN

Publication Date: 1/90


European Strategic Programme for Research and Development in Information Technology (ESPRIT) Annual Report

Abstract: This document presents the 1988 Annual Report of the ESPRIT program, which includes coverage of Advanced Microelectronics, Software Technology, Advanced Information Processing, Office Systems, Computer-Integrated Manufacturing, Basic Research Actions, and Information and Results.

Publisher: Commission of European Communities (DG XIII: Telecommunications, Information Industries, and Innovation)

Reference Number: CEC #: EUR 12291 EN

Publication Date: 1/88


ESPRIT: The Project Synopses for Microelectronics and Peripheral Technologies

Abstract: This volume provides an inventory of the synopses of all ESPRIT projects, including those already terminated, listed sequentially in increasing project number. The synopses provide a brief description of the objectives, the technical content and the updated state of advancement of each project.

Publisher: CEC-Telecommunications, Information Industries and Innovation

Reference Number: CEC #: XIII/321/89

Publication Date: 9/89


ESPRIT: The Project Synopses for Information Processing Systems [Part I: ESPRIT I Projects]

Abstract: This directory contains information on 94 projects supported both within the Software Technology and Advanced Information Processing areas of the first phase of the ESPRIT program. The entry against each provides a summary of its objectives together with information on the progress made and results obtained.

Publisher: CEC-Telecommunications, Information Industries and Innovation

Reference Number: CEC #: XIII/321/89

Publication Date: 9/89


ESPRIT: The Project Synopses for Information Processing Systems [Part II: ESPRIT II Projects]

Abstract: This directory contains information on the 47 projects currently supported within the Information Processing Systems area of the second phase of the ESPRIT program. The entry for each provides a summary of its objectives. In the main, these projects have commenced work over the period from 1988 to May 1989, and it is, therefore, too early to report on results at the time of this publication.

Publisher: CEC-Telecommunications, Information Industries and Innovation

Reference Number: CEC #: XIII/321/89

Publication Date: 9/89


ESPRIT: The Project Synopses for Office and Business Systems

Abstract: This volume provides an inventory of the synopses of somel ESPRIT projects. The synopses provide a brief description of the objectives, the technical content and the updated state of advancement of each project.

Publisher: CEC-Telecommunications, Information Industries and Innovation

Reference Number: CEC #: XIII/321/89

Publication Date: 9/89


ESPRIT: The Project Synopses Computer Integrated Manufacturing

Abstract: The Computer Integrated Manufacturing (CIM) area relates to the total range of CIM activities including, Computer-aided design (CAD), computer-aided engineering (CAE), computer-aided manufacturing (CAM), flexible machining and assembly systems, robotics, testing, and quality control. These 76 projects have potential impact on the methods and economies of production, which are strongly geared to success specifically for the IT industries, and for manufacturing industry in general. They will help accelerate the modernization process in a wide rage of industries.

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

Reference Number: CEC#: XIII/321/89

Publication Date: 9/89


ESPRIT: Synopses; Basic Research Actions and Working Groups

Abstract: A description of 74 projects undertaken in the area of basic research in Information Technology (IT) covering the broad areas of Microelectronics (MEL), Computer Science (CS), and Artificial Intelligence and Cognitive science (AI/CGS). They are designed to serve the dual role of providing new knowledge and helping to insure the future availability of high-caliber scientists and engineers, both key elements in the long-term ability of Europe to compete in global markets.

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

Reference Number: CEC#: XIII/321/89

Publication Date: 9/89


Implementing Sporadic Servers in Ada

Abstract: The purpose of this paper is to present data structures and algorithms for the implementing sporadic servers [13] in real-time systems programmed in Ada. The sporadic server algorithm is an extension of the rate monotonic scheduling algorithm (6). Sporadic servers are tasks created to provide limited and usually high-priority service for other tasks, usually sporadic tasks. They can be used to guarantee deadlines for hard-deadline aperiodic tasks and provide substantial improvements in average response times for soft-deadline aperiodic tasks over polling techniques.

Author: Sprunt, Brinkley; Sha, Lui

Publisher: SEI Joint Program Office, Carnegie Mellon University, Software Engineering Institute JPO, Pittsburg, PA 15213

Reference Number: CMU/SEI-90-TR-6; ESD-90-TR-207

Sponsoring Organization: SEI Joint Program Office (SEI JPO), ESD/XRS1, Hanscom AFB, MA 01731

Publication Date: 5/90


Hartstone Benchmark Results and Analysis

Abstract: Hartstone is a series of timing requirements for testing a system's ability to handle hard real-time applications. It is specified as a set of processes with well-defined workloads and timing constraints. This report describes the results obtained by running Version 1.0 of the Hartstone benchmark, an Ada implementation of one of the requirements, on a number of compiler/target processor combinations.

Author: Donohoe, Patrick; Ruth Shapiro, and Nelson Weiderman

Publisher: SEI Joint Program Office, Carnegie Mellon University, Software Engineering Institute JPO, Pittsburg, PA 15213

Reference Number: CMU/SEI-90-TR-7; ESD-90-TR-208

Sponsoring Organization: SEI Joint Program Office (SEI JPO), ESD/XRS1, Hansom AFB, MA 01731

Publication Date: 6/90


Reuse in Practice Workshop Summary

Abstract: Summarizes the workshop which was held at the Software Engineering Institute. The objective of this workshop was to assess the current state of the practice of software reuse and provide recommendations to the research and user communities to enhance software reuse. The workshop focused on four areas of software reuse: domain analyses, implementation, environments, and management. Position papers from several of the attendees are included as part of the document.

Author: Baldo, James

Publisher: IDA - Indtitute for Defense Analyses, 1801 N. Beauregard St., Alexandria, VA 22311

Reference Number: IDA Document D-754

Sponsoring Organization: SDIO - Strategic Defense Initiative Organization, SDIO/ENA, The Pentagon, Room 1E149, Washington, DC

Publication Date: 4/90


Proceedings of the Fifth Annual Ada Software Engineering Education and Training (ASEET) Symposium

Abstract: The papers contained in these proceedings are arranged by date of presentation:

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 8/90


Joint Integrated Avionics Working Group Reuse Metrics and Measurement Concept Paper (Draft)

Abstract: This concept paper recommends a metrics and measurement framework which can be used by the Integrated Avionics Working Group (JIAWG) to quantify the impact of reuse on the cost productivity and quality of software being developed for affiliated aircraft programs. This frame work is important because it will permit the JIAWG and Service System Program Offices (SPOs) to measure both the cost/benefits resulting from the use of Reusable Software Objects (RSOs) and the overall effectiveness of the JIAWG Software Reuse Library (SRL).

Author: Reifer, Donald J.

Publisher: RCI - Reifer Consultants, Inc., 25550 Hawthorne Boulevard, Suite 112, Torrance, CA 90505

Reference Number: RCI-TN-456

Sponsoring Organization: CTA Incorporated, 900 Heritage Drive, Ridgecrest, CA 93555

Publication Date: 7/90


Joint Integrated Avionics Working Group Reusable Software Program Operational Concept Document (OCD)

Abstract: This OCD was written to describe how the Joint Integrated Avionics Working Group (JIAWG) plans to implement a software reuse program on the new aircraft programs which fall under the purview of the DoD's JIAP for New Aircraft. The primary goal of the program is to increase the capability and capacity of those contractors who are developing avionics systems for new aircraft. The primary mission of the program is to increase aircraft system operational effectiveness and supportability while reducing the associated life cycle costs, schedule, and risks involved by exploiting maturing technology opportunities for avionics commonality and reuse.

Author: Reifer, Donald J.

Publisher: RCI - Reifer Consultants, Inc., 25550 Hawthorne Boulevard, Suite 112, Torrance, CA 90505

Reference Number: RCI-TR-075C

Sponsoring Organization: CTA Incorporated, 900 Heritage Drive, Ridgecrest, CA 93555

Publication Date: 7/90


Prospects for an Engineering Discipline of Software

Abstract: Software engineering is not yet a true engineering discipline, but it has the potential to become one. Older engineering fields offer glimpses of the character software engineering might have. From these hints and an assessment of the current state of software practice, we can project some characteristics software engineering will have and suggest some steps toward an engineering discipline of software. The term software engineering was coined in 1968 as a statement of aspiration. It now refers to a collection of management processes, software tooling, and design activities for software development. The resulting practice differs significantly from the practice of older forms of engineering.

Author: Shaw, Mary

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

Reference Number: CMU/SEI-90-TR-20; ESD-TR-90-221

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

Publication Date: 9/90


Contract Types Summary for Mission-Critical Computer Resources

Abstract: This document, when combined with the output of other associated tasks currently being performed in response to the Formal Software Process Source Selection and Implementation Instructions for Software Contacts, A Guide to Materiel Release and Fielding Process, Army Software Capability Evaluation and Implementation Guide will provide the Army software community with an improved environment for developing and maintaining tactical software for systems with embedded computers.

Publisher: US Army Material Command, Center for Software Engineering

Publication Date: 10/90


autoLib - Automated Online Library, Version 3: Product Overview

Abstract: This document provides an overview of the Library Management System (LMS) product. AutoLib is a fully functional and usable library system. The autoLib is a software system that automates the cataloging and retrieval of information and objects in a large distributed environment. Objects can include such items as program source code, executables, design specifications and drawings, data, and documents

Author: Hennan, Bob

Publisher: Barrios Technology, Inc., 1331 Gemini, Houston, TX 77058

Reference Number: 90-PE-03

Sponsoring Organization: NASA

Publication Date: 3/90


The Economics of Software Reuse, et al.; papers from the AIRMICS/Martin Marietta Ada Reuse Project Workshop

Abstract: A collection of four papers entitled 1) The Economics of Software Reuse by Shari Lawrence Pfleeger and Terry B. Bollinger; 2) Formulation of Software Reuse Guidelines by James W. Hooper; 3) Harmonization of DoD-STD-2167A and DoD-STD-7935A by R.J. Martin; 4) Assessment and Development of Software Engineering Tools by the AIRMICS staff..

Author: Pfleeger, Shari L.; Terry B. Bollinger; James W. Hooper; and R.J. Martin

Publisher: AIRMICS/Martin Marietta

Sponsoring Organization: AIRMICS/Martin Marietta

Publication Date: 6/89


Expert Missile Maintenance Aid (EMMA)-Rockwell: Phase I Technical Discussion

Abstract: DISTRIBUTION AUTHORIZED TO U.S. GOVERNMENT AGENCIES AND THEIR CONTRACTORS ONLY. EMMA is a first attempt to enhance Air Force tactical munitions maintenance testing procedures by applying artificial intelligence/ expert system technology. Its objective is to develop an automated "smart" munitions test system that complements existing automatic test equipment. EMMA's ultimate goal is to help a novice technician isolate and diagnose electronic, electromechanical, and mechanical equipment faults more quickly and consistently than the best human expert using the best currently available ATE. This goal will be achieved by capturing optimum tactical missile design and maintenance knowledge, and formulating a set of rules, facts, and heuristics to guide the use of this knowledge. Volume I 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: Davis, Kathy

Publisher: Rockwell International, 3370 Miraloma Avenue, P.O. Box 3105, Anaheim, CA 92803-3105

Reference Number: AFATL-TR-87-43, Voulme I

Sponsoring Organization: Air Force Electronics Systems Division, Hanscom AFB, MA 01731

Publication Date: 10/87


Expert Missile Maintenance Aid (EMMA)-Rockwell: Trade Sudies

Abstract: DISTRIBUTION AUTHORIZED TO U.S. GOVERNMENT AGENCIES AND THEIR CONTRACTORS ONLY. EMMA is a first attempt to enhance Air Force tactical munitions maintenance testing procedures by applying artificial intelligence/expert system technology. Its objective is to develop an automated "smart" munitions test system that complements existing automatic test equipment. EMMA's ultimate goal is to help a novice technician isolate and diagnose electronic, electromechanical, and mechanical equipment faults more quickly and consistently than the best human expert using the best design and maintenance knowledge. Volume II contains several study issues that are areas of concern for future development. These study areas include: Test program software commonality and reusability; Ada usage for test software and expert systems.

Author: Endres, Kim; Manny Gatlin; Lori Hutchinson; et al.

Publisher: Rockwell International, 3370 Miraloma Avenue, P.O. Box 3105, Anaheim, CA 92803-3105

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

Sponsoring Organization: Air Force Electronics Systems Division, Hanscom AFB, MA 01731

Publication Date: 10/87


Studying Software Architecture Through Design Spaces and Rules

Abstract: This report argues that the overall structure of software systems ("software architecture") is usefully studied by constructing design spaces. A design space identifies the key functional and structural choices made in creating a system design, and it classifies the alternative available for each choice. Rules can be formulated to relate choices within a design space. Sets of such rules are a valuable design aid and offer a promising route to automatic structural design. By codifying design practice, design spaces can also aid software maintenance and training. To support this argument, the report describes a design space and associated rules for user interface software, and it discusses an experiment that validated these design rules by comparing their predictions to real system designs.

Author: Lane, Thomas G.

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

Reference Number: CMU/SEI-90-TR-18; ESD-TR-90-219

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

Publication Date: 11/90


A Design Space and Design Rules for User Interface Software Architecture

Abstract: The architecture of a user interface software system can be described in terms of a fairly small number of key functional and structural choices. This report represents a "design space" that identifies these key choices and classifies the alternatives available for each choice. The design space is a useful framework for organizing and applying design knowledge. The report presents a set of design rules expressed in the terms of the design space. These rules can help a software designer to make good structural choices based on the functional requirements for a user interface system. Extension of this work might eventually provide automated assistance for structural design.

Author: Lane, Thomas G.

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

Reference Number: CMU/SEI-90-TR-22; ESD-90-TR-223

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

Publication Date: 11/90


Comments on Draft Ada Style Guide Handbook MIL-HDBK-1804

Abstract: A collection of 16 comments

Author: Baker, Ted; John R. Williams; David A. Wheeler; et al.

Publisher: AJPO - Ada Joint Program Office

Sponsoring Organization: Ada Joint Program Office

Publication Date: 12/90


Military Standard [DOD-STD-2167]: Defense System Software Development (Superseding DOD-STD-1679A, Navy, 22 Oct 1983; MIL-STD-1644B, 2 Mar 1984)

Abstract: This standard contains requirements for the development of Mission-Critical Computer System software. It establishes a uniform software development process that is applicable throughout the system life-cycle. The software development process defines development activities that result in (1) the generation of different types and levels of software and documentation, (2) the application of development tools, approaches, and methods, and (3) project planning and control. It incorporates practices that have been demonstrated to be cost-effective from a life-cycle perspective, based on information gathered by the Department of Defense. Data Item Descriptions (DIDs) applicable to this standard are listed in Section 6. When used in conjunction with this standard, the DIDs provide a set of concise and complete documents for recording and communicating information generated as a result of adherence to the requirements specified herein.

Publisher: Department of Defense

Reference Number: DOD-STD-2167

Publication Date: 5/85


SEPEC Seminar Series Proceedings: Software Reengineering & Reuse

Abstract: These proceedings contain viewgraphs and/or text from several presentations, papers, and articles: "Engineering Reusability: Myth, Potential, and an Approach," "Reusability Guidebook," "Reuse Nationally," "Review of the State of the Practice for Software Reengineering and Reuse," "Viewing Maintenance as Reuse-Oriented Software Development," "Reverse Engineering and Design Recovery: A Taxonomy," "Observations on Software Reuse and Re-engineering," "CASE Tools Supporting Ada Reverse Engineering: State of the Practice," "The Minnowbrook Workshop on Reuse: A Summary Report," "Reengineering and Design Recovery for FORTRAN Applications," "Re-engineering Tools," "Reengineering Antiquated FORTRAN Software Systems," "Software Reuse in Training Systems," "Software Reengineering and Reuse in Control Center Applications," "RAPID (Rapid Ada Products for Information System Development) Status Report," "Software Reuse and Re-engineering in the Mission Operations Directorate," and "...But You Have to Understand, This Isn't the Way We Develop Software at Our Company."

Publisher: SEPEC, University of Houston (Clear Lake)

Sponsoring Organization: SEPEC, University of Houston (Clear Lake)

Publication Date: 7/90


DRAFT Military Standard [DOD-STD-2168]: Defense System Software Quality Program

Abstract: This standard contains requirements for the development, documentation, and implementation of a software quality program. This program includes planning for and conducting evaluations of the quality of software, associated documentation, and related activities, and planning for and conducting the follow-up activities necessary to assure timely and effective resolution of problems. This standard, together with the other DOD and military specifications and standards governing software development, configuration management, specification practices, project reviews and audits, and subcontractor management, provide a means for achieving, determining, and maintaining quality in software and associated documentation. This standard incorporates the applicable requirements of MIL-STD-1520 and MIL-STD-1535. This standard implements the policies of DODD 4155.1, Quality Program, and provides all of the necessary elements of a comprehensive quality program applicable to software development and support. This standard interprets the requirements of MIL-Q-9858, Quality Program Requirements, for software and is to be used in conjunction with MIL-Q-9858 for system development and support projects. Guidelines for applying this standard and criteria for evaluating contractor compliance with the requirements of this standard are contained in DOD-HDBK-286. The Data Item Description (DID) applicable to this standard is identified in Section 6. When used in conjunction with this standard, the DID provides a vehicle for documenting and communicating information relevant to the requirements specified herein. Production of deliverable data using automated techniques is encouraged.

Publisher: DOD

Reference Number: DOD-STD-2168

Publication Date: 10/87


Some Comments on TINMAN

Abstract: Comments on one of Ada's predecessors.

Author: Barnes, J.G.P.

Publisher: ICI - Imperial Chemical Industries Limited

Producing Organization: Imperial Chemical Industries Ltd.

Publication Date: 1/76


Strategic Defense System (SDS) Software Policy

Abstract: This Directive implements the SDIO software policy. It requires all SDS mission-critical software to be implemented in the DoD Common High Order Language (Ada).

Publisher: SDIO - Strategic Defense Initiative Organization

Reference Number: SDIO Directive No. 3405

Producing Organization: Strategic Defense Initiative Organization

Publication Date: 10/89


Software Engineering Process Group Guide

Abstract: Improving the process of Software systems development is the most reliable way to improve product quality. This document offers guidance on how to establish a software engineering process group (SEPG) and related software engineering process improvement functions. The process group works with line organizations to improve process quality by helping to assess current status, plan and implement improvements, and transfer technology to facilitate improvement in practice.

Author: Fowler, Priscilla; Stan Rifkin

Publisher: SE I- Software Engineering Institute

Reference Number: CMU/SEI-90-TR-24; ESD-90-TR-225

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

Producing Organization: Software Engineering Institute

Publication Date: 9/90


Northeast Artificial Intelligence Consortium Annual Report 1987 Building an Intelligent Assistant: The Acquisition, Integration, and Maintenance of Complex Distributed Tasks

Abstract: This report describes progress that has been made in the third year of the existence of the NAIC on the technical research tasks undertaken at the member universities. The specific topic of this volume is the development of intelligent interfaces to support cooperating computer users in their interactions with a computer.

Author: Lesser, V.; W.B. Croft; and B. Woolf

Publisher: RADC - Rome Air Development Center, Griffiss AFB, NY 13441-5700

Reference Number: RADC-TR-88-324, Vol. V (of nine)

Sponsoring Organization: Rome Air Development Center

Producing Organization: NAIC - Northeast Artificial Intelligence Consortium

Publication Date: 3/89


Northeast Artificial Intelligence Consortium Annual Report 1987 Time Oriented Problem Solving

Abstract: The specific topic covered in this volume is a model theory and axiomatization of a logic for reasoning about planning in domains of concurrent actions.

Author: Allen, James F.

Publisher: RADC - Rome Air Development Center, Griffiss AFB, NY 13441-5700

Reference Number: RADC-TR-88-324, Vol. VII (of nine), Part A

Sponsoring Organization: Rome Air Development Center

Producing Organization: NAIC - Northeast Artificial Intelligence Consortium

Publication Date: 3/89


Ada Compiler Benchmark Report, Version 2.1

Abstract: Ada Compiler Evaluation Capability (ACEC): InterACT Ada 3.2-3 vs. Tartan Ada 2.14 (TI STL VHSIC 1750A)

Publisher: TI - Texas Instruments, Inc.

Producing Organization: Texas Instruments, Inc.

Publication Date: 3/90


Ada Compiler Benchmark Report Version 3.0

Abstract: Ada Compiler Evaluation Capability (ACEC): InterACT Ada 1.1 (Preliminary VI) for MIPSCo R3000 vs. Tartan Ada 3.0 for TI TMS320C30

Publisher: TI - Texas Instruments, Inc.

Producing Organization: Texas Instruments, Inc.

Publication Date: 11/90


Proposed Standard for a Generic Package of Elementary Functions for Ada

Abstract: This document defines the specification of a generic package of elementary functions and the specification of a package of related 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. Rationale included.

Author: Myers, G.; et al.

Publisher: ISO - International Standards Organisation

Reference Number: ISO-IEC/JTC1/SC22/WG9 (Ada)

Producing Organization: WG9 Numerics Rapporteur Group

Publication Date: 12/90


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. It does not define the body. The rationale is included.

Author: Myers, G.; et al.

Publisher: ISO - International Standards Organisation

Reference Number: ISO-IEC/JTC1/SC22/WG9 (Ada)

Producing Organization: WG9 Numerics Rapporteur Group

Publication Date: 12/90


Evaluation of the ACEC Benchmark Suite for Real-Time Applications

Abstract: This report has been developed to evaluate the ACEC version 1.0 benchmark suite for measuring the performance of Ada compilers meant for programming real-time systems. The benchmarks have been analyzed extensively with respect to their measuring of Ada real-time features such as tasking, memory management, input/output, scheduling and delay statement, computations, etc. They were run on two Ada compilers, the HP Ada compiler self-hosted on HP 900/350 and the Verdix Ada compiler hosted on the Sun 3/60 and targeted to a Motorola 68020 bare machine.

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

Reference Number: CIN: C02 092LY 0003 00

Sponsoring Organization: CECOM

Producing Organization: Unixpros, Inc.

Publication Date: 7/90


A Portable Generic Elementary Function Package in Ada and an Accurate Test Suite

Abstract: A Comprehensive set of elementary functions has been implemented portably in Ada. The high accuracy of the implementation has been confirmed by rigorous analysis. Moreover, we present new test methods that are efficient and offer a high resolution of 0.005 unit in the last place. These test methods have been implemented portably here and confirm the accuracy of our implemented functions. Reports on the accuracy of other function libraries obtained by our test programs are also presented. Pre-print.

Author: Tang, Ping Tak (Peter)

Publisher: ANL - Argonne National Laboratory, 9700 South Cass Avenue, Argonne, IL 60439-4801

Reference Number: ANL-90/35

Sponsoring Organization: Strategic Defense Initiative Organization (SDIO) and U.S. Air Force STARS Program Office

Producing Organization: Argonne National Laboratory

Publication Date: 11/90


Ada Development at the National Test Facility

Abstract: Briefing on use of Ada at the NTF, a policy change from modification of existing code on a short term schedule to use of Ada for all future development for SDIO projects. Notes waivers and current efforts.

Author: Morrison (Lt. Col.)

Publisher: Systems Engineering and Integration Office, National Test Bed Joint Program Office

Sponsoring Organization: Strategic Defense Initiative Organization (SDIO) and U.S. Air Force

Producing Organization: National Test Bed Joint Program Office

Publication Date: 12/90


Software Management Guide

Abstract: This guide introduces the software management principles and methods that a DoD program manager should know and follow during system acquisition so that the risks inherent in a complex software development are minimized. It is consistent with current directives, regulations, and standards with respect to software development for weapon systems. It covers only the basic information that is needed for software management; providing enough background to enable straight and level flight. Copy 2 is a second printing of this edition, dated February 1991.

Author: Rubey, Raymond J.

Publisher: STSC - Software Technology Support Center, Ogden Air Logistics Center, Hill AFB, UT 84056

Reference Number: MAC010/STC

Producing Organization: STSC - Software Technology Support Center (USAF)

Publication Date: 10/90


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: AJPO

Producing Organization: The Analytic Sciences Corporation (TASC)

Publication Date: 9/89


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.

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

Publisher: E&V Team/DoD

Reference Number: TASC #: TR-5234-4

Sponsoring Organization: AJPO

Producing Organization: The Analytic Sciences Corporation (TASC)

Publication Date: 9/89


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

Back to FAQ