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