Back to FAQ

Ada Reports & Papers
(Part 5)

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


Real-Time Ada Problem Study

Abstract: This document includes two technical reports that resulted from the effort to define the set of problems. The first is entitled "Software Engineering Issues on Ada Technology Insertion for Real-Time Embedded Systems"; and the second, "Software Engineering Problems Using Ada in Computers Integral to Weapons Systems".

Publisher: LabTek Corporation / Sonicraft, Inc.

Sponsoring Organization: CECOM - U.S. Army CECOM, Ft. Monmouth, NJ 07703

Producing Organization: LabTek Corporation / Sonicraft, Inc.

Publication Date: 3/89


Analysis of the Impact of the Ada Runtime Environment on Software Reuse

Abstract: The objective of this report is to provide an initial analysis that will establish a basis on which to plan future actions. It addresses the construction of reusable parts and the composition of applications from reusable parts.

Author: Gargaro, Anthony

Publisher: CSC - Computer Sciences Corporation, Defense Systems Division

Sponsoring Organization: CECOM - U.S. Army CECOM, Ft. Monmouth, NJ 07703

Producing Organization: CSC - Computer Sciences Corporation, Defense Systems Division

Publication Date: 12/88


Transportability Guideline for Ada Real-Time Software

Abstract: The purpose of this report is to develop an initial set of guidelines for writing transportable Ada programs for embedded real-time applications.

Publisher: LabTek Corporation, 8 Lunar Drive, Woodbridge, CT 06525

Sponsoring Organization: CECOM - U.S. Army CECOM, Ft. Monmouth, NJ 07703

Producing Organization: LabTek Corporation

Publication Date: 4/89


Real-Time Ada Demonstration Project

Abstract: The purpose of this project was to address the difficulties in real-time Ada programming from an "Ada technology" perspective, and to provide accurate details on some of the perceived problems with Ada.

Publisher: LabTek Corporation, 8 Lunar Drive, Woodbridge,CT 06525

Sponsoring Organization: CECOM - U.S. Army CECOM, Ft. Monmouth, NJ 07703

Producing Organization: LabTek Corporation

Publication Date: 4/89


Tutorial on Ada Exceptions

Abstract: This tutorial describes Ada's facilities for dealing with exceptional situations, such as errors, and provides examples of the use of these facilities.

Author: Loveman, David B.

Publisher: Massachusetts Computer Associates, Inc., 26 Princess Street, Wakefield, MA 01880

Reference Number: CADD-8103-3001

Sponsoring Organization: U.S. Army, CORADCOM

Producing Organization: Massachusetts Computer Associates, Inc.

Publication Date: 3/81


Programming Distributed Applications in Ada: Statement of Work

Abstract: The objective of the effort outlined in this document is to continue research and development on an approach to the programming of distributed systems in the Ada programming language.

Publisher: Massachusetts Computer Associates, Inc., 26 Princess Street, Wakefield, MA 01880

Reference Number: CAID-8208-1601

Producing Organization: Massachusetts Computer Associates, Inc.

Publication Date: 8/82


Programming Distributed Applications in Ada: A First Approach

Abstract: This paper addresses the problem of programming distributed systems within the framework of the Ada language, which provides primitives for inter process communication based upon the model of Communicating Sequential Processes.

Author: Schuman, Stephen A., Edmund M. Clarke, and Christos N. Nikolaou

Publisher: Massachusetts Computer Associates, Inc., 26 Princess Street, Wakefield, MA 01880

Reference Number: CADD-8103-3102

Sponsoring Organization: U.S. Army, CORADCOM / Naval Electronics Systems Command

Producing Organization: Massachusetts Computer Associates, Inc. / Harvard University

Publication Date: 3/81


Development of a Single User Ada Workstation Environment: Statement of Work

Abstract: The objective of the effort outlined in this document is to continue research and development of a software/hardware system to support programming in the Ada programming language. This system contains a uniform user interface provided by software developed at Carnegie-Mellon University, the Gandalf system, with a high performance single used workstation, the Three Rivers Computer Corporation PERQ.

Publisher: Massachusetts Computer Associates, Inc., 26 Princess Street, Wakefield, MA 01880

Reference Number: CAID-8208-2301

Producing Organization: Massachusetts Computer Associates, Inc.

Publication Date: 8/82


Tutorial on Ada Tasking Volume 1: Basic Interprocess Communication

Abstract: This is the first in a continuing series of volumes, the purpose of which is to present a tutorial introduction to the so-called "tasking facilities" embodied in the Ada programming language. The present volume introduces the essential concepts of the application domain under consideration, and covers the basic notions of interprocess communication in concurrent systems.

Author: Schuman, Stephen A.

Publisher: Massachusetts Computer Associates, Inc., 26 Princess Street, Wakefield, MA 01880

Reference Number: CADD-8103-3101

Sponsoring Organization: U.S. Army, CORADCOM

Producing Organization: Massachusetts Computer Associates, Inc.

Publication Date: 3/81


Ada Software Repository (ASR) User's Handbook - Version 0

Abstract: The ASR is a repository of Ada programs, software components, and educational material that has been established on the SIMTEL20 host computer on the Defense Data Network (DDN). This repository has been accessible to any host computer on the network since November 26. 1984.

Author: Conn, Richard

Publisher: Management Assistance Corporation of America, P.O. Drawer 100, White Sands Missile Range, NM 88002

Sponsoring Organization: Ada Software Repository

Producing Organization: Management Assistance Corporation of America

Publication Date: 2/90


Ada Verification System (AVS) Studies

Abstract: The goal of this study was to investigate approaches to "high-assurance" software written in the Ada programming language. "High-assurance" software is an expression that includes secure software, as well as software with very high reliability or security requirements

Publisher: IITRI - IIT Research Institute, 4550 Forbes Boulevard, Suite 300, Lanham, MD 20706

Sponsoring Organization: DCA - Defense Communications Engineering Center, 1860 Wiehle Avenue, Reston, VA 22090

Producing Organization: IITRI - IIT Research Institute

Publication Date: 11/87


SoftCost-LC User's Manual (Cover title: SoftCost-Ada User's Manual)

Abstract: SoftCost-LC is a new, hybrid cost model, developed specifically to ease the job of evaluating and costing Operations & Support Phase software options. It was not designed to be a stand-alone package, but to be used in conjunction with RCI's SoftCost-Ada cost estimation package.

Author: Kane, Patrick T.

Publisher: Reifer Consultants, Inc., 25550 Hawthorne Boulevard, Suite 208, Torrance, CA 90505

Reference Number: RCI-TN-315-UM (v.1.1)

Producing Organization: RCI - Reifer Consultants, Inc.

Publication Date: 7/88


Ada Implementation Guide: Software Engineering with Ada, Volume I

Abstract: The Department of the Navy prepared this second edition to help Program Managers and their staffs to implement P.L. 102-396, Section 9070 that requires DoD software to be written in Ada.

Author: Stuart, Antoinette, et al.

Publisher: Department of the Navy - Naval Info. Systems Management Center

Publication Date: 4/94


Ada Compiler Validation Procedures

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

Author: AJPO

Publisher: Departmenrt of Defense, Ada Joint Program Office

Publication Date: 5/89


Communications High-Order Language Investigation (Volume I)

Abstract: This report contains data and conclusions that were used to select JOVIAL J73I as a base language for modifications that would result in a language suitable for programming communications applications. This volume contains a description of the process used to develop hypotheses on what features are required of such a language. It also contains rationale for selection of JOVIAL, efficiency requirements, and the results of a questionnaire concerning high-order languages and communications.

Author: Eanes, R.S. et al

Publisher: SofTech, Inc., 460 Totten Pond Road, Waltham, MA 02154

Reference Number: RADC-TR-77-341, Vol. I (of two)

Sponsoring Organization: RADC - Rome Air Development Center, Griffiss AFB, NY 13441

Producing Organization: SofTech, Inc.

Publication Date: 10/77


Ada Run-Time Requirements for Embedded Real-Time Systems

Abstract: This specification presents the functional and performance requirements for an Ada Runtime Environment (RTE). The purpose is to state the machine independent functional requirements for an Ada RTE, specifically as related to embedded computers.

Publisher: CDC - Control Data Corporation, Software Programs Division, Bloomington, MN 55440

Reference Number: ALSN-STY-ADL-RTREQ-R03C1

Sponsoring Organization: Naval Sea Systems Command, Washington, DC 20362

Producing Organization: CDC - Control Data Corporation, Software Programs Division

Publication Date: 8/88


Software Reuse Implementation Guide

Abstract: The objective of this guide is to provide the Department of the Navy's PEOs, DRPMs, and Program Managers, and their staff, guidance on the adoption of software reuse technology.

Publisher: Department of the Navy, Naval Information Systems Management Center

Publication Date: 3/94


Senior-Level Compiler Course - Technical Report and Training Course/Curriculum Outline

Abstract: This report contains a list of reference materials and the professor's lessons learned from the design of a senior-level, ten-week compiler course, using Ada as an implementation language and a subset of Ada as a source language.

Author: Farnum, Charles

Publisher: Wright State University, Department of Computer Sciences, Dayton, OH 45435

Reference Number: CDRL A001 and CDRL A002

Sponsoring Organization: DARPA - Defense Advaced Research Projects Agency

Producing Organization: Wright State University, Department of Computer Sciences

Publication Date: 4/94


An Undergraduate Course Sequence in Software Engineering and Software Tool Technology Using Ada

Abstract: This was a senior-level, experimental course using Ada in an independent study mode with emphasis on software development methods.

Author: Olender, Kurt M. and Anneliese von Mayrhauser

Publisher: Colorado State University, Department of Computer Science

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: Colorado State University, Department of Computer Science

Publication Date: 6/94


Language Design and Evaluation Studies - Executive Summary for Report #1

Abstract: This document serves a dual purpose as an executive summary and a review of the status and issues of common language development. The first two sections are a self-contained executive summary, while the remaining sections motivate and justify the recommendations of the executive summary.

Author: Wegner, Peter

Publisher: Brown University

Sponsoring Organization: ONR - Office of Naval Research

Producing Organization: Brown University

Publication Date: 1/79


Military Standard [DOD-STD-1838]: Common Ada Programming Support Environment (APSE) Interface Set (CAIS)

Abstract: This document provides specifications for a set of Ada packages, with their intended semantics, which together form a set of common interfaces for Ada Programming Support Environments (APSEs). This set of interfaces is known as the Common APSE Interface Set (CAIS) and is designed to promote the source-level portability of Ada programs, particularly Ada software development tools. The goal of the CAIS is to promote interoperability and transportability of Ada software across DoD APSEs. The contents of this standard are divided into chapters, each with several sections: 1- Scope, 2- Referenced Documents, 3- Definitions, 4- General Requirements, 5- Detailed Requirements, and 6- Notes.

Author: KIT/KITIA, et al.

Publisher: DoD

Reference Number: DOD-STD-1838

Sponsoring Organization: AJPO

Producing Organization: KIT/KITIA, et al.

Publication Date: 10/86


A Study of High Integrity Ada: Policy Recommendations

Abstract: The primary purpose of this document is to set out policy recommendations relating to the use of Ada in applications where high integrity is required.

Author: Forsyth, Charles; et al.

Publisher: York Software Eng. / British Aerospace Defence Military Aircraft

Reference Number: SLS31c/73-5-D

Sponsoring Organization: MoD - Ministry of Defence

Producing Organization: York Software Eng. / British Aerospace Defence Military Aircraft

Publication Date: 5/93


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: Morusiewicz, Linda and Jon Valett

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-82-1006

Publication Date: 11/91


Ada - The Project

Abstract: This paper describes the early days of the project in which development of Ada took place. It adds a firsthand perspective to the openly known history for a personal slant.

Author: Whitaker, William A.

Publisher: ?

Publication Date: 5/92


Real-Time Executive for Military SystemsC Applications User's Guide

Abstract: RTEMS is a state of the art, object-oriented, real-time executive which provides a high performance environment for distributed embedded applications. It was originally developed in an effort to eliminate many of the drawbacks of the Ada programming language.

Author: Hughes, Wanda M.

Publisher: MICOM - U.S. Army Missile Command, Guidance and Control Directorate Res., Dev., and Eng. Center, Redstone Arsenal, AL 35898

Reference Number: TR-RD-GC-94-7

Sponsoring Organization: MICOM - U.S. Army Missile Command

Producing Organization: MICOM - U.S. Army Missile Command

Publication Date: 11/93


NYU Ada/ED Ada Draft Formal Definition: Dynamic Semantic Actions, Part A - Objects and Types

Author: Banner, Bernard; et al.

Publisher: New York University, Courant Institute of Mathematical Sciences, 251 Mercer Street, New York, NY 10012

Sponsoring Organization: U.S. Army, CORADCOM / Ada Joint Program Office

Producing Organization: New York University, Courant Institute of Mathematical Sciences

Publication Date: 1/87


NYU Ada/ED Ada Draft Formal Definition: Static Semantic Actions

Abstract: ADASEM: Grammar Rules for Semantic Processing, Chapter 2: Lexical Elements, Chapter 3: Declarations and Types, Chapter 4: Names and Expressions, Chapter 5: Statements, Chapter 6: Subprograms, Chapter 7: Packages, Chapter 8: Visibility Rules, Chapter 9: Tasks, Chapter 10: Program Structure, Chapter 11: Exceptions, Chapter 12: Generics, Chapter 13: (MISSING) Representation Specs, Annex A: Predefined Language Attributes (each chapter is separately bound).

Author: Banner, Bernard, Robert B.K. Dewar, Edmond Schonberg, and Brian Siritzky

Publisher: New York University, Courant Institute of Mathematical Sciences, 251 Mercer Street, New York, NY 10012

Sponsoring Organization: U.S. Army, CORADCOM / Ada Joint Program Office

Producing Organization: New York University, Courant Institute of Mathematical Sciences

Publication Date: 1/87


Ada Risk Handbook

Abstract: Projects applying Ada to real-time embedded computer systems must address significant cost, schedule, and technical risks. This was prepared to highlight risks and recommend actions to minimize them.

Author: Donaldson, Cameron, Edward R. Comer, and J. Kaye Grau

Publisher: Software Productivity Solutions, Inc., 122 4th Avenue, Indialantic, FL 32903

Publication Date: 7/88


TACAMO Software Development Files (SDF) Definition

Abstract: This document presents the requirements, design, and guidelines for using the software development files for the Take Charge and Move Out (TACAMO) portion of the Ada technology insertion program. The SDF definition in this document is based on DOD-STD-2167A's requirements for SDFs and the TACAMO software development environment.

Publisher: Software Productivity Solutions, Inc., 122 4th Avenue, Indialantic, FL

Sponsoring Organization: NADC - Naval Air Development Center

Publication Date: 2/88


TACAMO Message Processing System (TMPS): Ada Risk Analysis

Abstract: This document contains the results of applying the process defined in the Ada Risk Handbook to the TMPS. It was produced under ATIP funding. The steps taken to arrive at the results were: review the risks identified in the Handbook; determine if the risks were applicable to the TMPS; analyze the handling of those risks applicable to TMPS; and, document the results.

Publisher: Software Productivity Solutions, Inc., 122 4th Avenue, Indialantic, FL

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Software Productivity Solutions, Inc.

Publication Date: 4/89


Metrics Application Plan for the Take Charge and Move Out (TACAMO) Message Processing System - Technical Report

Abstract: The purpose of this plan is to identify a specific metrics application approach for use on the TACAMO Message Processing System (MPS), consistent with the goals of the ATIP. The approach to developing this plan utilized a goal-oriented approach, tempered by the practical considerations associated with data collection activities.

Author: Dyson, Peter B.

Publisher: Software Productivity Solutions, Inc., 122 4th Avenur, Indialantic, FL 32903

Sponsoring Organization: Naval Air Development Center, Warminster, PA 18974

Producing Organization: Software Productivity Solutions, Inc.

Publication Date: 4/89


Ada Programming Guidelines for Reuse

Abstract: This is the result of a study performed to determine the appropriate set of guidelines for Ada programmers. Readability, portability, and reusability were the primary criteria used. These guidelines will provide a foundation for the development of Ada software that can be reused.

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

Sponsoring Organization: Naval Air Development Center, Warminster, PA 18974

Producing Organization: Software Productivity Solutions, Inc.

Publication Date: 9/89


The "Strategy for a DoD Software Initiative" - An Impact Statement

Abstract: This paper highlight STARS (DoD Software Initiative), describes its current status, and characterizes its potential impact on the Company and the Nation. The paper also recommends broad-based actions the Company should take to stay a technoloy software leader. [Also presentation viewgraphs.]

Author: Philpot, Donn

Publisher: CIS

Publication Date: 2/83


An Ada Linear Algebra Package Modeled After HAL/S, Vol. I

Abstract: This describes a package that extends the Ada programming language to include linear algebra capabilities similar to those of HAL/S language. It is designed for avionics applications, such as Space Station flight software; therefore it incorporates the quaternion functions used by the Space Shuttle and the Galileo spacecraft, and the linear-equations functions of LINPACK. Language conventions follow those of HAL/S to the maximum extent practical and minimize the effort required for writing new avionics software and translating existing software into Ada.

Author: Klumpp, Allan R.

Publisher: NASA/JPL - NASA Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA

Reference Number: JPL D-3729

Producing Organization: NASA/JPL - NASA Jet Propulsion Laboratory

Publication Date: 11/86


Ada/Ed INTERPRETER: Executable Semantic Model for Ada

Abstract: This is hardcopy of the program itself.

Publisher: New York University, Courant Institute of Mathematical Sciences, 251 Mercer Street, New York, NY 10012

Sponsoring Organization: U.S. Army CORADCOM/AJPO - Ada Joint Program Office

Producing Organization: NYU - New York University, Courant Institute of Mathematical Sci

Publication Date: 4/86


Computer Graphics - Graphical Kernel System (GKS) Ada Binding (ANSI X3.124.3-1989)

Abstract: This standard provides the Ada language syntax for ANSI X3.124-1985. The Ada langauge binding of GKS is a syntactic specification, presented as a set of procedures and/or functions that, taken as a whole, provide the semantics of GKS for use by an Ada application program.

Publisher: ANSI - American National Standards Institute, Inc., 1430 Broadway, New York, NY 10018

Reference Number: ANSI X3.124.3-1989

Producing Organization: ANSI - American National Standards Institute

Publication Date: 6/89


Report on Teaching Ada (Revised)

Abstract: Discussions of Lessons Learned; the features of Ada from the point of teaching difficulty; the recommended approach to Ada in contrast to traditional teaching of other languages; a courses summary ; and, a motivation section for many of the constructs of Ada.

Author: Abbott, Russell J.

Publisher: Science Applications, Inc., 1710 Goodridge Drive, McLean, VA 22101

Reference Number: SAI -81-313-WA

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: SAI - Science Applications, Inc.

Publication Date: 12/80


Standards Project: Draft Standard for Information Technology - POSIX Ada Language Interfaces - Part 1: Binding for System API

Abstract: This draft standard is part of the POSIX series of standards for applications and user interfaces to open systems. It defines the Ada language bindings to the application program interfaces (API) defined in ISO/IEC 9945-1: 1990 (IEEE Std 1003.1-1990).

Publisher: Institute of Electrical and Electronics Engineers, Inc., 345 East 47th Street, New York, NY 10017

Reference Number: P1003.5/D8

Sponsoring Organization: IEEE Computer Society

Producing Organization: IEEE Standards Office

Publication Date: 3/92


Efficient Implementation of Ada Shared Variables on Hybrid Multiprocessors

Abstract: Argues that modified relay and shared sets appear to be an efficient way to handle the non-local references of tasks in a multiprocessor environment, and show this is also true of an implementation of Ada on the Ultracomputer and RP3.

Author: Flynn, Susan F. and Norman Schulman

Publisher: ?

Publication Date: 10/87


SMARTS: A Shared-memory Mutiprocessor Ada Run Time Supervisor

Abstract: This thesis defends a program designed with the Ultracomputer and RP3 in mind, but can be used on other homogeneous shared memory MIMD machines as well. The hardware primitive used in SMARTS allows for implementation of many potentially serial operations of a run time supervisor for Ada in a highly distributed fashion. It was also found that the Ada tasking model fits a shared memory multiprocessor quite well, even when the number of processors is large.

Author: Flynn, Susan F.

Publisher: ?(thesis)

Publication Date: 11/87


Thesis Notes

Abstract: Several Ada papers are included.

Author: Siritzky, Brian

Publication Date: 11/87


A Framework for Evaluating the Usability of Ada Programming Support Environments

Abstract: Preprint of an article. This paper provides the framework mentioned in the title. General requirements are discussed for an evaluation methodology, whether the evaluation is for usability or any other characteristic of the environment. Consideration of these requirements points to the need for operational definitions of usability, not on the design features of the environment.

Author: Kramer, John F. and Elizabeth Kruesi Bailey

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

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 8/85


EPOSADA

Abstract: This conceptual specification contains the development report for investigation of Ada composer requirements on EPOS. It focuses on the general requirements and prerequisites for the generation of Ada with EPOS and for code feedback.

Author: Zeh, A. and K. Hoetzl

Publisher: SPS - Software Products and Services, Inc., 14 East 38th Street, 14th Floor, New York, NY 10016

Producing Organization: SPS - Software Products & Services, Inc.

Publication Date: 12/85


The Definition of a Production Quality Ada Compiler

Abstract: This study defines the requirements. The results are intended to be used as guidelines for evaluating an existing Ada compiler or for selecting one of several potential compilers for project use. It will also be useful in preparing a specification for procuring a production quality Ada compiler.

Author: Hogan, Michael O., Elaine P. Hauser, and Suzanne P. Menichiello

Publisher: The Aerospace Corporation, Engineering Group, El Segundo, CA 90245

Reference Number: TOR-0086(6902-03)-1

Sponsoring Organization: U.S. Air Force Systems Command, Space Division

Producing Organization: The Aerospace Corporation, Engineering Group

Publication Date: 9/86


Implementing the DoD-STD-2167 and DoD-STD-2167A Software Organizational Structure in Ada

Abstract: The purpose of this report is to present several different solutions to a problem. The problem is to choose a compliant implementation of the software organizational elements described by DOD-STD-2167 and DOD-STD-2167A, Defense System Software Development. This is a Draft Report.

Author: Gray, Lewis; et al.

Publisher: ACM - Association for Computing Machinery

Producing Organization: ACM - Association for Computing Machinery

Publication Date: 3/88


Ada - NASA - and Training

Abstract: Briefing on the topic.

Author: Gorman, Steve

Publisher: NASA/JSC - NASA Johnson Space Center, Mission Support Directorate

Producing Organization: NASA/JSC - NASA Jonson Space Center

Publication Date: 10/85


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

Abstract: This document defines the requirements to support evaluation of the Common APSE Interface Set (CAIS) implementation developed for the Ada Joint Program Office (AJPO) in conjunction with the NATO Special Working Group (SWG) on Ada Programming Support Environments (APSE).

Publisher: MITRE Corporation

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: MITRE

Publication Date: 12/88


Rationale for the DoD Requirements and Design Criteria for the Common APSE Interface Set (CAIS) [RAC]

Abstract: This document provides the DoD's requirements and design criteria for the definition and specification of a Common APSE Interface Set (CAIS) for Ada Programming Support Environments (APSEs). This rationale accompanies the document titled "DoD Requirements and Design Criteria for the Common APSE Interface Set" (RAC), dated 4 October 1986. The purpose of this document is to provide, for each requirement and design criterion in the RAC, any or all of the following as appropriate: explanations or clarifications of KIT intent; exposition of alternatives considered and the reasoning for the requirement or design criterion in the RAC; examples; and/or identification of known constraints on CAIS specifications and implementations. The rationale is divided into seven chapters: 1- Introduction, 2- General Design Objectives, 3- General Syntax and Semantics, 4- Entity Management Support, 5- Program Execution Facilities, 6- Input/Output, and 7- Glossary of Terms.

Author: KIT-RACWG

Publisher: KAPSE Interface Team (KIT)

Sponsoring Organization: AJPO

Producing Organization: KAPSE Interface Team (KIT)

Publication Date: 11/87


Ada Runtime Support Environment Requirements Analysis Study

Abstract: This specification presents the functional requirements for an Ada Runtime Support Environment (RSE). Its purpose is to state the machine independent requirements. They form a basis from which actual RSEs can be developed and against which all implementations can be validated.

Publisher: NAVSEA - Naval Sea Systems Command

Reference Number: NAVSEA 0967-LP-598-9770

Producing Organization: NAVSEA - Naval Sea Systems Command

Publication Date: 8/83


U.S. Army Space and Strategic Defense Command (USASSDC) Ada Implementation Plan (AIP)

Abstract: This is the 1993 submission and discusses USASSDC's policy and the plans being implemented to transfer the non-Ada software to the Ada programming language.

Publisher: USASSDC - U.S. Army Space and Strategic Defense Command, P.O. Box 1500, Huntsville, AL 35807

Producing Organization: USASSDC - U.S. Army Space and Strategic Defense Command

Publication Date: 12/93


Preliminary Version: Ada/SQL: A Standard, Portable Ada-DBMS Interface

Abstract: The purpose of this paper is to communicate the results of intensive analyses into the possibility of constructing a native syntax binding specification for the Ada programming language to the database language SQL.

Author: Brykczynski, Bill R. and Fred Friedman

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

Reference Number: IDA Paper P-1944

Sponsoring Organization: WIS Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 4/87


Ada Verification System (AVS) Studies Interim Report

Abstract: This interim report is intended to provide information on a diverse set of topics. Each topic is related to the potential use of Ada for secure or trusted software.

Publisher: IITRI - IIT Research Institute, 4550 Forbes Boulevard, Suite 300, Lanham, MD 20706

Sponsoring Organization: DCA - Defense Communications Engineering Center

Producing Organization: IITRI - IIT Research Institute

Publication Date: 2/87


Evaluation and Validation (E&V) Team Public Report, Volume 2: Interim Technical Report for Period 1 October 1984 - 30 September 1985

Abstract: Activities and accomplishments for FY1985 are reported.

Author: Szymanski, Raymond; et al.

Publisher: AFWAL - U.S. Air Force Wright Aeronautical Laboratories, Wright-Patterson AFB, OH 45433

Reference Number: AFWAL-TR-85-1016, Vol II

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: AFWAL - U.S. Air Force Wright Aeronautical Laboratories

Publication Date: 11/85


A Reusable Component Retrieval System for Prototyping (Thesis)

Abstract: This thesis describes the design and implementation of a CASE tool to be used in conjunction with the Computer Aided Prototyping System (CAPS) which retrieves and prepares reusable components for use in PSDL (prototype System Description Language) prototypes. Reusable components and their PSDL specifications are stored in a software base. The software base was designed to be easily configured to support storage and retrieval of reusable components in any programming language, with the initial configuration for Ada components.

Author: McDowell, John Kelly

Publisher: NPS - Naval Postgraduate School, Computer Science Department, Monterey, CA 93943

Sponsoring Organization: NSF - National Science Foundation

Producing Organization: NPS - Naval Postgraduate School, Computer Science Department

Publication Date: 9/91


A Sample of Ada Programmer Errors (Interim Draft)

Abstract: This document contains a set of errors reported to the author after he asked people to tell him about programming errors they have made or observed. They are grouped into five broad areas. They will be useful for improving the instruction and rewriting of the Ada programming language.

Author: Goodenough, John B.

Publisher: Wang Institute of Graduate Studies, Tyng Road, Tyngsboro, MA 01879

Publication Date: 3/86


Design and Implementation of a Concrete Interface Generation System (Thesis)

Abstract: The concrete interface generator is a software system which takes a formal specification as input and generates the specification part of an Ada implementation as output.

Author: Rachal, Randy James

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

Producing Organization: NPS - Naval Postgraduate School

Publication Date: 12/90


Wholistic Evaluation Method (WEM) of the SWG APSE, 1: Method Description

Abstract: Describes the process NATO uses to evaluate Ada Programming Support Environments (APSEs) through demonstration of a completed APSE by development of sample software weapon systems.

Publisher: Dassault Electronique, 55 Quai Marcel Dassault, 92214 Saint-Cloud, France

Reference Number: NE 519 412 Ed 4

Sponsoring Organization: NATO

Producing Organization: Dassault Electronique

Publication Date: 12/91


X/Ada Binding Study

Abstract: This report details the technical issues involved in using X Window System and Ada and presents the common approaches taken to resolve these issues.

Author: Lippert, Colleen; et al.

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

Sponsoring Organization: NASA/JSC - NASA Johnson Space Center

Producing Organization: GHG Corporation

Publication Date: 5/92


Ada Compiler Validation Procedures

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

Author: AJPO

Publisher: AJPO

Publication Date: 10/91


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

Abstract: This handbook is designed to formalize Software Work Breakdown Structures and recommend changes to MIL-STD-881, and improve the situation by providing tailorable guidance through the utilization of the detailed Software elements and the Work Breakdown Structure common framework procedures outlined in MIL-STD-881B. The relationship between the WBS to cost estimating models, and existing contractual cost reporting techniques are also established. See Document # 10499 for previous draft.

Publisher: US Army CECOM, Center for Software Engineering

Producing Organization: AJPO - Ada Joint Program Office

Publication Date: 10/91


The Design and Implementation of an Expander for the Hierachical Real-Time Constraints of Computer Aided Prototyping System (CAPS) (Thesis)

Abstract: This thesis presents a design and implementation of a Prototyping System Description Language (PSDL) which is used to translate and schedule prototypes of hard real-time systems whose specifications are defined in a hierarchical structure.

Author: Bayramoglu, Suleyman

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

Sponsoring Organization: NSF - National Science Foundation

Producing Organization: NPS - Naval Postgraduate School

Publication Date: 9/91


Ada Computer Software Implementation- Army Material Command

Abstract: A collection of papers, plans, and evaluations resulting from a data call in 1991.

Publisher: AMC - U.S. Army Material Command, 5500 Eisenhower Avenue, Alexandria, VA 22333

Producing Organization: AMC - U.S. Army Material Command

Publication Date: 9/91


Military Standard [MIL-STD-1838A]: Common Ada Programming Support Environment (APSE) Interface Set (CAIS), Revision A

Abstract: This document provides specifications for a set of Ada packages, with their intended semantics, which together form a set of common interfaces for Ada Programming Support Environments (APSEs). This set of interfaces is known as the Common APSE Interface Set (CAIS) and is designed to promote the source-level portability of Ada programs, particularly Ada software development tools. The goal of the CAIS is to promote interoperability and transportability of Ada software across DoD APSEs. The contents of this standard are divided into chapters, each with several sections: 1- Scope, 2- Referenced Documents, 3- Definitions, 4- General Requirements, 5- CAIS Node Management Detailed Requirements, 6- CAIS Process Management Detailed Requirements, 7- Input and Output Detailed Requirements, 8- Data Transfer Protocols Detailed Requirements, CAIS List Management Detailed Requirements, 10- CAIS Standard Detailed Requirements, 11- CAIS Calendar Detailed Requirements, 12- CAIS Pragmatics Detailed Requirements, 13- CAIS Status Management Detailed Requirements, and 14- Guidance Information.

Author: KIT/KITIA

Publisher: DoD

Reference Number: MIL-STD-1838A, Superceding DOD-STD-1838

Publication Date: 4/89


Software Technology for Adaptable, Reliable Systems (STARS) Program Strategy

Abstract: This document proposes a strategy for the Software Technology for Adaptable, Reliable Systems (STARS) Program to improve our ability to exploit the advantages of computer technology. This revised and expanded version was produced by the STARS Joint Taks Force based on Service and Agency comments on the earlier version and a variety of public comment, including those growing out of discussions at a public workshop. The STARS Program Strategy provides several levels of detail. The Executive Summary provides an overview of STARS. The body develops the rationale and guiding principles, explaining the motivation for the goal, supporting objectives, implementation approach, and organizational mechanisms. Supporting documents provide additional detail.

Publisher: DoD

Publication Date: 3/83


Conformance Criteria for the SAME Approach to Binding Ada Programs to SQL

Abstract: The structured query language (SQL) Ada Module Extensions (SAME) for a method for the design and construction of Ada database applications. In order to enable the method to be referenced in RFPs and development contracts, there must be some method to determine if a given software design and implementation conform to the SAME guidelines. Such conformance criteria are contained herein.

Author: Moore, James W.

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

Reference Number: SEI-89-SR-14

Sponsoring Organization: Department of Defense, SEI Joint Program Office, Hanscom AFB, MA 01731

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

Publication Date: 8/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: 11/89


SWG CAIS Test and Evaluation Final Report

Abstract: This document describes the test results obtained during test and evaluation of version 3.6 of the TRW SWG CAIS .

Publisher: , Washington C3I Operations, 7525 Colshire Drive, McLean, VA 22102

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: MITRE Corporation

Publication Date: 9/89


Assessment of the Ada Validation Process

Abstract: This is based on analyses of working papers, contract reports, ARPANET messages, and other records maintained by IDA as required to perform the assessment. The time frame of the assessment was from November, 1984 through December, 1985. The role of IDA is to adjudicate procedural and technical issues, interpret existing policies, and to retain an objective viewpoint concerning the issues and alternatives for their resolution. Recommendations are made which can improve the validation process.

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

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

Reference Number: IDA Memorandum Report M-157

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 1/86


The Status of Verification Technology for the Ada Language

Abstract: This provides a detailed research and development plan for the development and deployment of an Ada verification capability. The background, history, and goals of both Ada and verification are discussed. Specific recommendations for integrating verification technology in the software development process are presented. The necessary research items to be pursued in support of the goals are also presented.

Author: Nyberg, Karl A., Audrey A. Hook, and Jack F. Kramer

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

Reference Number: IDA Paper P-1859

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 7/85


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

Abstract: The purpose of this document is to provide a basis for an evaluation of the EEC's Formal Definition of Ada. It includes an estimation of the benefits of U.S. participation in the Advisory Group which reviewed the FD work, describes what could be accomplished with the FD by interested U.S. parties, and presents an opinion of what should be done. See Document #10495 for final version.

Author: Platek, Richard A.

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

Reference Number: IDA Memorandum Report M-389 (Draft)

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 1/88


The CAIS Reader's Guide (DRAFT)

Abstract: The CAIS Reader's Guide has been produced to aid researchers in understanding the proposed Military Standard Common APSE Interface Set (CAIS). It is neither the intent nor the purpose of this document to provide a comprehensive presentation of the proposed CAIS. Instead, the purpose is to give an overview of the model defined in the CAIS document. The proposed CAIS document contains the sections Scope, Referenced Documents, Definitions, General Requirements, Detailed Requirements, and Notes. The CAIS node model and security model are discussed in the General Requirements section. Within the Detailed Requirements section, various topics are described, including node management, processes, and input and output. Section 1, "Introduction," of this document provides an introduction to CAIS. The case node model and security model are discussed in Section 2, "The CAIS Node Model." In Section 3, "General Node Management," CAIS node management operations are discussed. Section 4, "CAIS Process Nodes," provides further explanation of CAIS processes. Finally, input and output provided by the CAIS are discussed in Section 5, "CAIS Input/Output." Having read the CAIS Reader's Guide, one should have a sufficient understanding of CAIS to begin reading the Proposed Military Standard CAIS document.

Author: Kramer, John F., et al.

Publisher: IDA

Reference Number: IDA Memorandum Report M-150

Sponsoring Organization: OUSDR&E

Producing Organization: IDA

Publication Date: 12/85


Letter Ballot on Approval of the Ada Programming Language as an American National Standard (Attachment L)

Abstract: Compilation of the letters returned for the vote on Ada to become and ANSI standard.

Publisher: AJPO - Ada Joint Program Office

Publication Date: 10/81


Software Reusability: A Study of Why Software Reuse Has Not Developed Into a Viable Practice in the Department of Defense (Thesis)

Abstract: This hypothesizes that there are three possible reasons why reuse in DoD has not been a viable practice: No single higher order language; failure solely due to the barriers inhibiting it; and, because DoD did not follow an adequate change strategy based on a change model from organizational literature. Literature examination and a telephone survey pointed to the latter.

Author: Holmgren, Brian W.

Publisher: AFIT - U.S. Air Force Institute of Technology, Wright-Patterson AFB, OH

Reference Number: AFIT/GSM/LSY/90S-16

Producing Organization: AFIT - U.S. Air Force Institute of Technology

Publication Date: 9/90


Comments on ANSI/MIL-STD-1815A (from 83-00000)

Abstract: Compilation of comments on the proposed standard.

Publisher: SofTech, Inc.

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: SofTech, Inc.

Publication Date: 1/84


Index of Ada Issues

Abstract: Compilation of the issues raised as Ada was readied to become an ANSI standard.

Publisher: SofTech, Inc.

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: SofTech, Inc.

Publication Date: 1/84


Commentaries on the Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815A-1983

Abstract: Compilation of comments received as Ada was readied to become an ANSI standard.

Publisher: ACM - Association for Computing Machinery

Reference Number: ISO/TC97/SC5/WG14 N4

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: ACM - Association for Computing Machinery

Publication Date: 4/84


Ada Working Group Activities and Other Related Papers

Abstract: Compilation of materials relating to the Group's efforts to gain Ada recognition as an ISO standard.

Publisher: ACM - Association for Computing Machinery

Producing Organization: ACM - Association for Computing Machinery

Publication Date: 10/84


Ada Use in the Department of Defense: Focused Study Final Report

Abstract: The question has risen as to the current and near term use of Ada in DoD projects. This paper examines this question with short discussions and tables of material gathered.

Author: Legrand, Sue

Publisher: SofTech, Inc., Suite 105, 1300 Hercules Drive, Houston, TX 77058

Producing Organization: SofTech, Inc.

Publication Date: 5/88


Ada Compiler Validation Procedures Summarized

Abstract: This summary is based on Ada Compiler Validation Procedures, Version 2.1, and provides an overview of the procedures for Ada validation that are required by DoD 87 and by the FIRMR 87.

Author: AJPO

Publisher: AJPO

Publication Date: 1/91


Current Status and New Initiatives of the Ada Joint Program Office

Abstract: Briefing on the topic by the AJPO Director.

Author: Solomond, John P.

Publisher: AJPO - Ada Joint Program Office

Producing Organization: AJPO - Ada Joint Program Office

Publication Date: 5/90


Ada Board Report: Ada Board Response to the Report of the Defense Science Board Task Force on Military Software

Abstract: The Ada Board has reviewed the Report of the Defense Science Board (DSB) Task Force on Military Software (September 1987), with special attention to issues related to the Ada Joint Program Office (AJPO). The Ada Board is in agreement with the general tone of the DSB report as it pertains to the technology and insertion issues of Ada. However, based upon more recent information than the 1985 testimonies used by the DSB, the Ada Board has alternate recommendations and views in some areas.

Publisher: Office of the Under Secretary of Defense for Acquisition

Publication Date: 2/88


Rationale for DOD-STD-1838 (CAIS)

Abstract: This document presents the rationale for the design of the Military Standard Common Ada Programming Support Environment (APSE) Interface Set (CAIS), DOD-STD-1838. The rationale is divided into six chapters: 1- Introduction, 2- References, 3- History, 4- General Criteria, 5- Detailed Criteria, and 6- Other Design Criteria.

Author: Ploedereder, Erhard, et al.

Publisher: IDA

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

Producing Organization: IDA

Publication Date: 8/88


Preliminary Design Phase Report

Abstract: This report discusses the design decisions reflected in the accompanying language specification. Section 1.1 analyzes the specific IRONMAN requirements and how this language satisfies them. Section 1.2 discusses possible simplifications to the language that would result from modifying certain IRONMAN requirements. Sections 2 through 5 discusses specific design decisions as referenced in the specification. Appendix A presents a an assessment of the implementation difficulties posed by the language.

Publication Date: 2/78


Language Specification

Abstract: This preliminary language design specification was developed to satisfy the DoD IRONMAN Requirements for High Order Computer Programming Languages, July 1977. The design reflects an intensive exploration of how to satisfy all the IRONMAN requirements in a uniform and minimally complex way. It resists introducing novel concepts into the language except where interaction with various requirements made novel solutions necessary. The resulting design language is a good basis for proceeding to a final design and for evaluating where some modifications of the IRONMAN's specific requirements might be appropriate.

Publication Date: 2/78


Ada Compiler Validation Capability (ACEC) Version Description Document (VDD)

Abstract: The purpose of the ACEC is to provide a capability for quantitative evaluation of Ada compilation systems. The ACEC system is a set of software test programs and associated support tools and procedures which will determine the performance characteristics of Ada compilation systems. This includes the capability to automatically compare the results obtained on different Ada compilation systems. Such comparisons will isolate language constructions where one optimization has particular problems relative to other compilers tested. The ACEC will test for the presence of particular compiler optimization.

Publisher: Boeing Defense and Space Group

Reference Number: D500-12563-1

Sponsoring Organization: U.S. Air Force, Wright Laboratory, Avionics Directorate, Wright-Patterson AFB, OH 45433

Producing Organization: Boeing

Publication Date: 1/92


Ada Compiler Validation Capability (ACEC) Technical Operating Report (TOR) User's Guide

Abstract: The ACEC is a set of tests, tools, and assessors to assist in the evaluation of an Ada compilation system. The test suite is designed to measure the performance of an Ada compilation system, emphasizing execution time, code size, and compilation speed, as well as the capabilities of its symbolic debugger, diagnostic messages, program library system, and system capabilities.

Publisher: Boeing Defense and Space Group

Reference Number: D500-12564-1

Sponsoring Organization: U.S. Air Force, Wright Laboratory, Avionics Directorate, Wright-Patterson AFB, OH 45433

Producing Organization: Boeing

Publication Date: 1/92


Ada Compiler Validation Capability (ACEC) Technical Operating Report (TOR) Reader's Guide

Abstract: This guide for the Ada Compiler Evaluation Capability describes how end users can interpret the results of executing the benchmark test suite, the statistical significance of the numbers produced, the organization of the test suite, how to find particular language features and/or specific optimizations, and how to submit error reports and change requests.

Publisher: Boeing Defense and Space Group

Reference Number: D500-12565-1

Sponsoring Organization: U.S. Air Force, Wright Laboratory, Avionics Directorate, Wright-Patterson AFB, OH 45433

Producing Organization: Boeing

Publication Date: 1/92


Introduction to Ada Technology

Abstract: Bound briefing on the need for software engineering principles and practices to be applied to Ada language creation and products.

Publisher: EVB Software Engineering, Inc., 5320 Spectrum Drive, Fredrick, MD 21701

Producing Organization: EVB Software Engineering Inc.

Publication Date: 1/87


Ada Projects at NASA: Runtime Environment Issues and Recommendations

Author: Roy, Daniel M. and Randall W. Wilke

Publisher: Century Computing, Inc., 1100 West Street, Laurel, MD 20771

Reference Number: DSTL-88-002

Sponsoring Organization: NASA / Goddard Space Flight Center

Producing Organization: Century Computing, Inc.

Publication Date: 1/88


Ada Board's Recommended Ada 9X Strategy

Publisher: Ada Board

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Ada Board

Publication Date: 8/88


Ada and Generics

Author: Moran, Lindy

Publisher: Ada Joint Program Office

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/93


Notes on the Revision of the Green Language (November Interim Draft)

Publisher: Honeywell, Inc., Systems and Research Center, 2600 Ridgway Parkway, Minneapolis, MN 55413

Producing Organization: Honeywell and Cii Honeywell Bull

Publication Date: 11/78


Red and Green Language Evaluations and Comparisons

Abstract: Folder of materials.

Author: misc.

Publisher: misc.

Publication Date: 1/79


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

Author: Roby, Clyde G.; et al.

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

Reference Number: IDA Document D-1373

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 3/93


Ada Compiler Validation Support: Fiscal Year 1992

Abstract: This report summarizes the Ada compiler validation issues that had a bearing on policy changes incorporated in a revision of the Ada Compiler Validation procedures produced by IDA, and published by the AJPO in August 1992. It also summarizes the nine test disputes resolved during FY 92.

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

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

Reference Number: IDA Document D-1292

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 12/92


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

Author: Castor, Virginia and Raymond Szymanski

Publisher: AJPO - Ada Joint Program Office

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: E&V Team

Publication Date: 12/90


Military Standard [DOD-STD-2167A]: Defense System Software Development (Superseding DOD-STD-2167, 4 June 1985)

Abstract: This standard establishes uniform requirements for software development that are applicable throughout the system life-cycle. The requirements of this standard provide the basis for Government insight into a contractor's software development, testing, and evaluation efforts. This standard is not intended to specify or discourage the use of any particular software development method. The contractor is responsible for selecting software development methods (for example, rapid prototyping) that best support the achievement of contract requirements. This standard, together with the other DOD and military documents referenced in Section 2, provides the means for establishing, evaluating, and maintaining quality software and associated documentation. Data Item Descriptions (DIDs) applicable to this standard are listed in Section 6. These DIDs describe a set of documents for recording the information required by this standard. Production of deliverable data using automated techniques is encouraged. Per DODD 5000.43, Acquisition Streamlining, this standard must be appropriately tailored by the program manager to ensure that only cost-effective requirements are cited in defense solicitations and contracts. Tailoring guidance can be found in DOD-HDBK-248, Guide for Application and Tailoring of Requirements for Defense Material Acquisitions.

Publisher: Department of Defense

Reference Number: DOD-STD-2167A (Superseding DOD-STD-2167, 4 June 1985)

Publication Date: 2/88


Ada Marketing Package

Abstract: Folder containing marketing materials with cover title - Ada: The Language For A Complex World.

Publisher: The Ada Resource Center

Publication Date: 5/94


Ichbiah, Barnes, and Firth on Ada

Abstract: Loose-leaf note book containing lecture slide copies.

Publisher: Alsys, Inc.

Producing Organization: Alsys, Inc.

Publication Date: 1/84


Who Cares About Ada? or What is it Going to Do for My Program?

Abstract: ASEET presentation slide copies.

Author: Spegele, J. and Les Dupaix (briefers)

Publisher: ASEET

Producing Organization: ASEET

Publication Date: 10/87


Ada Validation Facility ACVC Maintenance Organization: Status and Plans

Abstract: Presentation slide copies.

Author: Evans, Bobby R. (presenter)

Publisher: U.S. Air Force, Aeonautical Systems Division

Producing Organization: U.S. Air Force, Aeronatical Systems Division

Publication Date: 10/87


Ada Joint Users Group (AdaJUG) Minutes

Abstract: This document contains the minutes from the thirty-third meeting of the AdaJUG in conjunction with the SAE-AE-9E July 13-17, 1987. Attachments to the business meeting summary include the agendas, lists of officers, meeting summaries, and paper copies of viewgraphs from briefings.

Publisher: Ada JUG

Publication Date: 7/87


Ada Joint Users Group (AdaJUG) Minutes

Abstract: This document contains the minutes from the thirty-fourth meeting of the AdaJUG November 16-19, 1987. Attachments to the business meeting summary include the agendas, lists of officers, meeting summaries, and paper copies of viewgraphs from briefings.

Publisher: Ada JUG

Publication Date: 11/87


Ada Joint Users Group (AdaJUG) Minutes

Abstract: This document contains the minutes from the thirty-eighth meeting of the AdaJUG February 27-March 3, 1989. Attachments to the business meeting summary include the agendas, lists of officers, meeting summaries, and paper copies of viewgraphs from briefings.

Publisher: Ada JUG

Publication Date: 3/89


Software Engineering in Ada

Abstract: Presentation to accompany tapes provides a detailed course in software engineering in Ada.

Author: Vega, David (presenter)

Publisher: AMSAA - U.S. Army Materiel Systems Analysis Activity, Aberdeen Proving Ground, MD 21005

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: AMSAA - U.S. Army Materiel Systems Analysis Activity

Publication Date: 3/88


Ada Language Maintenance Committee Meeting Notes, held at Hensley-on-Thames, UK on May 12-13, 1986

Publisher: Ada Language Maintenance Committee

Publication Date: 5/86


Joint Ada Language Maintenance Panel and Language Maintenance Committee Meeting Notes, held at Wltham, MA on November 13-14, 1986

Publisher: LMP/LMC

Publication Date: 11/86


Report on Ada Program Libraries Workshop held at Naval Postgraduate School, Monterey, CA on November 1-3, 1983

Author: Goguen, Joseph A. and Karl N. Levitt

Publisher: SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025

Reference Number: SRI Project 6186

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: SRI International

Publication Date: 11/83


STARS Industry Workshop on Common Ada Foundations

Abstract: Copies of presentation slides.

Author: Greene, Joseph S.

Publisher: STARS Joint Program Office

Publication Date: 3/86


Ada Seminar held at Hanscom AFB, MA on 17 February 1983

Author: Mathis, Robert; et al.

Publisher: AFCEA - Armed Forces Communications and Electronics Association

Producing Organization: AFCEA - Armed Forces Communications and Electronics Association

Publication Date: 2/83


Ada Management Seminar Course Notes: Software Engineering Operation

Publisher: Ford Aerospace and Communications Corporation, Western Development Laboratories Division, 3939 Fabian Way, Palo Alto, CA 94303

Producing Organization: Ford Aerospace and Communications Corporation

Publication Date: 11/81


Ada Symposium - Ada's Success in MIS: A Formula for Progress

Author: Crafts, Ralph E.; et al.

Sponsoring Organization: Director of Defense Information/DISA Center for Standards/George Mason University

Publication Date: 1/92


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

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, et al.

Publisher: IDA

Reference Number: IDA #: Memorandum Report M-34

Sponsoring Organization: OUSDRE

Producing Organization: IDA

Publication Date: 10/84


The Papers of the Twenty-First SIGCSE Technical Symposium on Computer Science Education held in Washington, DC on February 22-23, 1990

Author: Joyce, Daniel T., ed.

Publisher: ACM - Association for Computing Machinery,11 West 42nd Street, New York, NY 10036

Producing Organization: ACM/SIGCSE - Association for Computing Machinery

Publication Date: 2/90


Improving Productivity Through Software Standards: A Technical Briefing on the Ada Language

Author: Rolling, Walter A.

Publisher: DGC - Data General Corporation, Federal Systems Division, McLean, VA 22102

Sponsoring Organization: FOSE

Producing Organization: DGC - Data General Corporation

Publication Date: 1/85


Ada Executive Officials (AEO) Meeting held at The Pentagon on 8 February 1991

Author: Solomond, John P.; et al.

Publisher: AEO - Ada Executive Officials

Producing Organization: AEO - Ada Executive Officials

Publication Date: 2/91


Software Reuse Training Information

Publisher: DISA/CIM - Defense Information Systems Agency, Center for Information Management Software Reuse Program, 500 N. Washington Street, Falls Church, VA

Producing Organization: DISA/CIM

Publication Date: 4/93


Synopsis of the Department of Defense Statement on Large-Scale and Mission-Critical Computing Before the Committee on Science and Technology United States House of Representatives

Author: Martin, Edith W.

Publisher: DUSD(R&AT) - Deputy Under Secretary of Defense for Research and Advanced Technology

Producing Organization: DUSD(R&AT)

Publication Date: 11/83


Ada Test and Evaluation Newsletter, Numbers 1 and 2

Abstract: title changed to Ada Newsletter

Publisher: HOLWG

Producing Organization: HOLWG

Publication Date: 5/79


Introduction to Ada

Abstract: Provides a detailed introduction to all essential principles of the Ada programming language, in the form of hardcopies of briefing sheets.

Author: Engle, Charles and Anthony D. Dominice

Publisher: AMSAA

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: AMSAA - US Army Materials Systems Analysis Activity; ASEET

Publication Date: 3/88


Task Time Lines as a Debugging Tool

Abstract: (presented at the 1994 Ada UK Conference) Debugging distributed programs is more difficult than debugging sequential ones. This paper describes a means of making this easier by presenting the user with a "time line" view of an Ada program. Each time line shows the successive states of an Ada task as easily recognizable symbols on a time axis. Communication and synchronization between tasks is shown graphically by lines connecting the time lines. The paper shows how this representation can be used to depict typical Ada tasking activity and describes a tool that provides a useful interface to the representation.

Author: Briggs, J.S.; et al.

Publisher: University of York, Department of Computer Science

Publication Date: 1/94


TAME: Tailoring an Ada Measurement Environment

Abstract: presented at the Joint Ada Conference, 1987.

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

Publisher: University of Maryland, Department of Computer Science, College Park, MD 20742

Publication Date: 3/87


Integration of Ada Software Engineering Training within the Ada System Development Process

Abstract: presented at the 3rd Annual Ada Software Engineering Education and Training (ASEET) Team Symposium, 1988.

Author: Hoover, Kim

Publisher: Planning Analysis Corporation, 8400 West 110th Street, Overland Park, KA 66210

Publication Date: 6/88


A Structure Coverage Tool for Ada Software Systems

Abstract: from the Joint Ada Conference 1987

Author: Wu, Liqun, Victor Basili, and Karl Reed

Publisher: University of Maryland, Department of Computer Science, College Park, MD 20742

Publication Date: 1/87


Object-Oriented Programming in Smalltalk and Ada

Abstract: presented at the 1987 Conference on Object-Oriented Programming Systems, Languages and Applications

Author: Seidewitz, Ed

Publisher: NASA/GSFC - NASA Goddard Space Flight Center, Greenbelt MD 20771

Producing Organization: NASA/GSFC

Publication Date: 10/87


General Object-Oriented Software Development: Background and Experience

Abstract: presented at the 21st Hawaii International Conference on System Sciences, January 1988.

Author: Seidewitz, Ed

Publisher: NASA/GSFC - NASA Goddard Space Flight Center, Greenbelt, MD 20771

Producing Organization: NASA/GSFC

Publication Date: 1/88


General Object-Oriented Software Development with Ada: A Life Cycle Approach

Abstract: presented at the CASE Technology Conference, April 1988.

Author: Seidewitz, Ed

Publisher: NASA/GSFC - NASA Goddard Space Flight Center, Greenbelt, MD 20771

Producing Organization: NASA/GSFC

Publication Date: 4/88


Object-Oriented Programming in Ada83 - Genericity Rehabilitated

Abstract: from ACM Ada Letters XI, 9 (Nov./Dec. 1991), 116-127. A scheme for single-inheritance object-oriented programming in Ada83 is presented in which many methods are determined at Compile time using "generic" subprogram overloading. Unlike previous schemes for object-oriented programming in Ada83, which rely exclusively on derived types for inheritance, our scheme utilizes both derived types and generic units, and hence is more powerful.In particular, inheritance schemes based on derived types cannot handle the C++ concept of "virtual function," while our scheme determines many of these methods at compile time. Our results call into question Bertrand Meyer's conclusions regarding the weakness of generic units.

Author: Baker, Henry G.

Publisher: Nimble Computer Corporation, 16231 Meadow Ridge Way, Encino, CA 91436

Publication Date: 12/91


Department of Defense Directive: Computer Programming Language Policy. DoDD 3405.1

Publisher: Department of Defense

Reference Number: DoDD 3405.1

Producing Organization: DoD

Publication Date: 4/87


Department of Defense Directive: Use of Ada in Weapon Systems, DoDD 3405.2

Publisher: Department of Defense

Reference Number: DoDD 3405.2

Producing Organization: DoD

Publication Date: 3/87


Ada Usage Summary

Publisher: Department of Defense, Ada Joint Program Office, AdaIC

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: AdaIC - Ada Information Clearinghouse

Publication Date: 2/87


Lifecycle Management of Computer Resources in Systems

Abstract: Air Force Regulation on lifecycle management.

Publisher: Department of the Air Force

Reference Number: AFR 800-14, AFSC/AFLC Supplement 1

Publication Date: 9/87


Ada-Europe/AdaTEC Joint Conference on Ada

Abstract: This publication represents the collection of twenty-one papers to be presented at the conference and several papers not scheduled to be presented, but printed for information and reference: 1- Towards Capital-Intensive Information Engineering; 2- Ada Compiler Karlsruhe, Overview; 3- Optimization in Ada; 4- Measurements of an Ada Compiler; 5- A Distributed KAPSE Architecture; 6- Modelling an APSE; 7- Study of Supporting CHILL on the Commission funded APSE; 8- A Kernel for Tasks and Rendez-vous Management in Ada; 9- Implementation Implications of Ada Generics; 10- Runtime Organization for the Ada Language Sytem Programs; 11- Lifecycle Support in the Ada Environment; 12- A Knowledge-Based Representation of Time in Rendez-vous of Ada; 13- Consistency chscking in Ada and ANNA: A Transformational Approach; 14- Models for the Control of Concurrency; 15- Ada Compiler Quality Assurance; 16- The Applicability of Ada for a Distributed Multi-microprocessor Environment; 17- Guidelines for the Design of Large Modular Scientific Libraries in Ada -- Interim Report; 18- Towards the Design of a Toolset for Manipulating Ada Packages; 19- Ada Training Considerations; 20- Experience Gained from Running Courses for Industry which may be Relevant to the Success of an Ada-Based Software Engineering Re-Education Programme; and 21- Ada Education and Technology Transfer Activities.

Author: misc.

Publisher: Cambridge University Press

Producing Organization: Host: CEC

Publication Date: 3/83


Language Design and Evaluation Study #2.1: Preliminary Detailed Comparison of SPL/I and Green

Author: Goodenough, John

Publisher: SofTech, Inc., 460 Totten Pond Road, Waltham, MA 02154

Reference Number: 1052-2

Sponsoring Organization: Brown University, Department of Applied Mathematics

Producing Organization: SofTech, Inc.

Publication Date: 1/79


Executive Briefing on Ada

Publisher: Alsys, Inc., 67 South Bedford Street, Burlington, MA 01803

Producing Organization: Alsys, Inc.

Publication Date: 1/90


Ada Language Evaluation; results of

Author: Commander, Pacific Missile Test Center

Publisher: Department of the Navy,Commander, Pacific Missile Test Center, Point Mugu, CA 93042

Producing Organization: U.S. Navy

Publication Date: 1/79


Phase III Evaluation of the Ada Programming Language; First Report (Final)

Author: Gross, D.L. and G.K. Gray

Publisher: Department of the Navy, Naval Air Test Center, Patuxent River, MD 20670

Reference Number: AT-65R-79

Producing Organization: U.S. Navy

Publication Date: 9/79


Executive White Paper on Ada

Abstract: *****Government Only Distribution***** with cover letter to ASD(C3I)

Author: Bassman, Mitchell J.

Publisher: DISA - Defense Information Systems Agency

Sponsoring Organization: DISA

Producing Organization: CSC - Computer Sciences Corporation

Publication Date: 10/93


Teaching Ada in a Real-Time Software Systems Course

Author: Steidley, Carl W.

Publisher: Southeastern Louisiana University, Department of Computer Science, Hammond, LA 70402

Sponsoring Organization: AJPO - Ada 9X Project Office

Producing Organization: SLU - Southeastern Louisiana University

Publication Date: 7/94


Experience with Ada for the Graphical Kernel System

Abstract: Originally printed in the Proceedings of the Second Annual Conference on Ada Technology, March 1984.

Author: Gilroy, Kathleen

Publisher: Harris Corporation, Government Information Systems Division, Melbourne, FL 32901

Sponsoring Organization: WIS Joint Program Management Office

Producing Organization: Harris Corporation

Publication Date: 3/84


Self-Assessment Procedure VIII: A Self-assessment Procedure Dealing with the Programming Language Ada

Author: Wegner, Peter

Publisher: ACM - Association for Computing Machinery

Reference Number: ISBN 0-89791-061-3

Sponsoring Organization: ACM - Association for Computing Machinery

Producing Organization: Brown University

Publication Date: 10/81


Affiliates Symposium 1990

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 9/90


Digests of Ada Issues, Update Number 22

Author: Lester, Kit, ed.

Publisher: Ada Rapporteur Group, Pittsburgh, PA

Producing Organization: Ada Rapporteur Group

Publication Date: 9/87


Advanced Automation Systems Experiences with Ada

Publisher: DOT - U.S. Department of Transportation, Federal Aviation Administration

Reference Number: AAP-1

Sponsoring Organization: DOT - U.S. Department of Transportation

Producing Organization: FAA - Federal Aviation Administration

Publication Date: 5/91


STARS Reuse

Abstract: Viewgraphs

Author: Payton, Teri

Publisher: DARPA - Defense Advanced Research Projects Agency

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: Unisys

Publication Date: 9/90


SEI Program Plans for 1991 (Review Draft)

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

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

Sponsoring Organization: Department of Defense

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

Publication Date: 8/90


Ada in U.S. Industry

Abstract: Presented at the Ada Europe Conference in Munich, Germany.

Author: Castor, Virginia L.

Publisher: AJPO - Ada Joint Program Office

Producing Organization: AJPO

Publication Date: 6/88


Ada Dual-Use Program Plan - The Business Case

Author: Reifer, Donald J.

Publisher: DISA/CIM - Defense Information Systems Agency, Center for Information Management

Producing Organization: DISA/CIM

Publication Date: 3/94


Ada Bibliographic Database Current Awareness Listing for period 1/15/83 - 3/25/83

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 3/83


Ada Bibliographic Database Current Awareness Listing - June 1983

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 6/83


Ada Bibliographic Database Current Awareness Listing - September 1983

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 9/83


Ada Bibliographic Database Current Awareness Listing - December 1983

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 12/83


Ada Bibliographic Database Current Awareness Listing - January 1984

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 1/84


Ada Bibliographic Database Current Awareness Listing - February 1984

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 2/84


(Ada Bibliographic Database) Current Awareness Listing - August 1984

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 8/84


(Ada Bibliographic Database) Current Awareness Listing - January 1985

Publisher: IITRI - IIT Research Institute, Turin Road North, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 1/85


Ada Bibliography - May 1983

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 5/83


Ada Bibliography, Volume II - June 1983 - March 1984

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 3/84


Ada Bibliography, Volume III - May 1984 - February 1986

Publisher: IITRI - IIT Research Institute, 4550 Forbes Boulevard, Suite 300, Lanham, MD 20706

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 2/86


Catalog of Resources for Education in Ada and Software Engineering (CREASE)

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO- Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 7/83


Catalog of Resources for Education in Ada and Software Engineering (CREASE) - Version 2.0

Publisher: IITRI - IIT Research Institute, 199 Liberty Plaza, Rome, NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 4/84


Ada Information Clearinghouse Catalog of Resources for Education in Ada and Software Engineering (CREASE), Version 4.0

Abstract: This catalog is a listing of courses, seminars, training programs, textbooks, etc. which provide education and training on the Ada Language and Software Engineering concepts.

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

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 5/86


Catalog of Resources for Education in Ada and Software Engineering (CREASE) - Version 6.0

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

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 2/92


Ada Training Curriculum: Ada for Software Managers, L201: Teacher's Guide, Volume I

Abstract: Goals are to develop a conceptual knowledge of Ada; recognize high/poor quality designs and code in Ada; and, develop an understanding of portability and reusability issues.

Publisher: SofTech, Inc., 460 Totten Pond Road, Waltham, MA 02154

Reference Number: AD-A142 430

Sponsoring Organization: U.S. Army CECOM / CENTACS

Producing Organization: SofTech, Inc.

Publication Date: 5/84


A Study of High Integrity Ada: Analysis of Ada Programs

Author: Jordan, David; et al.

Publisher: British Aerospace Defence / York University

Reference Number: SLS31c/73-2-D

Sponsoring Organization: MoD - U.K. Ministry of Defence

Publication Date: 4/93


A Study of High Integrity Ada: Trusted Ada Compilation

Author: Jordan, David, Charles Forsyth, and Ian Wand

Publisher: British Aerospace Defence / York University

Reference Number: SLS31c/73-3-D

Sponsoring Organization: MoD - U.K. Ministry of Defence

Publication Date: 2/93


A Study of High Integrity Ada: Language Review

Author: Hutcheon, Andy, Brian Jepson, David Jordan, and Ian Wand

Publisher: British Aerospace Defence / York University

Reference Number: SLS31c/73-1-D

Sponsoring Organization: MoD - U.K. Ministry of Defence

Publication Date: 7/92


A High Integrity Subset of Ada

Author: Jordan, D.T. and I.C. Wand

Publisher: University of York, Department of Computer Science, Heslington, York, Y01 5DD, England

Reference Number: YCS 201 (1993)

Publication Date: 6/93


A Study of High Integrity Ada: Tool Support (Summary)

Abstract: This is a result of an investigation of a number of topics concerned with the hazard analysis of toolsets used to support the development of high integrity Ada software.

Author: Jepson, Brian, Andy Hutcheon, and John McDermid

Publisher: British Aerospace Defence / York Software Engineering

Reference Number: SLS31c/73-4-D/S

Sponsoring Organization: MoD - Ministry of Defence

Publication Date: 4/93


A Study of High Integrity Ada: Tool Support for High Integrity Software Development

Author: Jepson, Brian, Andy Hutcheon, and John McDermid

Publisher: British Aerospace Defence / York Software Engineering

Reference Number: SLS31c/73-4-D

Sponsoring Organization: MoD - U.K. Ministry of Defence

Publication Date: 4/93


Ada 9x Project Report - Ada 9X Project Plan

Author: Anderson, Christine M.

Publisher: Office of the Under Secretary of Defense for Acquisition

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Ada 9X Project Office

Publication Date: 1/89


Ada 9X Project Report - Ada 9X Project Requirements Workshop

Publisher: Office of the Under Secretary of Defense for Acquisition

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Ada 9X Program Office

Publication Date: 6/89


Ada 9X Project Report - Ada 9X Project Revision Request Report

Author: Armstrong, Mary; et al.

Publisher: Office of the Under Secretary of Defense for Acquisition

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 8/89


Ada 9X Project Report - Ada 9X Project Requirements Development Plan

Author: Hook, Audrey; et al.

Publisher: Office of the Under Secretary of Defense for Acquisition

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Ida - Institute for Defense Analyses

Publication Date: 8/89


Ada 9X Project Report - Character Set Issues for Ada 9X

Author: Brender, Robert F.

Publisher: Office of the Under Secretary of Defense for Acquisition

Reference Number: SEI-89-SR-17

Sponsoring Organization: Ada 9X Project Office

Producing Organization: SEI - Software Engineering Institute

Publication Date: 10/89


Ada 9X Project Report - A Study of Implementation-Dependent Pragmas and Attributes in Ada

Abstract: Same as #10381.

Author: Fowler, Kenneth J.

Publisher: Office of the Under Secretary of Defense for Acquisition

Reference Number: SEI-89-SR-19

Sponsoring Organization: Ada 9X Project Office

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/89


Ada 9X Project Report - Ada 9X Revision Request Report, Supplement 1

Author: Carlson, S.; et al.

Publisher: Office of the Under Secretary of Defense for Acquisition

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI - IIT Research Institute

Publication Date: 1/90


Ada 9X Project Report - Shared Variables and Ada 9X Issues

Abstract: Same as Document # 10644

Author: Dewar, Robert B.K.

Publisher: Office of the Under Secretary of Defense for Acquisition

Reference Number: SEI-90-SR-1

Sponsoring Organization: Ada 9X Project Office

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/90


Ada 9X Project Report - The Fixed-Point Facility in Ada

Abstract: Same as Document # 10645

Author: Dewar, Robert B.K.

Publisher: Office of the Under Secretary of Defense for Acquisition

Reference Number: SEI-90-SR-2

Sponsoring Organization: Ada 9X Project Office

Producing Organization: SEI - Software Engineering Institute

Publication Date: 2/90


Ada 9X Project Report - Ada 9X Revision Issues (Release 1)

Publisher: Office of the Under Secretary of Defense for Acquisition

Publication Date: 4/90


Ada 9X Project Report - Ada 9X Revision Issues (Release 2)

Publisher: Office of the Under Secretary of Defense for Acquisition

Publication Date: 5/90


Ada 9X Project Report - Ada 9X Requirements Document (Draft)

Publisher: Office of the Under Secretary of Defense for Acquisition

Reference Number: Working Draft, Version 3.3

Producing Organization: Ada 9X Project Office

Publication Date: 8/90


Ada 9X Project Report - Mapping Rationale Document (Draft)

Author: Carlson, W.; et al.

Publisher: Office of the Under Secretary of Defense for Acquisition

Producing Organization: Ada 9X Project Office

Publication Date: 2/91


Ada 9X Project Report - Mapping Document (Draft)

Author: Carlson, W.; et al.

Publisher: Office of the Under Secretary of Defense for Acquisition

Producing Organization: Ada 9X Project Office

Publication Date: 2/91


Ada Language Maintenance and International Standardization: Phase 1 Interim Report

Author: Kamrad, J. Michael; et al.

Publisher: Honeywell Systems and Research Center / Alsys

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Honeywell Systems and Research Center / Alsys

Publication Date: 9/85


Ada Language Maintenance and International Standardization: Directory of Ada Design Documents

Abstract: In two parts: Printed Form and Printed Form Annex.

Author: Kamrad, J. Michael; et al.

Publisher: Honeywell Systems and Research Center / Alsys

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Honeywell Systems and Research Center / Alsys

Publication Date: 9/85


Ada Language Maintenance and International Standardization: Phase 2 Interim Report

Author: Kamrad, J. Michael; et al.

Publisher: Honeywell Systems and Research Center / Alsys

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Honeywell Systems and Research Center / Alsys

Publication Date: 11/86


Ada Language Maintenance and International Standardization: Directory of Ada Design Documents

Abstract: In two parts: Printed Form and Printed Form Annex.

Author: Kamrad, J. Michael; et al.

Publisher: Honeywell Systems and Research Center / Alsys

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Honeywell Systems and Research Center / Alsys

Publication Date: 11/86


Ada Language Maintenance and International Standardization: Documentation and Online Database for Ada Design Documents: User Manual

Author: Kamrad, J. Michael; et al.

Publisher: Honeywell Systems and Research Center / Alsys

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Honeywell Systems and Research Center / Alsys

Publication Date: 11/86


Ada Education and Training Study, Volume II, Team D: NATO

Author: Pyle, Ian; et al.

Publisher: AFCEA - Armed Forces Communications and Electronics Association - Europe

Producing Organization: AFCEA Europe

Publication Date: 4/87


Requirements for Evaluation and Validation of Ada Programming Support Environments

Abstract: The purpose of this document is to set forth requirements on the E&V effort. It is intended for use by the APSE E&V Team and by the support contractors in developing technology for the evaluation and validation of APSEs.

Author: Bailey, Betsy; et al.

Publisher: AJPO - Ada Joint Program Office

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: E&V - Evaluation and Validation Team, Requirements Working Group

Publication Date: 10/84


E & V Technical Support Contract Status Report (AJPO Presentation)

Abstract: Briefing

Publisher: TASC - The Analytic Sciences Corporation, 1 Jacob Way, Reading, MA 01867

Reference Number: SP-5234-8

Sponsoring Organization: Department of the Air Force, Air Force Wright Aeronautical Lab.

Producing Organization: TASC - The Analytic Sciences Corporation

Publication Date: 6/86


Preliminary Software Specification of NATO Ada Program Support Environment Linker / Loader (Version 1, Draft 3)

Author: Schulz, Hans A.

Publisher: Software Sciences Nederland

Publication Date: 4/87


Software Requirements Specification for the Syntax Directed Editor (SDE) of the NATO SWG APSE

Author: Mantha, S.

Publisher: PRIOR Data Sciences Ltd.

Sponsoring Organization: DLAEEM-3 Department of National Defence, Canada

Producing Organization: PRIOR Data Sciences Ltd.

Publication Date: 8/87


Requirements Baseline for an ACE Programming Support Environment (Including an ACE APSE)

Author: Konings, W.

Publisher: NATO

Producing Organization: NATO

Publication Date: 3/86


NATO SWG APSE Requirements, Version 1

Publisher: NATO

Producing Organization: NATO

Publication Date: 12/87


Ada Evaluation System: SWG APSE Tool Evaluation Requirements Document

Author: Pierce, R.H., I.Marshall, and S.D. Bluck

Publisher: Software Sciences Ltd.

Sponsoring Organization: MoD - Ministry of Defence of the United Kingdom

Producing Organization: Software Sciences Ltd.

Publication Date: 3/88


Guidelines for Minimal Evaluation of the NATO Special Working Group on the CAIS Implementation

Author: Carney, David J.

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

Reference Number: IDA Memorandum Report M-481

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 6/88


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

Publisher: CECOM - U.S. Army CECOM

Sponsoring Organization: CECOM - U.S. Army CECOM, Ft. Monmouth, NJ

Producing Organization: SofTech, Inc.

Publication Date: 1/84


Commercial Market Potentials for the Use of the Ada Programming Language

Author: Dikel, David, Audrey A. Hook, and Patricia L. Greene

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

Reference Number: IDA Memorandum Report M-106

Sponsoring Organization: Office of the Under Secretary of Defense for Research and Eng.

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 8/85


Ada Language System Status Briefing

Abstract: Viewgraphs

Author: Lieblein, Edward

Publisher: SofTech, Inc., 460 Totten Pond Road, Waltham, MA 02254

Producing Organization: SofTech, Inc.

Publication Date: 4/85


Determination of Data Collection Needs for the Ada Program: A Methodology for Identification and Collection

Abstract: This document describes a methodology for determining data collection requirements and applies this methodology to Ada based software development efforts.

Publisher: IITRI/DACS - Data & Analysis Center for Software, IIT Research Institute, P.O. Box 180, Rome NY 13440

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IITRI/DACS - Data & Analyis Center for Software

Publication Date: 2/85


Ada Curriculum Development Seminar held at Tuskegee Institute, AL from June 10 to July 20, 1984

Author: Richman, M. Susan, James M. Shoaf, and Donald C. Fuhr

Publisher: U.S. Army CECOM, CENTACS / Tuskegee Institute

Publication Date: 7/84


Common Ada Programming Support Anvironment (APSE) Interface Set (CAIS): Deferred and Not Considered Items

Author: Lake, J. Michael

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

Reference Number: IDA Memorandum Report M-202

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute fro Defense Analyses

Publication Date: 5/86


AVF Program Review

Abstract: Viewgraphs

Publisher: Ada Validation Facility, Wright-Patterson AFB, OH

Publication Date: 5/86


Military Computer Systems for Ada and Symbolic Processing (Volumes 1 and 2A)

Abstract: Proposal for the Defense Advanced Research Projects Agency and the Space and Naval Warfare Systems Command.

Author: Bate, Roger R.

Publisher: Texas Instruments Inc.

Producing Organization: TI - Texas Instruments

Publication Date: 10/87


CAIS Implementation Validation Capability Kit Technical Review

Abstract: Viewgraphs

Author: Facemire, Jeff

Publisher: SofTech, Inc. 1300 Hercules Drive, Houston, TX 77058

Publication Date: 10/87


(Draft) Military Standard [DOD-STD-2167A]: Defense System Software Development (Superseding DOD-STD-2167, 4 June 1985)

Abstract: This standard establishes a uniform software development process that is applicable throughout the system life-cycle. The requirements of this standard provide the basis for government insight into a contractor's software development , testing, and evaluation efforts. This standard incorporates practices that have been demonstrated to be cost-effective from a life-cycle perspective. The selection of such practices is based on information gathered by the DoD and industry. This standard is not intended to specify or discourage the use of nay particular software engineering or design technique. The contractor is responsible for selecting software engineering and design techniques that best support the achievement of contract schedules, milestones, and data item deliverables. This standard, along with other DoD and military documents referenced in Section 2, provides the means for establishing, evaluating, and maintaining quality in software and associated documentation. Data Item Descriptions (DIDs) applicable to this standard are listed in Section 6. These DIDs describe a concise and complete set of documents for recording information required by this standard.

Publisher: DOD

Reference Number: DOD-STD-2167A (Superseding DOD-STD-2167, 4 June 1985)

Publication Date: 4/87


Determination of the Underlying Task Scheduling Algorithm for an Ada Runtime System (Thesis)

Author: Whitted, Gary Alen

Publisher: AFIT - U.S. Air Force Institute of Technology, Wright-Patterson AFB, OH

Reference Number: AFIT/GCS/ENG/89D-18

Producing Organization: AFIT - U.S. Air Force Institute of Technology

Publication Date: 12/89


Summary of Technical Operations - 1988

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

Sponsoring Organization: Department of Defense

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/88


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

Abstract: This handbook improves on previous efforts to formalized Software Work Breakdown Structures and recommend changes to MIL-STD-881 by providing tailorable guidance through the utilization of the detailed Software Elements and the Work Breakdown Structure common framework procedures outlined in MIL-STD-881B. The relationship between the WBS to cost estimating models, and existing contractual cost reporting techniques are also described.

Publisher: US Army Cecom, Center for Software Engineering

Producing Organization: AJPO - Ada Joint Program Office

Publication Date: 7/91


Ada 9X Rationale: The Language / The Standard Libraries -- DRAFT, Version 4.0

Abstract: This document describes the rationale for Ada 9X, the proposed revised standard. It is arranged into four parts: 1) Introduction to Ada 9X, presenting a general discussion of the scope and objectives of Ada 9X and its major technical features; 2) a chapter-by-chapter account of the Core language; 3) annexes which address the needs of specialized application areas, and 4) an Appendix, which addresses the issue of upward compatibility with Ada 83 and shows that, for normal programs, the goal of compatibility has been achieved.

Author: Ada 9X Mapping / Revision Team

Publisher: Intermetrics

Reference Number: ISO/IEC JTC1/SC22 N 1455; ISO/IEC JTC1/SC22 WG9 N 192

Sponsoring Organization: Ada 9X Project Office

Producing Organization: Intermetrics

Publication Date: 9/93


Significant Accomplishments and Documentation of the International Purdue Workshop on Industrial Computer Systems (Part 2 - The Long Term Procedural Language)

Publisher: Purdue University

Sponsoring Organization: Dept. of the Navy/Office of Naval Research

Producing Organization: Purdue Laboratory for Applied Industrial Control

Publication Date: 1/77


Computer Science Research at Langley

Abstract: This NASA workshop was designed to highlight ongoing research in computer science at Langley Center                                                                 

Author: Voigt, Susan J. (ed)

Publisher: NASA, Scientific and Technical Information Branch

Reference Number: NASA Conference Publication #: 2236

Sponsoring Organization: NASA

Producing Organization: NASA Langley Research Center

Publication Date: 6/82


APSE AIE and ALS I&T Technical Progress

Publisher: TRW Systems Engineering Applications Division

Sponsoring Organization: Naval Oceans Systems Center

Producing Organization: TRW Systems Engineering Applications Division

Publication Date: 4/82


Twenty-Second Annual ACM Computer Science Conference Proceedings: Scaling Up -- Meeting the Challenge of Complexity in Real-World Computing Applications

Abstract: The papers contained in these proceedings are arranged by session: 1A- Real-time Systems ("Augmented Priority Ceiling Protocol: Task Synchronization for Preemptive Real-time Systems," "A Rapid Prototyping System for Real-time Systems"), 1B- Database Query Optimization ("A Better Approximation Algorithm for the Query Optimization Problem"), 1C- Networks ("A Tool for Debugging Internet Multicast Routing," "A State Transition Based Incremental Protocol Specification"), 2A- Software Engineering ("A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria," "System Level Testing of Distributed Systems," "A Graphical Methodology for Concurrent System Design," "A Prgram Understanding Environment Based on the Star Approach to Tool Integration"), 2B- Algorithms ("An Evolutionary Approach to Combinatorial Optimization Problems," "Terminal Assignment in a Communications Network Using Genetic Algorithms," "Graph-Theoretic Approaches to Problem Decomposition in Multi-Agent Systems," "Linear Algorithms for Two Independent Set Problems in Permutation Graphs"), 2C- Data Modeling and Visualization ("Visualization of a User's Information Space," "A Data Modeling Framework for Queueing Network Models," "Incorporating Semantics into 2-D Strings," "Characterization of Imperative Programs Involving Complex Iterations"), 3A- Software Metrics ("Empirical Validation of a New Structural Measure," "An Approach to Modeling and Measuring the Design Complexity of Abstract Data Types"), 3B- Object-Oriented Databases ("Issues in Formal Semantics of an Object Oriented Database," "A Taxonomy of Views in OODBS"), 3C- Distributed and Parallel Systems ("A Genetic-Based Solution to Load Balancing in Parallel Computers," "A Probabilistic Dynamic Load Balancing Algorithm for Homogeneous Distributed Systems {With Extension to Hypercubes}"), 3D- Programming Languages ("A Portable Implementation Method of Lucid with Message Passing," "Interprocess Communication and Hierarchically Shared Memory Space in ELC"), 3E- Computer Supported Cooperative Work (Transaction Management and Object-Oriented Modeling in a Distributed Dynamic Decision-making Environment," "ImagineDesk: A Software Platform Supporting Cooperative Applications"), 4A- Parallel Programming ("A Constant Response Time Simultaneous Access Dictionary Machine," "Three-Dimensional Grid Partitioning for Network Parallel Processing," "Increasing Concurrency Through Optimism: A Reason for HOPE"), 4B- Systems ("Performance Evaluation of CISC Computer Systems under Single and Two-Level Cache Environments," "The QuickRing Network," "Multi-View Access Control Memory Computer System"), 5A- Software Engineering Process ("From Structured Analysis to Formal Specifications: State of the Theory," "A Monitoring Approach to Active Project Management," "Why We Tolerate Defective Software," "Identifying Essential Competencies of Software Engineers"), 5B- Databases 1 ("Recovery for Real-time Main Memory Database Systems," "Partitioning Algorithms for a Distributed Deductive Database," "Data Replication Versus Timing Constraints in Distributed Database Systems," "Evolutions of Object States in Temporal Object-Oriented Databases"), 6A- Object Oriented Systems ("Stability, Coupling, and Cohesion of Object-Oriented Software Systems," "Knowledge-Based OOA and OOD," "An Illustration of Extending Structured Software Development to Include Object-Oriented Techniques," "Comprehending Large-Scale Connectivity in Object-Bases"), 6B- Databases 2 ("Attributes: Should We Eliminate Them from Semantic Data and Object-Oriented Models?," "Computation of Chain Queries In Distributed Database Systems," "Security Constraint Processing in a Distributed Database Environment," "Signature File Generation Techniques for Query Processing in Object-Oriented Databases"), and 6C- Algorithms ("Two-Level Grammars and Robustness in Natural Language Processing," "A Formal Model for Heuristic Search," "An Algorithm for Finding the Compact Sets in the Plane," "Algebraic Petri Nets and Their Applications").

Author: Cizmar, Dawn (ed)

Publisher: ACM Press

Reference Number: ISBN: 0-89791-634-4

Sponsoring Organization: ACM

Publication Date: 3/94


A Collection of Papers Presented at the Workshop on High-Level Language Computer Architecture

Publisher: High-Level Language Computer Architecture Workshop Committee

Sponsoring Organization: U.S.A.F. - Space Division/Aerospace Corporation

Producing Organization: High-Level Language Computer Architecture Workshop Committee

Publication Date: 10/81


Report on Ada Progrm Libraries Workshop

Author: Goguen, Joseph A. and Karl N. Levitt

Publisher: SRI International

Sponsoring Organization: Department of Defense, Ada Joint Program Office

Producing Organization: SRI International

Publication Date: 11/83


The Small Computer (R)evolution - Proceedings of COMPCON

Abstract: The papers contained in these proceedings are arranged by session: SESSION 2A- Artificial Intelligence on Personal Computers ("An Artificial Intelligence Expert Program for a Restricted Memory Microcomputer," "An Application of Expert Technology to Nuclear Power Plant Operations," "The Desktop Expert," "Do-It-Yourself Expert Systems with Artificial Intelligence on a Microcomputer"), SESSION 2B- Rehosting Software -- Strategies and Experiences ("An Evlauation of PC-DOS and UNIX for the PC Environment," "Dialogue Mechanisms in a Tabletop Programming Environment," "Rehosting a Database Query Facility," "From Large Mainframes to Small {?} Workstations -- Powerful Tools Increase in Value"), SESSION 2C- Small Computer Applications from Around the World ("Design of Arabic Terminals Using Graphics Controllers," "Computer Assisted Regional Planning with a Small Computer," "Small Microprocessor Based Computer Network: Its Use in Control of Aluminium Smelter Pot Lines," "Using Local Area Networks in Integrated Manufacturing Systems"), [Panel] SESSION 2D- Software Ownership Rights ("Software Ownership Rights"), SESSION 3A- Optical Storage Technologies ("Optical Storage Research," "Optical Disk Directions," "Commercial Optical Storage Products") SESSION 3B- Software Development Tools and Workstations ("Computer-Aided Software Engineering {CASE} Foundation for Software Factories," "Software Tool Allocation in Distributed Software Engineering Environments," "The Small Computer as a Solution to the Software Crisis," "Workstation-Based Rapid Simulation Aids for Distributed Processing Networks"), SESSION 3C- Small Computer Applications in the U.S. ("Instructional Computer Laboratories: A Case Study of Microprocessor Utilization," "A Memory Economic 3-D Finite Element Mesh Generator for Small Computers," "A Data Acquisition System for Research in Thermal Physiology," "USIPS {User-System Interface Prototyping System}: A System Evaluation and Development of Workstation Software for C3 Applications"), [Panel] SESSION 3D- Computer Science and Engineering Employment Contracts ("Computer Science and Engineering: Employment Contracts"), SESSION 5A- Japanese vs. U.S. Software Production Methods ("U.S. vs. Japanese Software Production: A Cultural Viewpoint," "Organizational Effort for Reusing Existing Softwares," "Fujitsu Software Factory Approach," "Software Project Management: An Experiment in Hitachi Software Engineering Company"), SESSION 5B- Program Management Using Small Computers ("A Computer-Based Project Management Assistant," "The Program Manager's Support System {PMSS}," "Low Cost/No Maintenance Tracking System"), SESSION 5D- Software in Safety and Security -- Critical Systems ("Software in Safety and Security Critical Systems," "Position Paper on Software in Safety and Security Critiacl Systems," "Measuring Software Safety," "A Mathematical Basis for Software Engineering," "Software Safety is Redundance," "Software Safety," "Software Safety and Security -- A Common Technology," "Software System Safety," "FAA Perspective on Software Safety and Security"), SESSION 7A- Networking Microcomputers," "On the Design of a Microprocessor-Based Network," "A High Capacity Multiple Microprocessor X.25 Packet Switching Node," "An Efficient Broadcast Protocol Embedded in Multi-Hop Radio Networks," "Linking Personal Computers by Packet Radio"), SESSION 7B- Advanced Architecture Processors ("Advanced Architecture Processors," "Parallel Processing on the CAP: Cellular Array Processor," "Chip-Oriented Data-Flow Image Processor: TIP-3," "An Architecture of a Small Control Processor for High-Speed Real-time Signal Processing"), SESSION 7C- Computer-Aided Instruction Using Personal Computers ("PMS -- A Computer Program to Teach PASCAL," "Where's the Intelligence? A Consultant System Approach to Teaching and Learning," "Teaching Ada Using the Small Computer"), SESSION 7D- Design and Verification of Software for Safety and Security -- Critical Systems ("Design and Verification of Software for Safety and Security Critical Systems," "The Role of Formal Verification in Software Safety and Security," "What is the Difference Between Safety, Security, and Realiability?," "Murphy: Expecting the Worst and Preparing for It," "The Analysis and Implementation of Nuclear Certification Plan of the GLCM"), SESSION 8B- Software Development Environments ("Evolution Towards a Comprehensive Software Development Environment," "Software Manufacturing: A Fifth Generation Paradigm," "Management of Reusable Software"), SESSION 8C- LAN Technology ("LAN Technology," "On-line Maintenance in Autonomous Decentralized Loop Network: ADL," "Efficient Local Area Network Interconnection Using a Bridge," "Measured Performance of a UNIX-Based Local Area Network -- Keio S&Tnet"), SESSION 8D- Software Assurance for Safety and Security Critical Systems," "Software Safety Analysis," "A Methodology for Improving Software Safety Assurance," "The Software Developer's Role in Assuring Nuclear Safety," "Verifying Software System Safety"), [Panel] SESSION 9A- Non-Tactical Mini-Computer Network Aboard an Aircraft Carrier ("A Case Study of Small Computer Utilization in the ZOG/Vinson Technology Demonstration Project," "The ZOG/Vinson Project: An Experiment in Direct Technology Transfer," "Evaluation of a Non-Tactical Mini-Computer Network On-Board the USS Carl Vinson {CVN-70}"), [Panel] SESSION 9B- Projected Impact of Small Computers on the Software Development Process ("Small Computers: For Case and Software Factories"), SESSION 9C- Hardware Design and System Architecture ("Hardware Design and System Architecture," "Design of Control Unit for Diagnosis of Multiprocessors," "'Signal Flow' Architecture," "VLSI Spanning Tree Generators," "Task Distribution on a Hierarchical Multicomputer"), SESSION 9D- Network Service and Workstation ("Network Service and Workstation," "Computer Network Status Control for Various Communications Networks," "Distributed Interoffice Mail System Based on Integrated Document Interchange Protocols," "An Office Workstation with a More Friendly User Interface for Document Editing"), SESSION 10A- Software Development Environments ("Software Development Environment," "NANO-2: High-Level Parallel Programming LAnguage for Multiprocessor System HYPHEN," "Intelligent Environment for End-User Oriented Application Generation," "Formal Approach to Database Description"), [Panel] SESSION 10C- Communications Graphics: A New Applications Technology for Small Computers ("Understanding Communication Graphics," "Training Applications for Communication Graphics," "Marketing Applications of Communication Graphics," "Teleconferencing Applications of Communication Graphics"), and [Panel] SESSION 10D- Small Computer User Groups ("Computer User Group").

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0546-4; Library of Congress: 84-81841; IEEE Catalog #: 84CH2070-1

Sponsoring Organization: IEEE

Publication Date: 9/84


Proceedings of Milcom 3: Military Computers and Software

Abstract: The presentations contained in these proceedings are arranged by session: 1- System Problems of the Future (Introduction, "Competition," "Army Problems," "Navy Battle Group," "Air Force Space Systems"), 2- Emerging Technologies (Introduction, "VHSIC Program," "Ada Program," "STARS Program," "Expert Computers," "Supercomputers," "Microelectronics"), and 3- The Evolving Partnership: Congress/Industry/Military (Introduction, "Congressional Views," "DoD View on Software," "Industry Cooperation," "Tactical C3 -- Acquisition").

Publisher: American Defense Preparedness Association

Sponsoring Organization: American Defense Preparedness Association

Publication Date: 1/84


Proceedings of the Fourth Annual Conference on Computer Developments

Abstract: The papers contained in these proceedings are arranged by session: SESSION 1- "Preliminary Specifications for Telecommunication Interconnection of Two Remote iAPX-432-Based Systems," "Design of a Microprogrammed Controller Using the AM 29116 Bipolar Microprocessor," "Real-time Multi-tasking Operating Systems for 16-Bit Microcomputers," "Free Run Signature Tables," "Sampling and Estimation Consideration for Monitoring Changes to Vegetative and Land-Use Cover Types Using Remotely-Sensed Satellite-Based Data;" SESSION 2- "The TRW Box Language -- A New Approach to Structured Programming," "Techniques for Project Management in a Distributed Processing Network," "Evaluation of a New Type of Information Processing Service for Very Small Business," "Developing and Implementing Relational-Like Data Structures in an IMS/VS Environment," "Utility Control System;" and SESSION 3- "A Sequential Process Specification Language," "A Mealy-Machine Implementation of Minsky's Turing Machine for Multiplication Utilizing Structure Table Driven Software Techniques," "A Case for Teaching Formal Program Verification."

Publisher: University of Houston (Clear Lake City)

Sponsoring Organization: University of Houston (Clear Lake City)

Publication Date: 11/82


Proceedings of the AdaTEC Conference on Ada

Abstract: The 1982 AdaTEC Conference on Ada summarizes and assesses progress in the application and implementation of the language. The contents of these proceedings are arranged by session: 1- Tasking and Runtime Systems ("Design and Implementation in Ada of a Runtime Task Supervisor," "Monitoring for Deadlocks in Ada Tasking," "Implementation Strategies for Ada Tasking Idioms"); 2- KAPSE Issues ("The KAPSE for the Ada Language System," "Portable Ada Programming System: A Proposed Run-time Architecture," "Adabase: A Data Base for Ada Programs"); 3- Education ("A Methodology for Programming Abstract Data Types in Ada," "Ada Design Language for the Structured Design Methodology," "On the Suitability of Ada Multitasking for Expressing Parallel Algorithms"); 4- Compiler Front Ends ("The ALS Ada Compiler Front End Architecture," "An Efficient Method for Handling Operator Overloading in Ada," "On the Access-Before-Elaboration Problem in Ada"); 5- Formalism ("Testing the INRIA Ada Formal Definition: The USC-ISI Formal Semantics Project," "Rendezvous with Ada -- A Proof Theoretical View," "An Operational Semantics of Multitasking and Exception Handling in Ada"); 6- Applications ("Using Ada for Industrial Embedded Microprocessor Applications (II)," "The Integration of Existing Database Systems in an Ada Environment," "An Ada Package for Discrete Even Simulation"); 7- Tools ("A Command Language for the Ada Environment," "Abstract Syntax Based Programming Environments," "Linkage of Ada Components -- Theme and Variations"); 8- Operating System Issues ("Comparative Efficiency of Different Implementations of the Ada Rendezvous," "A Formal Model of Distributed Ada Tasking," "An Ada Virtual Operating System"); and 9- Intermediate Languages ("LOLITA -- A Low Level Intermediate Language for Ada," "Diana as an Internal Representation in an Ada-In-Ada Compiler," "An Operational Definition of Intermediate Code for Implementing a Portable Ada Compiler").

Publisher: ACM Press

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

Sponsoring Organization: ACM SIGPLAN Technical Committee on Ada

Publication Date: 10/82


Proceedings of the Ada-Europe International Conference -- Ada: Moving Towards 2000

Abstract: The eleventh Ada-Europe Conference shows that Ada has grown form a language for researchers and academics into a tool in software engineering practice; papers were sought that show Ada has ripened in all aspects of software engineering. The titles of the papers contained in these proceedings are 1- Distributed Application Designed Using MASCOT and Implemented in Ada; 2- Real-time Ada in the International Space Station Freedom; 3- Managing Ada Object-Oriented Development; 4- Software Engineering, Ada and Metrics; 5- Using Ada Source Code Generators in a Large Project; 6- Design and Code Metrics Through a DIANA-Based Tool; 7- Using Ada in Integrating ATC Systems; 8- An Evaluation of Ada Source Code Reuse; 9- Porting Embedded Real-time Ada Software; 10- Reusable Executives for Hard Real-time Systems in Ada; 11- Designing Hard Real-time Systems; Runtime Systems Support for Data-Oriented Synchronization in Ada 9X; 12- Decimal Arithmetic in Ada; 13- Task Dependence Net as a Representation for Concurrent Ada Programs; 14- Detection and Avoidance of Elaboration-time Problems for Multi-Unit Real-time Ada Applications; 15- Simulation of Mosca Specifications in Ada; 16- Considerations with Regard to Validation of Ada Debuggers; 17- SWG APSE Test Support Toolset (Assessment of CAIS-A Interface Set; 18- Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms; 19- Extending Working Environments for the Development of Reactive/Adaptive Systems with Intelligent Controls; 20- Predicting the Speed-up of Parallel Ada Programs; 21- A Highly Parallel Ada Task Scheduler; 22- STRAda -- An Ada Transformation and Distribution System; 23- AMPATS -- A Multi-Processor Ada Tool Set; and 24- A Practical Use of the Ada Rendez-Vous Paradigm in Distributed Systems.

Author: van Katwijk, J. (ed)

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-55585-4

Publication Date: 6/92


Proceedings of the Third Joint Ada-Europe/AdaTEC Conference

Abstract: The papers contained in these proceedings are arranged by topic: PART 1- Ada -- Industrial Experiences (Implementation Reports, Evaluation of Commercially Available Retargetable and Rehostable Ada Systems, The Introduction of Ada in the Aerospace Industry, Ada as a Programming Langugae for a Telematic Services Project, The Ada "Program Library:" Its Meaning and Its Implementation in an Existing Generic Environment in Industry, Discrete Event Modelling in Ada: Implementation and Application), PART 2- Ada -- Programming Support Environments (A Minimal APSE, A Revised STONEMAN for Distributed APSE, Co-operating CHILL and Ada Compiler Systems, APSE Tools -- Rolm's Experience, Toward an Interactive Development Environment for Ada), PART 3- Ada -- Aspects of Implementation (Ada and Reliability, Converting to Ada Packages, Towards a Systematic and Safe Programmation of Exception Handling in Ada, Guidelines for the Design of Large Molecular Scientific Libraries in Ada, Numeric Types in Ada -- Some of Their Less Obvious Features, Interfacing Ada to FORTRAN), PART 4- Ada -- Education Needs (Dependence of Ada Education on the Support Environment, Some Educational Principles Relating to the Teaching and Use of Ada, A Training Concept for hte Cost-Effective Development of Reliable Software Using the Programming Language Ada, Needs in Ada Education: Experiences and Observations), and PART 5- Ada and Software Engineering Methodology (A MASCOT Approach Using Ada, Limits on the Use of Ada for Specifications, ASPHODEL -- An Ada Compatible Specification and Design Language, Experience with an Object-Oriented Method of Software Design, Formal Specification Techniques for Parallel and Distributed Systems, AdaKOM -- Electronic Mail and Conferencing Facility for the Ada Community).

Author: Teller, J. (ed)

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-30102-5; Library of Congress: 84-45680

Sponsoring Organization: CEC

Publication Date: 6/84


Design and Implementation of Programming Languages, DoD Sponsored Workshop

Abstract: This report contains the proceedings of a workshop organized for the purpose of identifying the current state of the art of programming language design and implementation. Attendees included representatives from academe, industry, and the services; the workshop was conducted in four sessions, the first threebeing technical sessions and the fourth being a general discussion of the common language effort. The proceedings are presented in five sections: Section 1 - The Common Programming Language Effort of the Department of Defense; Section 2 - Data Types; Section 3 - Parallel Processing, Machine Dependency, and Program Verification; Section 4 - Programming Language Specifications, Optimization, and Run-Time Support Systems; and Section 5 - Workshop Position Papers (including the titles "A Note on Pointers," "Some Issues in Data Types and Type Checking," "Models of Data Models and Data Types," "Encapsulated Data Types and Generic Procedures," "Runtime Checking of Data Access in Pascal-like languages," "A Language Design for Structured Concurrency," "Language Features for Parallel Processing and Resource Control," "Separate Definition and Compilation in LIS and Its Implementation," "Requirements for Real-time Languages," "Remarks on the Impact of Program Verification on Language Design," "Target Computer Independent Optimization Procedures for Metacompilers," "The Need for Optimization Standards," "A Reminder for Language Designers," "The TINMAN and Communications Applications," "Programming Language Design Issues," "Parallel Processing and Modular Software Construction," and "After-dinner Speech").

Author: Williams, John H. and David A. Fisher (eds)

Publisher: Springer-Verlag

Reference Number: ISBN: 3-540-08360-X; Library of Congress: 77-21344

Sponsoring Organization: DoD

Publication Date: 10/76


Software Engineering Education: Proceedings of the SEI Conference

Abstract: These proceedings are a record of two events held in Pittsburgh, Pannsylvania as part of the SEI Software Engineering Education and Training Week: the Third SEI Conference on Software Engineering Education and the SEI Workshop on an Undergraduate Software Engineering Curriculum. The papers contained in this publication are arranged into two sections, based upon the eventat which they were presented: SECTION 1- Third SEI Conference on Software Engineering Education ("Teaching Maintenance Using Large Software Arftifacts," "Project Work in Software Maintenance Education," "Improving Software Maintenance Skills in an Industrial Environment," "An Onsite Education Program for Software Quality," "The Rockwell Software Process Training Program," "Data Structures, Algorithms, and Software Engineering," "Teaching Software Maintenance," "A Proposal for a Bachelor's Degree Program in Software Engineering," "Holistic Case Study Approach to Ada Based Software Engineering Training," "Academic/Industrial Collaboration in Project Manager Education," "The Rockwell Avionics Group Software Engineering Training Program," "Teaching Object-Oriented Programming Using the Macintosh MPW/MacApp Environment," "A Personal Computer Environment for Real-time Programming," "Exploratory Studies of the Software Testing Methods Used by Novice Programmers," "Improving User Manuals in Software Engineering Education," "Panel on Software Engineering Ethics," "SEI Report on Graduate Software Engineering Education") and SECTION 2- SEI Workshop on an Undergraduate Software Engineering Curriculum ("Programming and Its Relation to Computer Science Education and Software Engineering Education," "Software Engineering is NOT Computer Science," "Anticipating the Evolution of Undergraduate Software Engineering Curricula," "A Separate Undergraduate Software Engineering Curriculum Considered Harmful," "Is the Time Right for an Undergraduate Software Engineering Degree?," "Software Engineering as Part of an Undergraduate Computer Science Program," "Questions in Planning Undergraduate Software Engineering," "Undergraduate Software Engineering Education: Prospects and Opportunities," "Position Statement: Software Engineering Undergraduate Education," "Developing an Undergraduate Software Engineering Curriculum within an Existing Computer Science Program," "Software Engineering in a BS in Computer Science," "Integrating Software Engineering into an Undergraduate Computer Science Curriculum").

Author: Gibbs, Norman E.

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-97090-8; Lecture Notes in Computer Science: 376

Sponsoring Organization: SEI

Publication Date: 7/89


Proceedings of the Ada-Europe International Conference -- Ada: Experiences and Prospects

Abstract: The ninth annual Ada-Europe Conference had as its theme "Experiences and Prospects;" papers were sought describing experiences of using Ada throughout the project lifecycle. Contents of these proceedings ten parts: PART 1- Ada Application Experience 1- Commercial Systems ("MARC: A Telecom System in Ada," "Cost Effectiveness of Using Ada in Air Traffic Control Systems," "An Ada Case Study in Cellular Telephony Testing Tools"), PART 2- Ada Application Experience 2- Defence Systems ("Developing Maintainable and Reliable Ada Software: A Large Military Application's Experience," "Introducing Ada and Software Engineering in the Swedish Defence Community: Expectations, Experiences, and Prospects," "C2P Ada Shadow Program: Design, Prototype Development and Implementation of Command and Control Software"), PART 3- Design Aspects ("Software Reuse in Ada," "Controlling Complexity in Ada Design Representation," "Does Ada Really Contribute to the Development of Embedded Computing System (ECS)?"), PART 4- Environments and Tools ("The MALPAS Analysis System for Ada," "Projections from a Decade of CASE," "An Expert System for Selecting anmd Tailoring Abstract Data Type Implementations"), PART 5- Reliability and Testing ("Experience and Suggestions on Using Ada to Implement Internal Program Representations," "What Does Ada Bring to the Building of Test Programs?," "Insecurities in Ada"), PART 6- Object Oriented Design ("Graphic Interface Management in Ada," "Lessons Learned: Object-Oriented Methodologies and Ada," "An Ada-OODed Application On-Board a Submarine"), PART 7- Hierarchical Object Oriented Design ("On the Translation of HOOD Nets into Ada," "Reducing the Risk of Using Ada On-Board the Columbus Manned Space Elements," "Why not Combine HOOD and Ada?"), PART 8- Language Issues ("A New Exception Handling Mechanism for Ada," "Ada for the Description of Wavefront Array Processors," "Hard Deadline Scheduling Using Ada"), PART 9- Distribution ("Ada as aTool: Experiences and Results," "Ada in Use: Experiencing Design and Implementation of a Portable Man Machine Interface," "Towards Supporting Distributed Systems in Ada 9X"), and PART 10- Ada Application Case Studies ("The Ada Prototype Project of the Defense Logistics Agency," "Management and Quality Aspects in the Realization of a Real-time Simulator in Ada," "An Ada Software Port Case Study").

Author: Lynch, Barry (ed)

Publisher: Cambridge University Press

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

Sponsoring Organization: CEC

Publication Date: 6/90


Proceedings of the Joint Logistics Commanders Joint Policy Coordinating Group on Computer Resource Management

Abstract: These proceedings contain reports, each arranged in the same manner (1- Objective, 2- Scope, 3- Approach, 4- Discussion, and 5- Recommendations), of panels involved in the workshop: A- Report of the Panel on Software Documentation, B- Report of the Panel on Hardware/Software Firmware Configuration Item Selection Criteria, C- Report of the Panel on Standardization and Accreditation of Computer Architecture, D- Report of the Panel on Estimating Software Costs, and E- Report of the Panel on Software Reusability.

Publisher: U.S. Army, Navy, and Air Force

Publication Date: 11/81


Presentation Material for ICASE/NASA Langley Workshop on Real-Time Programming for NASA Flight Projects

Publisher: NASA, Data Systems and Analysis Directorate

Publication Date: 10/79


Distributed Ada: Developments and Experiences - Proceedings of the Distributed Ada Symposium

Abstract: The symposium and these proceedings sought to heighten awareness of progress and remaining issues in the development of distributed Ada. This volume contains thirteen papers on distributed Ada: "Distributed Ada -- the Issues," "Distributed Ada -- a Case Study," "Parallel Ada for Symmetrical Multiprocessors," "The York Distributed Ada Project," "From DIADEM to DRAGOON," "Honeywell Distributed Ada -- Approach," "Honeywell Distributed Ada -- Implementation," "Ada for Tightly Coupled Systems," "A Pragmatic Approach to Distributed Ada for Transputers," "Distributed Ada on Shared Memory Multiprocessors," "The MUMS Multiprocessor Ada Project," "A Portable Common Executable Environment for Ada," "Supporting Reliable Distributed Systems in Ada 9X."

Author: Bishop, Judy M. (ed)

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-39251-9

Sponsoring Organization: CEC

Publication Date: 12/89


Software Test and Evaluation Workshop (Transcript of Proceedings)

Publisher: Control Data Corporation

Sponsoring Organization: Office of the Director Defense Test and Evaluation

Producing Organization: Control Data Corporation

Publication Date: 9/82


Washington Ada Symposium (WadaS) Proceedings -- Ada Acquisition Management: Both Sides of the Coin

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

Author: Johnson, Joseph P. (ed)

Sponsoring Organization: ACM, Johns Hopkins University

Publication Date: 3/84


Proceedings: Ada Conference - NATO's Transition to Ada

Abstract: The purpose of the STC Ada Conference was to provide a forum for the presentation and discussion of topics related to the use of the Ada programming language and Ada Programming Support Environments (APSEs), hoping that the exchange of views would facilitate the introduction of Ada into the NATO environment and that the attendees would gain mutual benefit from Ada experience in NATO nations. The contents of these proceedings are arranged by date of presentation and session topic: MONDAY -- Session - Policy ("NATO Ada Policy," "CEC Ada Policy," "Dutch Ada Policy," "German Ada Policy," "French Ada Policy," "Norwegian Ada Policy," "UK Ada Policy," "US Ada Policy"), TUESDAY -- Session - Ada Experience ("Using Ada on Very Large Systems," "Observations on the Use of Ada," "Experience with Ada in the CCIS 'RUBIN'," "A Radar Tracking System in Ada," "Ada in Real-time Applications: A Pilot Implementation," "Development of a Message Handling and Processing System in Ada," "Use of Ada for Real-time Avionics Applications," "Project Management Experience of Ada," "Ada Implementation: Lessons Learned"), WEDNESDAY -- Session - Ada Software Engineering Environments ("ACE APSE Baseline Requirements," "NATO APSE Specifications," "PCTE and CAIS," "Ada Development Environment for Embedded Computers," "Security Requirements for an APSE," "GEC Software IPSE Development," "Some Advanced Tools fpor APSEs," "The ISTAR APSE," "Olivetti Integrated Development Environment for Ada {OLIDEA}," "A Distributed CAIS"), THURSDAY -- Session - Transition to Ada ("Introduction of Ada Awareness in NATO," "UK Defence Ada Activities," "Settling Down wiht Ada," "NATO's Ada Training Program," "HIS Experience with Introducing Ada," "Real Issues in Ada Education," "Introduction of Ada into Marconi Radar Systems," "Strategy for Early Phases in the Ada Transition," "Experience with Ada Education at the USAF Academy," "Introduction of RUBIN in the German Forces," "Hunting Engineering's Transition to Ada"), and FRIDAY -- Session - Miscellaneous ("Ada in ICL: Past, Present, and Future," "Formally Defining the KAPSE {Implementation and Feasibility}," "Interim Staus of the AFCEA Ada Education and Training Study," "Ada Training Experience in MOD UK").

Publisher: NATO

Producing Organization: SHAPE Technical Centre, The Hague, Netherlands

Publication Date: 10/86


Tutorials of the Eleventh Annual Washington Ada Symposium (WAdaS) and Summer ACM SIGAda Meeting -- Ada in Applications

Abstract: These tutorials include presentations with the following titles: "Advanced Ada Topics," "Ada 9X: An Object-Oriented View," "DoD Reengineering," "Strategies for Transition to Ada 9X," "Software Architecture: Senses and Trends," "Introduction to Ada 9X," "Ada 9X and SQL2," "Design of Concurrent Software with Entity Life Modeling," and "A Manager's Guide to Ada 83."

Sponsoring Organization: ACM/SIGAda, AJPO

Publication Date: 7/94


Proceedings Report for the Software Quality Workshop

Abstract: The information contained in these proceedings appears in several sections and appendices: SECTION 1- Introduction (Background, Objectives), SECTION 2- Workshop Approach, SECTION 3- Results (Revised Numbering of Issues and Subissues, Subissue Status Report, Proposed Revisions), APPENDIX A- Workshop Attendees, APPENDIX B- Workshop Agenda, APPENDIX C- Opening Remarks, APPENDIX D- Panel Members and Issues Assigned, APPENDIX E- Subissue Status Report, and APPENDIX F- Paragraph Revisions Submitted by the Workshop.

Author: Chamberlain, Jim, John Jeffries, and Cathy Welch-Eckey

Publisher: Logicon

Reference Number: Logicon: 860269 SED-082

Sponsoring Organization: Joint Logistics Commanders (JLC) Comp. Software Management Subgp

Producing Organization: Logicon

Publication Date: 5/86


Proceedings of the Twelfth Annual National Conference on Ada Technology

Abstract: The papers of contained in these proceedings are arranged by session topic: SESSION 1- Software Engineering ("Comparison of Design Diversity Techniques for Fault Tolerant Ada Software Development," "An Overview of the Ada Semantic Interface Specification {ASIS}," "Ada's Role in Preventing Data Corruption: Theory vs. Reality in a large Avionics Software Project"), SESSION 2- Metrics ("The Role of the Ada Compiler Evaluation System in Selection and Use of a Compilation and Execution Environment," "Implementation of Six Object-Oriented Metrics," "Data from an Ada Laboratory"), SESSION 3- Ada Language Issues ("Ada Integration for an MS-Windows Tool Framework," "Software Reengineering Assessment Handbook," "Application Specific Languages and Ada"), SESSION 4- Education: The Undergraduate Student and Ada ("Ada, A Software Engineering Tool, in Introductory Computer Science Programming Courses at Sacred Heart University: Mutual Benefits," "Making Ada 'Exciting and Fun' for Undergraduates," "Teaching the Concept of Reusable Software Components with Ada"), SESSION 5- Object Oriented Development ("Cognitive Analysis, Design, and Programming Toward Generalization of the Object Oriented Paradigm and the Reuse and Conversion of Legacy Code," "Experience in Testing Object-Oriented Ada Software," "A Systematic Object Identification Technique in Object-Oriented Paradigm"), SESSION 6- Education: Competition ("Ada Versus Pascal for Software Educaiton and Practice," "Ada versus Modula-2: A Plan for an Empirical Comparison of their Effectiveness in Introductory Programming Courses," "A Note on Teaching Abstract Data Types Through Ada and C++"), SESSION 7- Education: Competition of the Languages ("A Year-long Sequence in Software Engineeringn to use the Language Ada in Undergraduate Curriculum," "A Comprehensive Software Engineering Educational Experience," "An Undergraduate Software Engineering Course Sequence Using Ada"), SESSION 8- Education: The Undergraduate Student and Software ("Ada: The Leitmotif of Software Engineering Education," "Ada Beyond Implementation," "An Ada/Software Engineering Migration Training Plan"), SESSION 9- Methods ("The Product-Driven Development of Real-Time Ada Executive for the Space Shuttle Cockpit Upgrade," "Software Logistics: Knocking at the Army's Door," "Sofware Process Definition for an Ada Program with Significant Software Reuse"), and SESSION 10- Reuse ("Identifying Reuse Opportunities With and Across Organizational Boundaries," "Developing Reusable Objects in Ada: A First Time Experience," "Integrating Ada into Reusable Software Engineering").

Publisher: AJPO

Reference Number: AD#:

Sponsoring Organization: ANCOST, Inc.

Producing Organization: Host: Norfolk State University

Publication Date: 3/94


Cost/Benefits Analysis for Technology Transfer of Reusable Software Implementation Project (RSIP) Methodology into Navy Systems - Work Initiation Meeting

Publisher: Lockheed Missiles and Space Company

Sponsoring Organization: Space and Naval Warfare Systems Command

Producing Organization: Lockheed Missiles and Space Company

Publication Date: 3/86


Seventh Annual ASEET Symposium Proceedings

Abstract: The papers contained in these proceedings are arranged by presentation date: WEDNESDAY, JANUARY 13, 1993 ("Teaching Real-time Ada to Software Professionals," "Teaching Programming with ML and Ada," "A Real-time Systems Course Based on Ada") and THURSDAY, JANUARY 14, 1993 ("Ada in a Very Large CS1 Course," "Prototyping Hard Real-time Ada Systems in a Classroom Environment," "An Ada-Based Graduate Software Engineering Curriculum at GMU," "An Introductory Ada Curriculum Based on a Graphics Package," "Ada as Part of an Incremental Approach to Software Engineering").

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 1/93


Proceedings of the Tenth Annual National Conference on Ada Technology

Abstract: The papers contained in these proceedings are arranged by session topic: SESSION 1- Reuse: Domain Analysis ("Validating the RAPID Center Development Methodology," "Creating an Organon: Intelligent Reuse of Software Assets and Domain Knowledge," "Organizing Software Around the Threads of Control"), SESSION 2- Education ("Teaching Ada: Lessons Learned," "An Issue to be Considered When Revising DoD-STD-2617A," "Mathematics Placement Testing: A Student Project"), SESSION 3- Development Methods 1 ("Maintaining Transparency of Database Objects Over Nteworks in Ada Applications," "Synthesis of Design Methodologies for Software Development in Ada," "An Ada Experiment on the Intel Hypercube"), SESSION 4- Object Oreinted ("Arabic OOD Methodology for Use of Ada in the Arab World," "Object Coupling and Object Cohesion"), SESSION 5- Reuse: Abstract Data Types ("Engineering 'Unbounded' Reusable Ada Components," "Intelligent Abstract Data Types," "A Reusable Ada Model for Interprocess Communication"), SESSION 6- Management of Software Development ("In the Trenches with Ada," "Small Business Efforts to be Ada Competitive -- How can the Little Guy get in the Game?," "Acquisition Model for the Capture and Management of Requirements for Battlefield Software Systems"), SESSION 7- Developmemt Methods 2 ("Alternative Documentation and Review Practices," "Using Petri Net Reduction Techniques to Detect Ada Static Deadlocks"), SESSION 8- Reuse: Reverse Engineering ("Don't Trash Old Code: Recycle, Renew, and Convert it to Ada," "The Economics of Translating Space Shuttle HAL/S Flight Software to Ada for Reuse in Shuttle Derived Avionics Systems," "Ada Transition Research Project {A Software Modernization Effort}"), SESSION 9- Metrics ("Design Metrics through a DIANA Based Tool," "Automating Test Systems for Tactical Computer Software," "So Much to Measure -- So Little Time to Measure It: The Need for Resource-Constrained Management Metrics Programs"), SESSION 10- Reuse: Architecture ("An Implementation of a Generic Workstation Architecture for Command and Control Systems," "A Schema for Extensible Generic Architectures," "Impact of System Adaptation on Generic Software Architectures"), SESSION 11- Real-time ("Dynamic Configuration with Ada," "Handling Priority Inversion Problems Arising During Elaboration in Ada Programs for Real-time Applications," "Ada Tasking Optimization Issues"), SESSION 12- Reuse: General ("A Reusable Ada Package for Scientific Dimensional Integrity," "Ada Software Reuse in Support of Operation Desert Storm," "Development of Cost Estimation Prototypes"), and SESSION 13- Artificial Intelligence ("The Development and Application of an Ada Expert System Shell," "Boiler Model: A Qualitative Model-Based Reasoning System Implemented in Ada," "Underwater Multi-Dimensional Path Planning for the Naval Postgraduate School Autonomous Underwater Vehicle II").

Reference Number: AD#: A248007

Sponsoring Organization: ANCOST, Inc.

Producing Organization: Host: Morehouse College

Publication Date: 2/92


Proceedings of the CASE Adoption Workshop

Abstract: At this workshop held to address a number of key CASE adoption issues, a representative group of SEI affiliates from industry, government, and academia discussed such adoption topics as CASE benefits, realistic CASE budget estimates, CASE tool fit, CASE adoption roles, and factors in the project success of CASE; the results of these discussions are summarized in this volume. These proceedings include the following section titles: Introduction, Executive Summary of CASE Adoption Workshop, Adoption Life Cycle and Roles, Can You Get the Benefits of CASE Without Buying It?, The "CASEability" of Projects, Developing a Realistic Budget for CASE Tool Adoption, and Making the CASE Tool Fit the Organization and the Organization Fit the Tool.

Author: Huff, Cliff, Dennis Smith, Kim Stepien-Oakes, and Ed Morris

Publisher: CMU/SEI

Reference Number: CMU/SEI Technical Report: CMU/SEI-91-TR-14; ESD-TR-91-14

Sponsoring Organization: DoD, SEI Joint Program Office

Producing Organization: CMU/SEI

Publication Date: 5/92


First International Conference on Ada Programming Language Applications for the NASA Space Station

Abstract: The contents of these proceedings are arranged by session: B.1- Test and Verification ("Ada Task Debugging with an Automated Tool," "Software Unit Testing in an Ada Environment," "Formally Verifying Ada Programs Which Use Real Number Types," "Ada Test and Verification System," "An Ada Benchmarking Taxonomy," "Formal Verification"); B.2- Environment Issues ("Programming Support Environment Issues in the Byron Programming Environment," "An Ada Programming Support Environment," "Software Engineering Environment Tool Set Integration," "Procedures and Tools for Building Large Ada Systems," "Rational's Experience Using Ada for Very Large Systems," "Using Ada on a Workstation for Large Projects"); B.3- Distributed Ada Issues ("A Distributed Programming Environment for Ada," "Distributed Ada: Methodology, Notation, and Tools," "An Ada Implementation of the Network Manager for the Advanced Information Processing System," "Distributed Program Entities in Ada," "A Distributed APSE," "Implementation of Ada Protocols on MIL-STD-1553B Data Bus"); B.4- Life Cycle Issues 1 (" Software Engineering and Ada in Design," "Analysis and Specification Tools in Relation to the Ada Programming Support Environment," "Some Design Constraints Required for the Use of Generic Software in Embedded Systems: Packages Which Manage Abstract Dynamic Structures Without the Need for Garbage Collection," "A Computer-Based Specification Methodology," "Towards a Document Structure Editor for Software Requirements Analysis," "DEC Ada Interface to Screen Management Guidelines {SMG}," "A Proposed Classification Scheme for Ada-Based Software Products"); C- Ada in Europe ("The Status of Ada in Europe," "Ada Technology Assessment: An Important Issue Within the European Columbus Support Technology Programme," "Structuring the Formal Definition of Ada," "Recent Trends Related to the Use of Formal Methods in Software Engineering"); D.1- Management/Training Issues ("Managing Ada Development," "Lessons Learned: Managing the Development of a Corporate Ada Training Project," "Multi-Language Software Maintenance," "GSFC Ada Programming Guidelines," "Ada Education in a Software Life-Cycle Context," "Professionalism," "NASA Training Program for Ada"); D.2- CAIS ("The Impact of Common Ada Interface Set Specifications on Space Station Information Systems," "A Risk Management Approach to CAIS Development," "Extending the Granularity of Representation and Control for CAIS Process," "Experience with the CAIS," "The CAIS 2 Project," "Transportability, Distributability, and Rehosting Experience with a Kernel Operating System Interface Set"); D.3- Run-time Issues1 ("Constructing a Working Taxonomy of Functional Ada Software Components for Real-time Embedded Application," "Visualization, Design, and Verification of Ada Tasking Using Timing Diagrams," "Ada and Cyclic Run-time Scheduling," "Choosing a Software Development Methodology for Real-time Ada Applications," "Implementation of an Ada Real-time Executive -- A Case Study," "Real-time Ada in an MC68XXX System"); D.4- Life Cycle Issues 2 ("Object-Oriented Development," "Integrating Automated Structured Analysis and Design with Ada Programming Support Environments," "A Software Development Environment Utilizing PAMELA," "The Benefits of Bottom-Up Design," "The Ada Object-Oriented Approach," "Towards a General Object-Oriented Software Development Methodology"); D.5- CAIS Panel; E.1- Reusability ("Some Design Constraints Required for the Assembly of Software Components: The Incorporation of Atomic Abstract Types into Generically Structured Abstract Types," "Certification of Ada Parts for Reuse," "Development of an Ada Package Library," "A Design for a Reusable Ada Library," "Designing Generics for Compatibility and Reusability," "Considerations for the Design of Ada Reusable Packages"); E.2- Mission Critical Issues ("Transparent Ada Rendezvous in a Fault Tolerant Distributed System," "Lessons Learned in Creating Spacecraft Computer Systems: Implications for Using Ada for the Space Station," "Using Ada -- The Deeper Challenges," "An Ada Implementation for Fault Detection, Isolation, and Reconfiguration Using a Fault-Tolerant Processor," "Vector, Matrix, Quaterion, Array, Ampersand Arithmetic Packages: All HAL/S Functions, Implemented in Ada," "Generic Ada Code in the NASA Space Station Command, Control, and Communications Environment"); E.3- Run-time 2 ("Real-time Ada," "RT_BUILD: An Expert Programmer for Implementing and Simulating Ada Real-time Software," "A Multicomputer and Real-time Ada Environment," "Run-time Implementation Issues for Real-time Embedded Ada," "Interesting Viewpoints to Those Who Will Put Ada into Practice," "Comparing Host and Target Environments for Distributed Ada Programs"); E.4- Expert Systems ("An Evaluation of Ada for AI Applications," "Intelligent User Interface Concept of Space Station," "An Ada Interface Engine for Expert Systems," "An Approach to Knowledge Structuring for Advanced Phases of the Technical and Management Information System," "Ada and Knowledge-Based Systems: A Prototype Combining the Best of Both Worlds," "Using Ada to Implement the Operations Management System as a Community of Experts"); F.1- Avionics/Simulation ("Applying Ada to Beech Starship Avionics," "Simulation of the Space Station Information System in Ada," "Designing with Ada for Satellite Simulation: A Case Study," "Modeling, Simulation, and Control for a Cryogenic Fluid Management Facility"); F.2- Weizmann Institute Research Report ("Intertask Communication in Ada: A Bus Interface Solution"); F.3- Language Issues ("Verifying Performance Requirements," "The Computerization of Programming Ada -- Lessons Learned," "A Small Evaluation Suite for Ada Compilers," "Paranoia -- Ada: A Diagnostic Program to Evaluate Ada Floating-Point Arithmetic," "Interfacing Ada and Other Languages," "Deferred Binding in the Ada Software Support Environment," "Software Issues Involved in Code Translation of C to Ada"); F.4- Life Cycle Issues 3 ("Rehosting and Retargeting an Ada Compiler -- A Design Study," "Considerations for the Task Management Function of the NASA Space Station Flight Elements' Operating System Software," "The TAVERNS Emulator: An Ada Simulation of the Space Station Data Communications Network and Software Development Environment," "A Study of the Use of Abstract Types for the Representation of Engineering Units in Integration and Test Applications," "Rdesign: A Data Dictionary with Relational Database Design Capabilities in Ada," "Ah! Help: A Generalized On-Line Help Facility"), F.5- Reusability Panel, F.6- Distributed Ada Panel, G.1- Software Tools ("Application and Systems Software in Ada: Development Experiences," "Software Development: The PRODOC Environment and Associated Methodology," "A Database Management Capability for Ada"); G.2- Language Issues 2 ("A Study of Issues in Extending the MAPSE," "Ada Structure Design Language," "Extending Ada for Artificial Intelligence Applications"); G.3- Run-time Issues 3 ("Space Station Ada Runtime Support for Nested Atomic Actions," "Reusable Software Parts on a Semi-Abstract Data Type," "Informal Report by the ARTEWG"); G.4- Computers for Ada (Informal Presentations ("Language Directed Machine," "Ada Port to the ELXSI System," "Message Passing Concurrent Processing Architecture"); and G.5- Dialog with the NASA Software Working Group.

Sponsoring Organization: University of Houston (Clear Lake), NASA/LBJ Space Center

Publication Date: 6/86


Proceedings of the Fourteenth Annual Software Engineering Workshop

Abstract: The contents of these proceedings are arranged by session: 1- Studies and Experiments in the SEL ("The Experience Factory: Packaging Software Experience," "Experiences in the SEL -- Applying Software Measurement," "Evaluation of the Cleanroom Methodology in the SEL"), 2- Methodologies ("Predicting Project Success from thr Software Project Management Process: An Exploratory Analysis," "A Software Environment: Some Surprising Empirical Results," "Measurement Based Improvements of Maintenance in the SEL"), 3- Software Reuse ("Software, System, and Application Uncertainty and Its Control Through the Engineering of Software," "Testing in a Reuse Environment -- Issues and Approaches," "Domain-Directed Reuse," "Using Reverse Engineering and Hypertext to Document an Ada Language System"), and 4- Testing and Error Analysis ("Classification Tree Analysis Using the Amadeus Measurement and Empirical Analysis System," "The Jet Propulsion Laboratory's Experiences with Formal Inspections," "The Enhanced Condition Table Methodology for Verification of Fault Tolerant and Other Critical Software").

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

Sponsoring Organization: NASA/GSFC (SEL)

Publication Date: 11/89


Proceedings of the Third IDA Workshop on Formal Specification and Verification of Ada (Draft)

Abstract: The theme of the workshop was "Reaching Verifiable Ada Systems by 1990." The tutorial presentations contained in these proceedings include the following titles: "Human Verification in Ada," "Applying Semantic Description Techniques to CAIS," "MAVEN: The Modular Ada Validation Environment," "Software Hazard Analysis and Safety Verification Using Fault Trees," "A Proof Rule for Ada," "Revisiting Axiomatic Exception Propagation," "Program Development by Specification and Transformation (PROSPECTRA)," "The PROSPECTRA Project," "On the Use of Semantic Specification for the Verification and Validation of Real-time Software," "An Empirical Study of Testing Concurrent Ada Programs," "Logical Foundations and Formal Verification," "Trusting Compilers," and "An Introduction to the Draft Formal Definition of Ada."

Publisher: IDA

Reference Number: IDA Memorandum Report: M-241

Sponsoring Organization: OUSDRE

Producing Organization: IDA

Publication Date: 8/86


TRI-Ada Conference Tutorial: Introduction to Ada

Abstract: This tutorial from Tri-Ada is titled "Introduction to Software Engineering with Ada."

Sponsoring Organization: ACM/SIGAda

Publication Date: 10/89


Proceedings of the First IDA Workshop on Formal Specification and Verification of Ada

Abstract: The first IDA Workshop identified current issues in Ada verification: the uses of formal verfication; what verification techniques and verification systems are available; what practical experience there is in the use of these approaches and who has this experience; what Ada has on verification (both before and during coding activities); what major problems are in the verification field; and what needs to be done to overcome these problems. Slides presented at the workshop are included. The papers contained in these proceedings are listed as appendices: A- Towards the Formal Verification of Ada Programs, B- Toward Ada Verification, C- Formal Specification, D- ANNA: A Specification Language for Ada, E- Re-Implementing ACCAT Guard in Ada, F- Army Secure Operating Systems, G- Trust Domains, H- Navy Technology and Ada, K- Correctness Proofs of Distributed Termination Algorithms, L- Thoughts on an Ada-Based Design Language, M- Axiomatic Semantics for Ada, N- Teaching Programmers About Proofs, P- Discussion of Papers on Advanced Verification, Q- Practical Verification Systems, R- Near-Term Ada Verification, S- Verifying Ada Programs, T- Adapting the Gypsy Verification System to Ada, U- Discussion of Papers on Near-Term Verification Systems, V- Uses of Formal Verification, W- ANNA, X- ANNA T9ools.

Author: Roby, Clyde G. (ed)

Publisher: IDA

Reference Number: IDA Memorandum Report: M-146

Sponsoring Organization: OUSDRE

Producing Organization: IDA

Publication Date: 12/85


Proceedings of the Second IDA Workshop on Formal Specification and Verification of Ada

Abstract: The second IDA Workshop identified current issues in Ada verification and focused on what is needed to build the foundation of an Ada Verification Technology. The papers contained in these proceedings are arranged by dat of presentation: TUESDAY- "Why the DoD Computer Security Center (DoDCSC) is Interested in Ada," "Verification and Software Lifecycle," "Near Term Solutions to Ada Verification," "The IBM Clean Room Project," "Ada Specification Languages," "Simplifying Ada Semantics by Restricting Implementors' Options"; WEDNESDAY- "A Proposal for Ada Formal Semantics," "European Work on Ada Formal Semantics," "A Notation for Ada Proof Rules," "Secure Systems Working Group," "The SofTech RSL," "The Verdix RSL;" and THURSDAY- Ada Verificaiton Mailing Information, Documentation form the European Efforts..

Author: Mayfield, W.T. and S.R. Welke

Publisher: IDA

Reference Number: IDA Memorandum Report: M-135

Sponsoring Organization: OUSDRE

Producing Organization: IDA

Publication Date: 11/85


Proceedings of the International Conference on Strategic Software Systems - Visions of the Year 2000: A Strategic Software Perspective

Abstract: The papers and viewgraphs contained in these proceedings are arranged by track: TRACK 1- "The STANFINS Experience," "Ada 9X," "The SQL Ada Module Description Language: SAMeDL," "Rapid Air Defense Evaluation System (RAIDES)," "Measuring Contractor Maturity;" TRACK 2- "Organizing and Managing Large Scale Software Development Projects," "Software Risk Management," "Managing and Developing a Pilot Project Following the Spiral Model of Software Development," "Design 20%, Maintenance 80%: Increasing Software Productivity Through Lifecycle Automation," "Quality Estimation and Planning," "Continuous Software Process Improvement: A TQM Strategy for Improved Productivity, Quality, Cost, and Schedule on Large Software Projects," "A Total Quality Management Answer to the Software Development Challenge," "USADC's Software Engineering Environments," "Towards Concurrent Software Engineering: An Extended Abstract," "Reducing the Complexity of Software Systems: A Strategic Software Perspective," "Lessons Learned in Software Process Improvement;" TRACK 3- "Classic Ada, An Object-Oriented Language for Defense Systems," "An Overview of Ada 9X," "Design Methods for Real-Time Embedded Systems: Simulating Execution Times and State Sets," "Ada Load Distribution Mechanisms for Strategic Embedded Systems," "NASA Software Support Environment (SEE)," "The Enhanced Software Lifecycle Support Environment: SEE It Today (Tomorrow May Be Too Late)," "Domain-Specific Reuse: STARS Vision, Strategies, and Achievements," "FlexSim -- An Approach to Software Reuse in Simulation," "Software Reusability Experience on the Experimental Version Performance Assessment (EVPA) Program," "Teaching Software Engineering with Ada: Obstacles and Opportunities," "The Emerging Software Engineering Discipline," "Knowledge-Based Software Development," "Empirical Discovery Systems for Databases;" and TRACK 4- "The Software Marketplace in Russia," "Performance, the Stock for a Peace Dividend in Europe," "National and International Software Engineering Standards: 1990's and Beyond."

Publisher: University of Alabama (Huntsville), IEEE

Sponsoring Organization: University of Alabama (Huntsville), IEEE

Publication Date: 3/92


CASExpo: The National Computer Aided Software Engineering Conference and Expo

Abstract: These proceedings contain biographies of presenters, presentation outlines, and selected papers from the conference; titles include: "The Future of CASE from a European Perspective," "Using Analysis and Design Tools -- Tips," "Improving Analysis, Design, and Programming Implementation," "Resistance to Change -- The Limiting Factor Effecting a Successful CASE Implementation," "Reverse Engineering: An Aid to Understanding InformationSystems," "First and Second Generation Integrated Project Support Environments (IPSE)," "Solving the Maintenance Backlog through CASE," "Re-Engineering: Focus on Files and Databases," "CASE in a Distributed Environment," "A Checklist for Successful CASE Implementation," "The Use of Joint Sessions and Prototyping in CASE," "Process Integration -- Analysis Methodologies with CASE and Interactive Design," "CASE Tools to Improve Maintenance Productivity," "CASE Technology Impact Analysis: How Best to Use CASE Tools," "Evaluating Automated Modeling Software Packages (CASE) for the United States Army," "Issues in Conversion and Migration -- Preserving Your Investment," "The Rapid Center Library as a CASE Tool," "CASE Standardization: Latest Progress Report," "Use Stand-Alone CASE Tools or Integrate: What is the Reality?," "The Environment for Ada Programming," "Ada 9X Project," "Implementing Change," "Re-Engineering vs. Reverse Engineering," and "Top Down/Bottom Up: The Solution to Building Top Software Systems."

Publisher: CASExpo

Publication Date: 5/89


Conference Proceedings for UniForum (The International Conference of UNIX and Open Systems Professionals)

Abstract: These proceedings contain papers entitled "Reconciling Object Models for Systems and Network Management," "An Object-Oriented Framework for Developing Hypermedia Applications," "An Object-Oriented Systems Management Framework for SVR4," "Micro-Kernel Based Operating Systems: Moving UNIX onto Modern System Architectures," "idb: An Instant Database," "Qualitative and Quantitative Comparisons of POSIX.4 and Other UNIX Systems," "Integrating B2 Security into a UNIX System," "Enhancing Peripheral Performance," "Network Management -- Future Directions: Extensions to Systems Administration and Applications Management," "On-Line Transaction Processing in Open Systems," "A Minimal Queued Transaction Processing System for Heterogeneous Computing Environments," "Open Systems OLTP Monitors," "Internationalization of Distributed Software Systems," "Extending DCE to Transparent Processing Clusters," "Object Based Distributed Transaction Management," "The Multi-Threaded X Window Server," "Network High-Level Language," and "Adding Tightly Consistent File System Replication to DCE."

Publisher: UniForum

Sponsoring Organization: UniForum

Publication Date: 1/92


Proceedings of SERC Workshop on Ada Software Tools Interfaces

Abstract: These proceedings contain papers entitled "Software Tools Interfaces -- A Commission View," "An Extensible Toolset and Environment for the Production of Mathematical Software," "Data Bases in Software Development: The Ada Programming Support Environment," "Validating Ada Software Interfaces," "Diana: Past, Present, and Future," "Diana Design and Implementation," "The Diana Interfacer," "Use of Diana in Compilers, Formatters, Debuggers, and Language Translators," "Dianette -- A Pragmatic Variant of Diana," "The Design of AIR and its Application to Ada Separate Compilation," "IDL and its Use in the Diana Reference Manual," "A Formal Definition of Ada," and "Specifying Interfaces with VDM."

Author: Wallis, J.P.L.

Publisher: SERC, University of Bath

Sponsoring Organization: SERC, University of Bath

Publication Date: 7/83


Fifth Annual Conference on Artificial Intelligence and Ada (AIDA)

Abstract: The papers contained in these proceedings are arranged by order of presentation: Opening Remarks/Preface, Keynote Speaker: "Misconceptions About Real-Time Computing: A Serious Problem for Next Generation Systems," "Ada and Le_LISP: A Marriage of Convenience for AI," "The Adaptive Diagnostic System," "The Design and Implementation of a Neural Network Toolkit Using Ada," "A Component-Oriented Rule-Based Specification Language for Manufacturing Systems Control Software," "Comparison of Performance for Fuzzy Expert System Shell Implementations in Pascal and in Ada," "Ada MeriTool: A Software Tool for Knowledge-Based Systems," "Intelligent Real-Time Embedded Systems," "Ada Real-Time Embedded Systems," "Ada Real-Time Inference Engine," "Prolog in Ada: An Implementation and an Embedding," "The Migration of an Expert System Application from LISP to Ada," "Styleman: An Expert Style Editor for Ada," "A Knowledge-Base System for Ada Software Development," and "PM: A Metrics Driven Plan Compiler."

Author: Diaz-Herrera, Jorge and Jan M. Zytkow (eds)

Publisher: George Mason University

Sponsoring Organization: George Mason University / IDA / Software Productivity Consortium

Publication Date: 11/89


Proceedings of the Eleventh Annual Washington Ada Symposium (WAdaS) and Summer ACM SIGAda Meeting - Ada in Applications

Abstract: The papers contained in these proceedings are arranged by topic: Ada Information Systems ("Information Systems Development in Ada," "Ad Hoc Query, A Reusable Database Access Capability"), Design ("Dialogue-Specified Reuse of Domain Engineering Work Products," "A Model Base for Software Engineering," "Ada and Hatley-Pirbhai"), Applications ("Common Ada Bindings to Compartmented Mode Workstations," "Developing Ada Applications in a Distributed Computing Environment," "A Motif-Based Instructor Interface for a Maintenance Trainer"), Real-time Systems ("Verification of the Application of Coding Rules for Ada to Enhance Probability of Real-time Applications," "The GNU Ada Runtime Library {GNARL}"), Lessons Learned and Techniques ("Experiences Building Data Structure Artifacts Using Ada 9X," "Employing UNAS Technology for Software Architecture at the University of Southern California").

Reference Number: ISBN: 0-89791-684-0

Sponsoring Organization: ACM/SIGAda, AJPO

Publication Date: 7/94


Proceedings of the ACM SIGAda International Conference on the Ada Programming Language: Using Ada

Abstract: The theme of this conference was the techniques of using Ada for large systems. The thirty papers contained in these proceedings are arranged by date of presentation: WEDNESDAY (AFTERNOON)- "Ada's Impact: A Quantitative Assessment," "GKS/Ada Post Mortem, A Cost Analysis," "Empirical Guidelines to Use Ada Effectively," "Pioneering Mission-Critical Ada Software," "Experience with the Automatic Temporal Analysis of Multitasking Ada Designs," "Use of the Rational R1000 Ada Development Environment for an IBM Based Command and Control System;" THURSDAY (MORNING)- "The System-Oriented Editor -- A Tool for Managing Large Software Systems," "Partitioned Ada Libraries as a Basis for Varient Control," "Development Software Configuration and Integration in a Large Ada Project," "Design Automation for Ada Development under DoD-STD-2167 (and Beyond)," "A Life-Cycle Oriented Ada Design Language," "An Ada Graphical Tool;" THURSDAY (AFTERNOON)- Elementary Functions Package for Ada," "An Ada Linear Algebra Package Modeled after HAL/S," "Expert Systems Development in LISP and Ada," "An Ada Based Approach to Factory Scale MAP Network Simulation," "Large System Simulation Using Ada," "Discrete-Event Simulation in Ada;" FRIDAY (MORNING)- "A Low-Level Tasking Package for Ada," "An Ada Distributed Multiprocessor Executive: From Conceptualization to Implementation," "Self-Organizing Distributed Operating System -- Implementation and Problems Using Ada," "Real-time Ada Demonstration," "Ada Programming Techniques, Research, and Experiences on a Fast Control Loop System," "Ada Applications on Embedded Targets;" and FRIDAY (AFTERNOON)- "Storage Reclamation Models for Ada Programs," "Portable andEfficient Dynamic Storage Management inAda," "Reclamation of Memory Allocated for Dynamic Ada Tasking," "Using Conceptual Clustering for Classifying Reusable Ada Code," "A Library of Generic Algorithms in Ada," "Library Structures for Reusable Components."

Publisher: ACM Press

Reference Number: ISBN: 0-89791-243-8

Sponsoring Organization: ACM SIGAda

Publication Date: 12/87


Software for Strategic Systems Conference Proceedings

Abstract: This conference has emerged as a national forum for the discussion of software technology and its application to strategic systems; the program highlights the three DoD software initiatives: Ada Joint Program Office, STARS, and Software Engineering Institute. These proceedings contain papers entitled "Better Software Testing," "A New Language-Based Approach to the Rapid Construction of Hardware/Software System Prototypes," "The MCC Leonardo Project: Steps Towards an Advanced Software System Development Environment," "Air Force Ada Software Plans," "Data Collection on Ada Program Development," "TESSE Communications Simulation and Network Emulation Capabilitites," "Software Engineering and Simulation," "Graphics Dsiplay Models for Strategic Defense," "Strategic Scene Generation Model," "Simulation Characterization," "Algorithm Architecture Design Principles," "Rapid Prototyping with an ER Query and Update Interface," "Object Oriented Programming Techniques Applied to Dynamic Scheduling of Incoming Nuclear Threats," "Future Hardware and Software for a Strategic Defense System," "Programming Paradigms: A Managerial Perspective," "Building Trusted Strategic Systems," "Fault Modeling for Digital Systems: A State of the Art Review," "On Control Flow Error Protection and Path Testing," "SDIO Software Challenges," "SDS Development Approach," "System Simulation," "DETEC SDS System Simulator Level 1," "SDI's Communications Network Test Bed," "Computer H/W and S/W for the Airborne Optical Adjunct (AOA) Program," "The Optical Aircraft Measurements Program," "C2 Decision Aids Test Environment," "SIRE -- A Rule Editor for an Expert System Evaluation of the Hubble Space Telescope Power System," "An Intelligent Data Reduction Paradigm for Data Intensive Systems," "DoD Software Master Plan Past Studies on Software Issues," and "FAA Advanced Automation System: Lessons Learned."

Publisher: University of Alabama (Huntsville) / IEEE

Sponsoring Organization: University of Alabama (Huntsville) / IEEE

Publication Date: 2/90


Proceedings of the Third International Workshop on Real-Time Ada Issues

Abstract: The goal of the workshop was to explore possible langauge revisions that would make the next version of Ada more suitable for real-time and distributed applications. The contents of these proceedings are arranged by session topic: 1- Overview ("Real-time Ada: Outstanding Problem Areas"), 2- Asynchronous Transfer of Control Working Group (Summary: "Requirements Review," "Enumeration of Specific Proposals," "Establishment of Evaluation Criteria," "Evaluation of Proposed Solutions;" Recommendations: "RS-00001: Asynchronous Transfer of Control;" Ramifications of Re-introducing Asynchronous Exceptions to the Ada Language), 3- Real-time Tasking Semantics Working Group (Summary; Recommendations: "RS-00061: Task Parameters," "RS-00062: Asynchronous Communications Between Tasks," "RS-00063: Real-time Performance Standard," "RS-00064: Recovering Storage for Terminated Tasks," "RS-00065: User-Defined Priorities and Alternative Scheduling Rules;" "Usability of the Ada Tasking Model;" "Asynchronous Communication in Ada"), 4- Virtual Nodes/ Distributed Systems Working Group (Summary: "Scoping the Requirement," "Outlining the Solution," "Refining the Solution, Epilogue;" Recommendations: "RS-00041: Ada for Distributed Systems; "An Object-Oriented Approach to Virtual Nodes: Are Package Types an Answer?;" "Virtual Nodes and Units of Distribution for Distributed Ada"), 5- Communication Issues Working Group (Summary; Recommendations: "RS-00021: Low Level Tasking Primitives," "RS-00022: Low Level Communications," "RS-00023: Failure Semantics;" "Ada Support for Real-time Systems"), 6- Time Issues Working Group (Summary; Recommendations: "RS-000101: Relationship of Requested to Actual Delay Duration," "RS-000102: Multiple Clocks," "RS-000103: Time-Outs," "RS-000104: Documentation of Implementation-dependent Timing Characteristics," "RS-000105: Consistent Treatment of Delays," "RS-000106: Two forms of 'delay until'," "RS-000107: Run-time Checking of CPU Time Budget;" "Fixing some Time-Related Problems in Ada"), and 7- Other Compiler Support Working Group (Summary; Recommendations: "RS-00081: Designating Static Objects," "RS-00082: Pre-Elaboration," "RS-00083: Address Clauses," "RS-00087: Explicit Control of Placement in Heterogeneous Memories," "RS-00089: Static Structures," "RS-00090: Exclusion Primitives," "RS-00091: Heap Storage," "RS-00092: Standard Options;" "Ada Requirements for Small Real-time Systems").

Publisher: ACM

Reference Number: ISBN: 0-89791-360-4; Ada Letters: Volume X, Number 4

Sponsoring Organization: SEI , US ONR, Ada UK, ACM SIGAda

Publication Date: 4/90


Proceedings of the Fourth International Workshop on Real-Time Ada Issues

Abstract: Because of the importance of the Ada 9X project and the release of Draft 2.0 of the Requirements document for Ada 9X, the workshop was devoted to in-depth consideration of those requirements which relate to the needs of the real-time community. The contents of these proceedings are arranged into two groups of session summaries and papers: WORKSHOP SESSION SUMMARIES ("Real-time Requirements," "Protected Records, Time Management, and Distribution," "Shared Variables," "Asynchronous and Stand-alone Entries," "Object-Oriented Mechanisms," "Dynamic Priorities, Priority Scheduling, and Priority Inheritance," "Asynchronous Transfer of Control and Interrupt Handling") and POSITION PAPERS ("Dragoon: An Object-Oriented Notation Supporting the Reuse and Distribution of Ada Software," "Opening up Ada Tasking," "Ada Usage/Performance Specification," "A Performance Standard for Ada 9X," "Asynchronous Transfer of Control in Ada 9X," "Distributed Communications," "Distributed Ada: A Suggested Solution for Ada 9X," "Prioritized Asynchronism in Ada 9X," "Adapting Ada for Distribution and Fault Tolerance," "Predictable Real-time Avionics Design Using Ada Tasks and Rendezvous: A Case Study," "Parallel Ada: Issues in Programming and Implementation," "Problems with Pthreads and Ada," "Efficient Periodic Execution of Ada Tasks").

Publisher: ACM

Reference Number: ISBN: 0-89791-375-2; Ada Letters: Volume X, Number 9

Sponsoring Organization: Ada UK, ACM SIGAda, USAF European OARD, ESTEC

Publication Date: 9/90


Proceedings of the First Symposium on Environments and Tools for Ada (SETA1)

Abstract: The First International Symposium on Environments and Tools for Ada (SETA1) is the result of the merger of two different conference series: the Fourth International IEEE Ada Applications and Environments Conference and the Fourth ACM SIGAda Future Ada Environments Workshop. The contents of these proceedings are arranged into groups of reports and papers: 1- WORKING GROUP REPORTS- Methods and Tools for Design, Specification, and Reuse ("Library and Representation Subgroup," "Descriptive and Prescriptive Aspects of the 3Cs Model"); Building, Debugging and Testing Real-time and Distributed Systems; Ada Libraries, Configuration Management, and Version Control; Environment Architectures and Frameworks; and 2- REFEREED PAPERS- "Extending the MERCURY System to Support Teams of Ada Programmers," "VADS APSE: An Integrated Ada Programming Support Environment," "AWING: A General Purpose Command Interface Generator," "Optimized Overload Resolution and Type Matching for Ada," "Support for Specifying Temporal Behavior in Ada Designs," "A Methodology for the Design of Reuse Engineered Ada Components," "What Price Reusability?," "The CAEDE Performance Analysis Tool," "A Program Analysis Tool for Evaluating the Ada Compiler Validation Suite."

Publisher: ACM Press

Reference Number: ISBN: 0-89791-398-1; Ada Letters: Volume XI, Number 3

Sponsoring Organization: ACM SIGAda, IEEE Computer Society, ACM SIGSOFT

Producing Organization: ACM

Publication Date: 4/91


Proceedings of the Ada UK Conference

Abstract: These proceedings include papers with the following titles: "Editorial: Ada Opens into the Commercial Arena," "The Effect of Ada 9X on Mature Ada 83 Compilers," "Ada -- The Technical Language of Choice for UNIX Threaded Options," "Dependable Software Systems Using Concurrency," "Ada's Virtual Node Based Water System Simulator," "Using Commercial Off-the Shelf Software in High Integrity and Safety Related Systems," "TLDacs Support for ATAC," "Interworking Between Ada and C++: A Case Study," "Ada 9X: Sleeping with the Opposition," "Task Time Lines as a Debugging Tool," "Rapid Prototyping," "Distributed Ada Real-time System and Debug Environment," "Mapping an Object-Oriented Design to Ada," "Criteria for Success in OO Development," and "Removing Ada's Warts."

Author: Hardy, Keith (ed)

Publisher: IOS Press (printing paid for by Alsys)

Reference Number: ISSN: 0268-652X; Ada User Journal: Volume 15, Number 2

Sponsoring Organization: Ada Language UK Limited

Publication Date: 6/94


Source Code Static Analysis Tools Report, April 1992

Abstract: Defines the ideas of static software testing and identifies their value in improving software quality. It explains how the features of current static testing tools can improve software development and maintenance.

Author: Price, Gordon; et al.

Publisher: STSC - Software technology Support Center, Ogden ALC/TISE, Hill Afb, UT 84056

Producing Organization: STSC - Software Technology Support Center

Publication Date: 4/92


Proceedings of the Second AFSC Standardization Conference

Abstract: This is a collection of UNCLASSIFIED papers to be distributed to the attendees of the Second AFSC Avionics Standardization Conference. The scope of the Conference includes the complete range of DoD approved embedded computer hardware/software and related interface standards as well as standard subsystems used within the Tri-Service community and NATO. The theme of the conference is "Rational Standardization." Lessons learned as well as the pros and cons of standardization are highlighted. Key terms: Computer Instruction Set Architecture, Multiplexing, Compilers, Support Software, Data Bus, Rational Standardization, Digital Avionics, System Integration, Stores Interface, Standardization, MIL-STD-1553, MIL-STD-1589 (JOVIAL), MIL-STD-1750, MIL-STD-1760, MIL-STD-1815 (Ada), MIL-STD-1862 (NEBULA).

Author: Porubcansky, Cynthia A. (ed)

Publisher: AFSC

Sponsoring Organization: AFSC

Producing Organization: Host: ASD

Publication Date: 12/82


Embedded Computer Resources Governing Documents from the Second AFSC Standardization Conference

Abstract: This is a collection of UNCLASSIFIED papers to be distributed to the attendees of the Second AFSC Avionics Standardization Conference. The scope of the Conference includes the complete range of DoD approved embedded computer hardware/software and related interface standards as well as standard subsystems used within the Tri-Service community and NATO. The theme of the conference is "Rational Standardization." Lessons learned as well as the pros and cons of standardization are highlighted. Key terms: Computer Instruction Set Architecture, Multiplexing, Compilers, Support Software, Data Bus, Rational Standardization, Digital Avionics, System Integration, Stores Interface, Standardization, MIL-STD-1553, MIL-STD-1589 (JOVIAL), MIL-STD-1750, MIL-STD-1760, MIL-STD-1815 (Ada), MIL-STD-1862 (NEBULA).

Author: Porubcansky, Cynthia A. (ed)

Publisher: AFSC

Sponsoring Organization: AFSC

Producing Organization: Host: ASD

Publication Date: 12/82


Proceedings of the Ada-Europe International Conference -- Ada Components: Libraries and Tools

Abstract: This conference was the sixth organized by Ada-Europe, but the first co-sponsored by the Swedish Ada organization, "Ada in Sweden." The conference theme, "Ada Components: Libraries and Tools," aimed to address the exploitation issues of some of the major features of Ada, namely portability, reusability, and testability and the environmental mechanisms for controlling configurations. The papers of these proceedings are divided into five parts: PART 1- Environment ("Inference System Environment for Ada," "A Logic Database to Support Configuration Management in Ada," "Eclipse -- an APSE based on PCTE," "TAVERNS and the Space Station Software Support Environment"), PART 2- Reuse ("A Modified Booch's Taxonomy for Ada Generic Data-Structure Components and their Implementation," "A Language for Describing Ada Software Components," "Parallel Processes as Reusable Components," "Experience in Constructing Ada Programs from Non-Trivial Reusable Modules," "Reflections on Reusable Software and Software Components," "Reusable Units -- Construction Methods and Measures"), PART 3- Configuration Management and Library Structure ("A Proposed Ada Library Error Machanism," "Version Control and Separate Compilation in Ada," "Structural Analysis of Large Ada Systems," "Generic Evaluation Experiments for Assessing an Ada Environment's Support of Configuration Management Activities"), PART 4- Tools ("Two Portable Ada Testing Tools: TBGEN and TCMON," "SKETCHER, an Interactive, Graphical Ada Software Design Tool -- Its Development and Use," "The Ada-IDAS Project," "GET: A Test Environment Generator for Ada"), and PART 5- Distributed Systems ("Ada for Distributed Systems -- A Library of Virtual Nodes," "Tools for the Building of Distributed Ada Programs," "Ada-based Executable Modelling of Distributed Systems").

Author: Tafvelin, Sven (ed)

Publisher: Cambridge University Press

Reference Number: ISBN: 0-521-34636-3

Publication Date: 5/87


From the Proceedings of the Seventh Annual National Conference on Ada Technology: Managing Ada Software Development (Presentation)

Author: Tomayko, James

Sponsoring Organization: ANCOST, Inc.

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

Publication Date: 3/89


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

Back to FAQ