Back to FAQ

Ada Reports & Papers
(Part 1)

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


FIRM: An Ada Binding to ODMG-93 1.2

Abstract: Object-oriented database (ODBMS) technology supports a wide range of applications today. ODBMS systems offer better performance than traditional relational databases for those applications which access their objects primarily through inter-object relationships. Data fusion and other advanced avionics applications are in this category. Wright Laboratory created the Functionally Integrated Resource Manager(FIRM) program to develop an ODBMS that can support these real-time avionics applications. Wright Laboratory wants the ODBMS developed for the FIRM program to have the widest possible application, so it has been a goal of the FIRM team to build its ODBMS to be as compliant as possible with the specification published by the Object Data Management Group. (ODMG), which is an industry consortium of ODBMS vendors and other parties interested in ODBMS standards. Althouh the ODMG specification does not include a language binding for Ada, the FIRM team was able to use the ODMG object model and C++ language binding to design an Ada binding for its ODBMS. This paper describes the Ada binding in detail.

Author: Card, Michael P.

Publication Date: 4/98


A Descriptive Evaluation of Software Sizing Models

Abstract: This report provides a comprehensive review and critique of software sizing models and techniques that are available to Air Force Cost Centers. All models included in the evaluation estimate project size in terms of source lines of code (SLOC). The intent of this report is to illustrate general approaches to sizing, provide a consistent set of information for each automated model identified, identify data required to apply the models, clarify output results, and rate each model according to its relevance to intended uses.

Publisher: IIT Research Institute (DACS)

Sponsoring Organization: USAF Cost Center (AFCCE)

Producing Organization: IIT Research Institute (DACS)

Publication Date: 9/91


AFCEA Ada Education and Training Study, Volume 1

Abstract: The purpose of this study was to provide information and recommendations to DoD, NATO, and industry on the education and training required to introduce and support Ada. It was limited to a 10 year period, with greatest emphasis on 1987-1990. Data was gathered through visits to key organizations, interviews, and questionnaires.

Publisher: AFCEA, 4400 Fair Lakes Court, Fairfax, VA 22033-3899

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: AFCEA

Publication Date: 7/87


Rationale for the Design of the Green Programming Language

Abstract: This document, the rationale for the design of the Green programming language, and the companion reference manual, are the two defining documents for the Green language. The Rationale is meant to insert motivational information and larger examples that could not be included in the reference manual. The chapters of the rationale are independent and can be read in any order after an initial pass over the reference manual.

Author: Ichbiah, J.D., et al.

Publisher: Honeywell, Inc.; Cii Honeywell Bull

Sponsoring Organization: DoD

Producing Organization: Honeywell, Inc.; Cii Honeywell Bull

Publication Date: 3/79


Strategy for a DoD Software Initiative (Appendices)

Abstract: This document describes a management strategy and an initial plan for a DoD-wide software initiative to improve our ability to exploit the advantages of computer technology through software. The initiative will improve the state of practice in the acquisition, management, development, and support of computer software for military systems. It establishes overall objectives, provides top-level plans for achieving the objectives, and identifies the steps necessary to develop the next level plans for implementation. This plan for cooperation among DoD elements, industry, and academia must be refined through extensive coordination within DoD and the computing community.

Publisher: DoD

Publication Date: 10/82


Category 2b: General Comments on Specific Languages -- Red

Abstract: This document contains "pro" and "con" comments about the Red language, which was one of the candidate languages for the DoD High Order Programming Language.

Author: misc.

Publication Date: 1/78


Category 2b: General Comments on Specific Languages -- Blue

Abstract: This document contains "pro" and "con" comments about the Blue language, which was one of the candidate languages for the DoD High Order Programming Language.

Author: misc.

Publication Date: 1/78


Tutorial from the Fourth Annual ASEET Symposium: Ada From A Management Perspective

Abstract: This presentation provides a look at Ada from the perspective of a project manager.

Author: Engle, Charles B. and Tony Dominice

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 6/89


Category 2b: General Comments on Specific Languages -- Yellow

Abstract: This document contains "pro" and "con" comments about the Yellow language, which was one of the candidate languages for the DoD High Order Programming Language.

Author: misc.

Publication Date: 1/78


A Study of High Level Language Features

Abstract: The two volumes of this report present a comprehensive survey and analysis of high level programming language features, together with a selection of features needed to program Army tactical computer-based systems. The report is devoted mainly to detailed analysis of the strengths and weaknesses of language features supported by a wide variety of general purpose languages. Although not all features are analyzed with equal thoroughness and although certain completeness and consistency checks remain to be done, the analyses begin to capture what has been learned about the merits and deficiencies of existing language features. This information can be used to help guide the selection or design of a language for programming tactical or other kinds of systems.

Author: Goodenough, John B. and Lawrence H. Shafer

Publisher: US Army - Electronics Command

Reference Number: US Army #: ECOM-75-0373-F, Vol. 2

Sponsoring Organization: US Army - Electronics Command

Producing Organization: SofTech, Inc.

Publication Date: 2/76


Ada Language System Rolm 1602B Runtime Support Library B5 Specification

Abstract: This document establishes the requirements for performance, design, test, and qualification of a computer program identified as the ALS ROLM 1602B Runtime Support Library (RSL). The RSL will be a set of packages that support the implementation of the semantics of Ada on the given hardware. It will include functions of the task dispatching interrupt handling, task management, dynamic storage allocation, overlay management, exception delivery, I/O request handling, and miscellaneous code support. Initialization of the runtime system is performed by the system activation function of the RSL. Facilities for the runtime diagnostic support, error detection, and recovery will be built into these functions.

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

Reference Number: CR-CP-0059-B23; CDRL Item B008; 1075-25.1

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

Producing Organization: SofTech, Inc.

Publication Date: 8/81


Ada Language System Rolm 1666 Runtime Support Library B5 Specification

Abstract: This document establishes the requirements for performance, design, test, and qualification of a computer program identified as the ALS ROLM 1666 Runtime Support Library (RSL). The RSL will be a set of packages that support the implementation of the semantics of Ada on the given hardware. It will include functions of the task dispatching, interrupt handling, task management, dynamic storage allocation, overlay management, exception delivery, I/O request handling, and miscellaneous code support. Initialization of the runtime system is performed by the system activation function of the RSL.

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

Reference Number: CR-CP-0059-B24; CDRL Item B008; 1075-26.1

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

Producing Organization: SofTech, Inc.

Publication Date: 8/81


Ada Language System: Navy Full-Scale Engineering Development Training and Training Equipment Plan. Preliminary.

Abstract: This Training and Training Equipment Plan (TTEP), or simply Training Plan, describes the Control Data plan for managing the development of a training curriculum for the ALS/N (Ada Language System for the Navy). All training developed for the ALS/N will be directed by the contents of this Plan.

Publisher: CDC - Control Data Corporation, Software Systems and Technology Division, P.O. Box 1305, Bloomington, MN 55440-1305

Reference Number: ALSN-PLN-TRP-FSEDC-R00C0; CDRL A057

Sponsoring Organization: US Naval Sea Systems Command, PMS-408, Washington, DC 20362

Producing Organization: CDC - Control Data Corporation

Publication Date: 3/87


Ada Software Design Methods Formulation -- Final Report

Abstract: The Ada Software Design Methods Formulation contract was performed to formulate and document effective software design methods in Ada, and to establish a training baseline from which a formal Ada education program can follow. The first of these goals required the observation of the efforts of two contractors funded to redesign existing large military systems in Ada and to extract case studies illustrating significant issues that arose as a result of the introduction of Ada into the software life cycle. The second involved establishing a generic job classification schema for the embedded systes community, identifying Ada knowledge requirements for each job category, recommending an Ada training curriculum based on these requirements, and determining appropriate training methods for embedded systems programmers. The present report addresses the results of the latter effort.

Publisher: SofTech, Inc.

Reference Number: SofTech #: 1094-2.1

Sponsoring Organization: U.S. Army Communications Electronics Command

Producing Organization: SofTech, Inc.

Publication Date: 10/82


Ada Software Engineering Training Curriculum

Abstract: This is a syllabus containing names of Technical Training Ada courses developed at Keesler Air Force Base, with a breakdown of duration of sections, objectives, prerequisites and recommended audience.

Publisher: USAF Technical Training School, 3390th Technical Training Group, Keesler AFB, MS

Producing Organization: USAF - Technical Training School

Publication Date: 2/86


Ada Training Evaluations and Recommendations from the Gamma Ray Observatory Ada Development Team.

Abstract: The Ada Training experiences of the Gamma Ray Observatory Ada development team are related, and recommendations are made concerning future Ada training for software developers. Training methods are evaluated; deficiencies in the training program noted; and a recommended approach, including course outline, time allocation, and reference materials, is offered.

Author: Murphy, B. and M. Stark

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

Reference Number: SEL-85-002

Sponsoring Organization: NASA/Goddard Space Flight Center

Producing Organization: SEL - Software Engineering Laboratory

Publication Date: 10/85


Ada from a Management Perspective for High-Level Secretariat and Staff.

Abstract: The document is a lectured tutorial with viewgraphs used by Major Engle and First LT Anthony Dominice from a one-day Ada workshop. Some of the same slides are also included in their Tutorial, Track I, Introduction to Ada, Second Annual ASEET Symposium 9-11 June, 1987. Subjects include the "DoD Software Crisis" and necessity of one controlled programming language, principles of software engineering, and major features and advantages of Ada.

Author: Engle, Charles and Anthont Dominice

Publisher: ASEET

Sponsoring Organization: AJPO/ASEET

Publication Date: 12/86


Ada-Based System Development Methodology Study Report [Annex A]

Abstract: This volume is the second of three, comprising the Report on the Study of an Ada-Based Systems Development Methodology. The general purpose of this study is to give guidance to early potential users on how best to take advantage of Ada through principles and practices of development methodology in the short term.

Publisher: [contractor teams]

Sponsoring Organization: UK Department of Industry

Producing Organization: [contractor teams]

Publication Date: 9/81


AdaTEC Tutorial on Ada held at Arlington, VA on 4-5 October 1982

Abstract: This document is a collection of lecture notes. The topics included are: I. Ada Background, II. Language Overview, III. Declarations and Types - Basic Topics, IV. Statements and Expressions, V. Subprograms, VI. Packages, Visibility, and Overloading, VII. Exception Handling, VIII. Types - Advanced Topics.

Author: Fisher, Gerald A. and Benjamin M. Brosgol

Publisher: AdaTEC

Producing Organization: AdaTEC

Publication Date: 10/82


Advanced Ada Workshop, Keesler Air Force Base, January 12-16, 1987

Abstract: The document consists of 360 pages of a lectured tutorial with viewgraphs, from papers presented at the Advanced Ada Workshop. Major topics covered were Ada Packages, Ada History, Tutorial on Exceptions, Generics, Tasks, and Carnegie-Mellon University Software Engineering Institute's (SEI) education and training programs.

Author: ASEET Team

Publisher: ASEET

Publication Date: 1/87


Ada Information Clearinghouse Catalog of Resources for Education in Ada and Software Engineering (CREASE), Version 5.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. CREASE Version 5.0 was provided by the offeror and does not represent the opinions of the Ada Joint Program Office or the Department of Defense. The responses are divided into three chapters: course offerings, textbooks, and informational resources. The course offering chapter is organized by state and divided into three sections: computer-aided instruction, lecture/seminars, and videotape courses. Each of these sections is further divided into sub-sections which are in alphabetical order by offeror and is arranged by companies, government, individuals and universities, when applicable.

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


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

Abstract: This catalog is a supplement to the CREASE (Version 5.0) published in April 1988.

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: 3/89


Computer Science Research: A Collection of Reports on AI, Database Systems, Distributed Computing, Software Engineering and Programming Methodology.

Abstract: A collection of six reports dealing with research in the following areas: artificial intelligence, database systems, distributed computing, software engineering and programming methodology, software metrics and programming languages and system architecture.

Author: Smith, Douglas R., et al.

Publisher: Naval Postgraduate School, Computer Science Department, Monterey, CA

Producing Organization: Naval Postgraduate School

Publication Date: 8/82


Ada at West Point: Curing The Turbonic Plague.

Abstract: Viewgraphs of course briefing given at ASEET Meeting in February 1988.

Author: Willis, Colen K.

Publisher: USMA - US Military Academy, West Point, NY

Sponsoring Organization: ASEET

Producing Organization: USMA - US Military Academy

Publication Date: 1/88


DoD Ada Software Engineering Education and Training Plan

Abstract: The ASEET Plan provides a detailed and organized approach to identify the Ada education and training needs of the Department of Defense, and methodology and materials to fulfill those needs. This plan provides a description of the activities to be undertaken by the ASEET Team. Various tasks are outlined with detailed alternatives on how to perform these tasks. The Team offers support to the AJPO in formulating and implementing policy to ensure quality Ada software engineering within DoD. Although the Team's focus is the DoD, the activities of the Team may be beneficial to industry and academia.

Author: ASEET Team

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

Reference Number: IDA Paper P-1912

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 1/86


Evaluation and Validation (E&V) Classification Schema Report

Abstract: The purpose of the E&V Classification Schema is to produce a framework for the E&V Reference Manual and a basis for organizing the E&V Guidebook. The Reference Manual provides a "bridge" by which the user can be led to the E&V technology that is needed. The Schema provides information on the classification of APSE components and it identifies the criterion/standard or metrics capability used to assess a particular component or a "whole APSE" characteristic. In providing this structure, the schema also creates a conceptual framework or "common vision" to members of the E&V Team. Various team activities can be attached to or associated with this shared conceptual framework, which is realized in the reference system.

Publisher: TASC

Reference Number: TASC #: TR-5234-2

Sponsoring Organization: AJPO

Producing Organization: The Analytic Sciences Corporation (TASC)

Publication Date: 2/87


Technical Training: Fundamentals of Ada Programming/Software Engineering

Abstract: This document is one of three text handouts used in the course "Software Engineering in Ada" taught by the USAF Technical Training School. This study guide/workbook includes the following topics: Introduction, Training Evaluation, Fundamentals of Ada Systems, Basic Ada Types, Program Design using Ada, Develop Software using Ada. Each chapter includes examples and an exercises. This text is part of a course which also consists of two other texts and 19 videocassette tapes.

Author: USAF Technical Training School

Publisher: U.S. Air Force Technical Trianing School, 3390th Technical Training Group, Keesler AFB, MS

Producing Organization: USAF Technical Training School, Keesler AFB, MS

Publication Date: 12/87


Didactics Computerized Teaching Machines: Audidactor Interactive Ada Tutorial

Abstract: This pamphlet outlines self taught courses which are available on a Didactic and Audiodictacor machine marketed through Diactics Corporation. Courses are available in the following areas: Ada, Mathematics and Physics, Effective Writing, Electronics, Reading efficiently, Statistics, and General concepts of Computer science. The advantage of this mode of self-instruction, as compared with instructing oneself from a textbook, is strictly a matter of using time efficiently. The student is constantly tested in each program of this course, and different paths of instruction are offered depending upon the student's response to the tests.

Author: Hannah, Jack W.

Publisher: Didactics Corporation, 700 Grace Street, Mansfield OH 44905

Producing Organization: Didactics Corporation

Publication Date: 12/87


Proceedings of the Workshop on Ada Software Tools Interfaces

Abstract: The contents of these proceedings are revised papers (mostly Diana-oriented) submitted to the conference; they are arranged into four sections: 1- The Diana Interface ("Diana Past, Present, and Future," "The Intermediate Language Diana," "A Formal Definition of Diana"), 2- Diana Variants ("Dianette -- A Pragmatic Variant of Diana," "The Design of AIR and its Application to Ada Separate Compilation") 3- Diana in Use ("The Use of Diana in Compilers, Language Transformaers, Formatters and Debuggers," "The Diana Interfacer"), and 4- Tools Interfaces in General ("Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example," "Databases in Software Development: The Ada Programming Support Environment," "The Toolpack/IST Approach to Extensibility in Software Environments").

Author: Wallis, Peter J.L.

Publisher: Springer-Verlag

Reference Number: ISBN: 0-387-13878-1; Lecture Notes in Computer Science: 180

Sponsoring Organization: UK Science and Engineering Research Council (SERC)

Publication Date: 7/83


Minimal Ada: Lecture Notes.

Abstract: Minimal Ada was designed as lecture notes for use by instructors and students to supplement a textbook for an introduction to Ada. Many of these notes are annotated with the corresponding paragraph or chapter number of the Ada Language Reference Manual. Includes references.

Author: Thiess, Helmut E.

Publisher: Helmut Earl Thiess, CDP, 1834 Lamont Street, NW, Washington, DC 20010

Publication Date: 1/87


Object-Oriented Design

Abstract: This document comprises the viewgraphs on the object-oriented methodologies design. It included three parts. Part one is about the concept design. Part two is design methodologies. Part three is case studies

Author: Booch, Grady

Publisher: Rational, Inc.

Producing Organization: Rational, Inc.

Publication Date: 1/89


Proceedings of the Ada Debut

Abstract: This document includes the opening remarks by Dr. Robert R. Fossum, followed by paper copies of viewgraphs from Dr. Jean Ichbiah's presentations on various Ada features as Types, Proper Structure, Algorithmic Features, Tasking, and Exception Handling Generic Program Units, and by Mr. William Carlson's closing remarks.

Publisher: DoD

Publication Date: 9/80


Program Office Guide to Ada

Abstract: The purpose of this document is to discuss issues affecting the selection, development and maintenance of systems whose software is written in the Ada Language. Each edition focuses on a different set of topics and their implications for managers. This edition concentrates on: policy, run-time efficiency, customization of run-time support environments, training, Ada program design languages and conversion to non-Ada code.

Author: Ausnit, C.N., et al.

Publisher: USAF - Electronic Systems Division

Reference Number: USAF #: ESD-TR-86-282; AD-A178 263

Sponsoring Organization: USAF - Electronic Systems Division

Producing Organization: SofTech, Inc.

Publication Date: 9/86


Program Office Guide to Ada

Abstract: The purpose of the document is to discuss issues affecting the selection, development and maintenance of systems whose software is written in the Ada language. Each edition focuses on a different set of topics and their implications for managers. This edition concentrates on: MIL-STD 2167, MIL-STD-2168, proposal evaluation, reusability, portability, estimating and development efforts, benchmarks, and software libraries.

Author: Ausnit, C.N., et al.

Publisher: USAF - Electronic Systems Division

Reference Number: USAF #: ESD-TR-86-282 (II)

Sponsoring Organization: USAF - Electronic Systems Division

Producing Organization: SofTech, Inc.

Publication Date: 10/86


Software Engineering Education Directory

Abstract: This directory provides information about software engineering courses and software engineering degree programs that are available in the US and Canada.

Author: Johnson, Albert L.

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

Reference Number: CMU/SEI-88-TR-2; ESD-TR-88-003

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/88


SEI Mission

Abstract: These slides are from a briefing by Maj Chuck Engles on the SEI mission to the ASEET Team in October.

Author: Engles, Charles

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

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 1/87


SEI Overview

Abstract: The Software Engineering Institute (SEI) is a federally funded research and development center established and operated by Carnegie Mellon University (CMU). The SEI was formed in response to the recognized need for advances across all phases of the software engineering process. Part I of this document presents an outline of the SEI mission, critical issues in software engineering, the SEI approach to software engineering, current and potential SEI programs, technology transition, and a description of the SEI's computing environment. Part II of this document contains SEI project descriptions.

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

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 9/87


Software Engineering Master's Degree Program at Boston University, College of Engineering

Abstract: This article briefly outlines the Software Engineering Masters Degree program at Boston University, College of Engineering. Two separate curricula are presented: one for those with a hardware background, and another for those with a software background. A special feature of the expanded program is the emphasis placed on the software engineering for two important classes of computer systems: embedded systems and networked systems. By the Fall of 1988 there will be new laboratories for these courses, offering hands-on experience. Through the cooperation of industry, the laboratories will be equipped with state of the art equipment which is being used to develop major software systems.

Author: Brackett, John W.

Publisher: Boston University, College of Engineering, 110 Cummington Street, Boston, MA 02215

Sponsoring Organization: ASEET

Producing Organization: Boston University

Publication Date: 11/87


Ada Integrated Environment III Computer Program Development Specification

Abstract: The Ada Integrated Environment (AIE) consists of a set of software tools intended to support design, development and maintenance of embedded computer software. A significant portion of an AIE includes software systems and tools residing and executing on a host computer (or set of computers). This set is known as an Ada Programming Support Environment (APSE). This B-5 Specification describes, in detail, the design for a minimal APSE, called a MAPSE. The MAPSE is the foundation upon which an APSE is built and will provide comprehensive support throughout the design, development and maintenance of Ada software. The MAPSE tools described in this specification include an Ada compiler, linker/loader, debugger, editor, and configuration management tools. The Kernel (KAPSE) will provide the interfaces (user, host, tool), database support, and facilities for executing Ada programs (runtime support system).

Publisher: Texas Instruments, Inc. -- Equipment Group

Reference Number: RADC #: RADC-TR-81-360 (Volume 3/4)

Sponsoring Organization: Rome Air Development Center

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

Publication Date: 3/81


Proceedings of the Tenth International Conference on Software Engineering

Abstract: The papers contained in these proceedings are arranged by session: 1- Parallel and Distributed Applications ("A Method for Asynchronous Parallelization," "On the Influence of Scale in a Distributed System," "Programming at the Processor-Memory-Switch Level"); 2- Management ("Theory-W Software Project Management: A Case Study," "Software Development Productivity Tools and Metrics," "Integrated Support for Project Management"); 3- Environments ("Models of Software Development Environments," "SDA: A Novel Approach to Software Environment Design and Construction," "Rigi -- A System for Programming-in-the-Large"); 4- Distributed System Design ("Design and Test of Distributed Applications," "Software Engineering for Distributed Applications: The Design Project," "Using Raddle to Design Distributed Systems"); 5- Real-Time ("Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications," "Requirements Analysis for Real-Time Automation Projects," "Tools for Real-Time System Design"); 6- Software Quality Techniques ("Assessing the Quality of Abstract Data Types Written in Ada," "Modeling Mutation on a Vector Processor," "A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques"); 7- Process Models ("Software Process Modeling: A Behavioral Approach," "Validating the TAME Resource Data Model," "Modeling Software Tools with Icon"); 8- Environments Components ("Static Analysis-Based Program Evolution Support in the Common LISP Framework," "Modeling of Data-Processing Software for Generating and Reusing Their Programs," "Interpretation in a Tool-Fragment Environment"); 9- Reuse ("Demeter: A Case Study of Software Growth through Parameterized Classes," "A Programming Environment Supporting Reuse of Object-Oriented Software," "Extension and Software Development"); 10- Specifying Concurrent Systems ("An Operational Requirement Description Model for Open Systems," "Language and Visualization Support for Large-Scale Concurrency," "High-Level Specification of Concurrency Control in Distributed Database Syatems"); 11- Formal Methods ("m-EVES: A Tool for Verifying Software," "Algebraic Specification of Macintosh's Quickdraw Using OBJ2," "An Early Report on Encompass"); 12- User Issues ("Enhancing Program Readability and Comprehensibility with Tools for Program Visualization," "Design Principles behind Chiron: A Uims for Software Environments," "Safety Verification in Murphy Using Fault Tree Analysis"); 13- Automated Tools ("PILOT: A Prescription for Program Performance Measurement," "STATEMENT: A Working Environment for the Development of Complex Reactive Systems," "KDA -- A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control"); and 14- Software Derivation ("Recording the Reasons for Design Decisions," "Deriving Specifications from Requirements," "Automatic Programming for Streams II: Transformational Implementation").

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0849-8 or 0-89791-258-6; Library of Congress: 80-640758; IEEE Catalog #: 88CH2554-4

Sponsoring Organization: **Numerous organizers**

Publication Date: 4/88


The History of Ada

Abstract: This article briefly describes the first 10 years of effort to achieve a common higher-order language. The article starts with the conception of the idea in 1974, describes various personnel involved, discusses the various stages of Design and Requirements criteria. Mention is made of the Cornell workshop (1976), the DoD design competition (1979), and the conception of the AJPO. The article concludes with the mention of the Ada Compiler Validation Capability (ACVC) tests and a discussion of Ada for supercomputers.

Author: daCosta, Robert

Reference Number: H03-0285

Publication Date: 1/84


Tutorial. Track II: Advanced Ada Topics

Abstract: This document is a lectured tutorial with viewgraphs used in tutorials on "Ada Tasking, Abstraction of Process," by Dean W. Gonzales and David A. Cook, U.S. Air Force Academy, and "Tutorial on Ada Exceptions,", by Major Patricia K. Lawlis, taught at the 2nd Annual ASEET Symposium, Dallas, June 9, 1987.

Author: Lawlis,Patricia; Dean Gonzalez; and David Cook

Publisher: ASEET

Sponsoring Organization: ASEET

Producing Organization: USAF

Publication Date: 6/87


Proceedings for the National Topical Conference on Using Ada -- A New Era in Adaptable, Reliable Software

Abstract: The papers and presentations contained in these proceedings are arranged by topic: General ("The Importance of Ada to Software Technology for Adaptable and Reliable Systems," "Ada Compiler Validation: Status and Direction," "Capital-Intensive Software Technology"), 1- Using Ada in the Army, Air Force, and Navy ("Using Ada in the Army," "Using Ada in the Air Force," "Using Ada in the Navy"), 2- Ada Training and Education ("Ada Teletraining"), 3- Applications and Experiences with Ada ("Ada and the Military Computer Family Operating System," "Ada Lessons from Programming the iMAX 432 Operating System," "Jet Propulsion Laboratory's Plans to Experience with Ada"), 4- Using Ada as a Program Design Language ("A Survey of Ada Program Design Languages," "PDL/Ada: A Design Language -- A Transition Tool," "The Role of Ada PDL in TRW's Ada Preparation Strategy," "Should Your Organization Use Ada as a Program Design Language?"), 5- Ada Compilers and Machines ("Using Ada on a 16 Bit Microcomputer," "The Ada Language System," "The ROLM Ada Work Center as a Complete Ada Solution," "Ada and the Intel-iAPX 432"), 6- Software Development Methodologies for Ada ("The Object-Flow Method: A Software Development Methodology for Ada"), and 7- Ada Programming Support Environments ("Features of the Ada Programming Support Environments," "Stoneman {APSE Requirements} and Beyond," "Fast Composition and Debugging Via an Interactive Ada System," "Configure -- A Portable APSE Tool").

Publisher: (AIAA) The American Institute of Aeronautics and Astronautics

Sponsoring Organization: (AIAA) The American Institute of Aeronautics and Astronautics

Producing Organization: The U.S. Professional Development Institute

Publication Date: 6/83


Ada's Impact: A Quantitative Assessment

Abstract: This document contains paper copies of briefing viewgraphs that report the results of a one year study that attempted to quantify the impact of Ada on cost and quality. The purpose of the briefing, given at the NSIA Software Quality and Productivity Conference, was to summarize conclusions drawn from the study and to solicit feedback from attendees.

Author: Reifer, Donald J.

Publisher: Reifer Consultants, Inc.

Reference Number: RCI #: RCI-TN-255

Publication Date: 3/87


Ada Adoption Handbook: A Program Manager's Guide

Abstract: This handbook provides program managers with information about how best to tap Ada's strengths and manage this new software technology. Although the issues are complex, they are not all unique to Ada. Indeed, many of these issues must be addressed when using any language for building sophisticated systems. The handbook addresses the advantages and risks inherent in adopting Ada. Significant emphasis has been placed on providing information and suggesting methods that will help program and project managers succeed in adopting Ada across a broad range of application domains. The handbook focuses on the following topics: program management issues including costs and technical and program control; Ada's goals and benefits; software tools with emphasis on compiler validation and quality issues; the state of Ada technology as it relates to systems engineering; the application of special purpose languages; issues related to mixing Ada with other languages; possible productivity benefits resulting from software reuse; and implications for education and training.

Author: Foreman, John and John Goodenough

Publisher: SEI

Reference Number: SEI #: CMU/SEI-87-TR-9; ESD-TR-87-110

Sponsoring Organization: DoD

Producing Organization: SEI

Publication Date: 5/87


A Report to Congress: Department of Defense Computer Technology

Abstract: This Report presents the results of study conducted by the Department of Defense (DoD) at the direction of Congress in the Conference Report accompanying S.2248, "Department of Defense Authorization Act, 1983." The study was commissioned to address the following specific issues: (1) the applicability of commercial computer technology to Defense Department missions; (2) the desirability of standardizing at the ISA level in light of alternative approaches; (3) the degree of software transportability that the various approaches permit; (4) the relative merits and liabilities involved in the incorporation of each approach into DoD weapons systems; (5) justification for all on-going Service computer development projects; and (6) a plan to reduce the proliferation of these computers.

Author: Office of the Under Secretary of Defense (Research and Engineering)

Publisher: Office of the Under Secretary of Defense (Research and Engineering)

Publication Date: 8/83


A Report to Congress: Department of Defense Computer Technology (Study Annex)

Abstract: This report addresses the concerns the Congress expressed in the Authorization and Appropriations Acts of 1983 and 1984 regarding the department's plans for the management of mission-critical computer resources. The Congress requested the department to address acceleration of the Ada language, advanced microelectronic and chip set computers, instruction set architecture, the reduction of unproductive proliferation of different types of military computers, schedules for current computer programs, and the plan for the software technology (STARS) program. The contents of this report are divided into sections: 1- Mission-Critical Software Initiatives; 2- Use of Commercially-Available Microprocessors in Mission-Critical Defense Systems; 3- Management of Mission-Critical Computer System Interfaces; 4- Current Generation Mission-Critical Computers; and 5- Next Generation Mission-Critical Computers.

Author: Office of the Under Secretary of Defense (Research and Engineering)

Publisher: Office of the Under Secretary of Defense (Research and Engineering)

Publication Date: 1/84


Draft Specification of the Common APSE Interface Set (CAIS)

Abstract: This document is a draft for public review. It will be revised in accordance with comments received during this public review cycle. This document provides specifications for a set of Ada packages which together form a Common APSE Interface Set (CAIS) for Ada Programming Support Environments (APSEs). This interface set is designed to promote the source-level portability of Ada programs, particularly Ada software development tools. The initial phase of this effort is directed toward the interfaces of the Ada Integrated Environment (AIE) and the Ada Language System (ALS). Version 1.0 of the CAIS, presented herein, is intended to provide the basis for evolution of the CAIS as APSEs are implemented, as tools are transported, and as tool interoperability issues are encountered. [Includes xeroxed sheets of changes to Verison 1.0.]

Author: KIT/KITIA CAIS Working Group

Publisher: DoD

Sponsoring Organization: AJPO

Producing Organization: KIT/KITIA CAIS Working Group

Publication Date: 8/83


Ada Reusability Guidelines

Abstract: Reusable software is software that can, with little or no modification, be used in a variety of application systems other than that for which it was originally developed. The Ada language provides many features that support reusability, but reusability can be greatly enhanced if the features are used in certain controlled ways. This report addresses the design, development, documentation, and management issues relating to reusability.

Author: Ausnit, Christine, et al.

Publisher: US Air Force, Electronic Systems Division

Reference Number: SofTech #: 3285-2-208/2; USAF-ELD#: ESD-TR-85-142

Sponsoring Organization: US Air Force

Producing Organization: SofTech, Inc.

Publication Date: 4/85


Reference Manual for the Ada Programming Language (Proposed Standard Document)

Abstract: This Reference Manual describes the programming language Ada, designed in accordance with the Steelman Report, a culmination of the DoD Common High Order Language Program that began in 1974. An Introduction (Chapter 1) and information, including correct syntax structure, about the following Ada constructs is included: Lexical Elements (Chapter 2), Declaration and Types (Chapter 3), Names and Expressions (Chapter 4), Statements (Chapter 5), Subprograms (Chapter 6), Packages (Chapter 7), Tasks (Chapter 9), Exceptions (Chapter 11), Generic Program Units (Chapter 12), and Input-Output (Chapter 14). Also included is information about Visibility Rules (Chapter 8), Program Structure and Compilation (Chapter 10), Issues, and Representation Specification and Implementation Dependent Features (Chapter 13).

Author: Ada Design Team: Ichbiah, J.D., et al.

Publisher: DoD

Sponsoring Organization: DoD

Producing Organization: Cii Honeywell Bull and Honeywell Systems and Research Center

Publication Date: 7/80


Military Standard / American National Standard [ANSI/MIL-STD-1815A - 1983]: Reference Manual for the Ada Programming Language

Abstract: [This is the February 1983 revised ANSI Standard.]>>> This Reference Manual describes the programming language Ada, designed in accordance with the Steelman Report, a culmination of the DoD Common High Order Language Program that began in 1974. An Introduction (Chapter 1) and information, including correct syntax structure, about the following Ada constructs is included: Lexical Elements (Chapter 2), Declaration and Types (Chapter 3), Names and Expressions (Chapter 4), Statements (Chapter 5), Subprograms (Chapter 6), Packages (Chapter 7), Tasks (Chapter 9), Exceptions (Chapter 11), Generic Program Units (Chapter 12), and Input-Output (Chapter 14). Also included is information about Visibility Rules (Chapter 8), Program Structure and Compilation (Chapter 10), Issues, and Representation Specification and Implementation Dependent Features (Chapter 13).

Author: Ada Design Team: Ichbiah, Jean D., et al.

Publisher: DoD

Reference Number: ANSI/MIL-STD-1815A - 1983, 17 February 1983

Sponsoring Organization: DoD

Producing Organization: Cii Honeywell Bull, Alsys, and Honeywell Systems

Publication Date: 2/83


Military Standard [MIL-STD-1815]: Ada Programming Language

Abstract: [This standard was originally published as "Reference Manual for the Ada Programming Language, July 1980." Between July 1980 and October 1980, approximately 80 minor typographical errors were identified. Correction of these errors was authorized by the Interim Ada Configuration Control Board and the standard was reprinted with corrections in November 1980. The photo composition process used to reprint introduced seven new errors. This MIL-STD has been prepared from the November 1980 masters with corrections made to the seven errors.]>>> This Reference Manual describes the programming language Ada, designed in accordance with the Steelman Report, a culmination of the DoD Common High Order Language Program that began in 1974. An Introduction (Chapter 1) and information, including correct syntax structure, about the following Ada constructs is included: Lexical Elements (Chapter 2), Declaration and Types (Chapter 3), Names and Expressions (Chapter 4), Statements (Chapter 5), Subprograms (Chapter 6), Packages (Chapter 7), Tasks (Chapter 9), Exceptions (Chapter 11), Generic Program Units (Chapter 12), and Input-Output (Chapter 14). Also included is information about Visibility Rules (Chapter 8), Program Structure and Compilation (Chapter 10), Issues, and Representation Specification and Implementation Dependent Features (Chapter 13).

Author: Ada Design Team: Ichbiah, Jean D., et al.

Publisher: DoD

Reference Number: MIL-STD-1815, 10 December 1980

Sponsoring Organization: DoD

Producing Organization: Cii Honeywell Bull and Honeywell Systems and Research Center

Publication Date: 12/80


Chapter Reviews Changes to the Ada Languages Review Manual.

Abstract: These chapter reviews reflect the clarifications and changes that were later implemented in the issue of the Ada Reference Manual produced in response to the ANSI Canvass. They were circulated to Ada implementers in the interim. Any wording in the notes should not be considered final.

Author: Ada Design Team

Sponsoring Organization: DoD

Publication Date: 1/82


Military Standard [Draft Revised MIL-STD 1815]: Reference Manual for the Ada Programming Language -- Draft Proposed ANSI Standard Document for Editorial Review

Abstract: [This is the July 1982 revised draft of the proposed ANSI Standard.]>>> This Reference Manual describes the programming language Ada, designed in accordance with the Steelman Report, a culmination of the DoD Common High Order Language Program that began in 1974. An Introduction (Chapter 1) and information, including correct syntax structure, about the following Ada constructs is included: Lexical Elements (Chapter 2), Declaration and Types (Chapter 3), Names and Expressions (Chapter 4), Statements (Chapter 5), Subprograms (Chapter 6), Packages (Chapter 7), Tasks (Chapter 9), Exceptions (Chapter 11), Generic Program Units (Chapter 12), and Input-Output (Chapter 14). Also included is information about Visibility Rules (Chapter 8), Program Structure and Compilation (Chapter 10), Issues, and Representation Specification and Implementation Dependent Features (Chapter 13).

Author: Ada Design Team: Ichbiah, Jean D., et al.

Publisher: DoD

Sponsoring Organization: DoD

Producing Organization: Cii Honeywell Bull, Alsys, and Honeywell Systems

Publication Date: 7/82


Military Standard [ANSI/MIL-STD-1815A]: Ada Programming Language

Abstract: [This is the January 1983 revised ANSI Standard.]>>> This Reference Manual describes the programming language Ada, designed in accordance with the Steelman Report, a culmination of the DoD Common High Order Language Program that began in 1974. An Introduction (Chapter 1) and information, including correct syntax structure, about the following Ada constructs is included: Lexical Elements (Chapter 2), Declaration and Types (Chapter 3), Names and Expressions (Chapter 4), Statements (Chapter 5), Subprograms (Chapter 6), Packages (Chapter 7), Tasks (Chapter 9), Exceptions (Chapter 11), Generic Program Units (Chapter 12), and Input-Output (Chapter 14). Also included is information about Visibility Rules (Chapter 8), Program Structure and Compilation (Chapter 10), Issues, and Representation Specification and Implementation Dependent Features (Chapter 13).

Author: Ada Design Team: Ichbiah, Jean D., et al.

Publisher: DoD

Reference Number: MIL-STD-1815A, 22 January 1983

Sponsoring Organization: DoD

Producing Organization: Cii Honeywell Bull, Alsys, and Honeywell Systems

Publication Date: 1/83


The Militarily Critical Technologies List

Abstract: The DoD has prepared, and reviewed annually since 1980, the Militarily Critical Technologies List (MCTL) in response to Section 5(d) of the Export Administration Act (EAA) of 1979, and pursuant to Executive Order 12470 of March 30, 1984. The technologies identified in the MCTL primarily contribute to the development, production, or utilization of items being controlled for national security purposes. The commodities described in the list are limited to equipment and materials identified as either critical to the development, production, or utilization of end-items of concern or goods that would convey information concerning these activities.The MCTL and associated detailed documentation of list items provide guidanse within the Department of Defense for the review of those export license applications that particularly involve the transfer of know-how to Warsaw Pact countries or to potential nuclear-weapon proliferant countries.

Author: Office of International Programs and Technology

Publisher: DoD-OUSDRE

Reference Number: NTIS #: ADA-146 998

Publication Date: 10/84


Department of Defense Requirements for the Programming Environment for the Common High Order Language: Pebbleman

Abstract: This document describes the requirements for the environment necessary to the success of the Common High Order Language. The requirements discussed are recognized as necessary for the production of reliable software.

Author: Department of Defense High Order Commonality Language Program

Publisher: Department of Defense High Order Commonality Language Program

Publication Date: 7/78


Air Force Armament Laboratory Ada Compiler: User's Manual

Abstract: This report provides details about the Air Force Armament Laboratory (AFATL) Ada compiler, developed by Florida State University (FSU). In September 1985, the AFATL Ada compiler BECAME THE FIRST aIR fORCE SPONSORED aDA COMPILER TO is hosted on a Control Data Corporation Cyber 170/760 and targeted to the Zilog Z8002 microprocessor. This report is separated into two volumes. Volume I contains a user's guide, implementation-dependent characteristics of the AFATL Ada compiler, and installation/ invocation procedures. Volume II contains a detailed description of the main compiler components and rehosting/retargeting information.    

Author: Baker, Theodore P., and Gregory Riccardi

Publisher: Air Force Armament Laboratory

Sponsoring Organization: Air Force Armament Laboratory

Producing Organization: Florida State University

Publication Date: 8/86


Ada -- A Suitable Replacement for Cobol?

Abstract: The new Department of Defense standard programming language for embedded computer systems, Ada, is evaluated as a replacement for COBOL. Ada appears superior to COBOL in facilitating good software development and maintenance practices. Yet Ada is more difficult to learn and does not provide as many convenient built-in features for data formatting and input/output. Adopting Ada may reduce total life cycle cost, but in this document converting from COBOL to Ada is not recommended for the near future.

Author: Davis, John S.

Publisher: US Army Institute for Research in Management

Publication Date: 2/81


Report on Teaching Ada

Abstract: An experiment to teach Ada in a first year graduate class in Computer Science is reported. It is concluded that Ada should not be taught simply as another programming language. Instead, Ada should be embedded within, and taught as a tool for, a coherent program design methodology.

Author: Abbott, Russell J.

Publisher: SAI

Reference Number: SAI-81-175-WA

Sponsoring Organization: DARPA

Producing Organization: California State University (Dept. of Computer Science)

Publication Date: 3/80


Ada Methodologies: Concepts and Requirements

Abstract: This document rationalizes the need for the use of coherent software development methodologies in conjunction with Ada and its programming support environments (APSEs) and describes the characteristics that such methodologies should possess. It is recognized that software development, particularly for embedded systems, is increasingly done in the context of overall systems development, including hardware and environmental factors. While there is a strong need for integrated systems engineering, this document focuses on the software issues only.

Author: Wasserman, Anthony I. and Peter Freeman

Publisher: DoD

Sponsoring Organization: AJPO

Producing Organization: University of California

Publication Date: 11/82


DoD Digital Data Processing Study -- A Ten Year Forecast

Abstract: This study was preformed by an industry team under the auspices of the Requirements Committee, Government Division, Electronics Industries Association (EIA). The hypothesis behind the study was that an ever-increasing share of the DoD electronics budget is being earmarked for digital computers. The industry team preformed the an analysis of the digital computer portion of the broader DoD electronics segment. The study included both Automated Data Processing (ADP) and the Embedded computer area; it included both hardware and software/services.

Author: Stephan, Dave, et al.

Publisher: Electronics Industry Association (Government Division, Requirements Division)

Sponsoring Organization: Electronics Industry Association

Producing Organization: Industry Panel (Control Data Corp., Intel, IBM, ROLM Corp., TRW)

Publication Date: 10/80


DoD Should Change Its Approach to Reducing Computer Software Proliferation

Abstract: In this report the General Accounting Office (GAO) encourages DoD to reduce computer software proliferation and accompanying high costs by taking advantage of opportunities to use a standard programming language. GAO believes that DoD could more effectively achieve the objective of reducing high costs resulting from computer software proliferation by evaluating opportunities to use its new programming language Ada and by using this language when warranted. It is estimated that $1.5 billion in annual savings can be realized by adopting one DoD standard programming language.

Author: Bowsher, Charles A. (Comptroller General of the United States)

Publisher: US General Accounting Office

Reference Number: GAO #: GAO/MASAD-83-26

Publication Date: 5/83


DoD Requirements for Ada Programming Support Environments: Stoneman

Abstract: This document specifies the requirements for an Ada Programming Support Environment (APSE). It provides criteria for assessment and evaluation of APSE designs, and offers guidance for APSE designers and implementers.

Author: Buxton, John N., et al.

Publisher: DoD

Sponsoring Organization: DARPA; British Ministry of Defense

Publication Date: 2/80


Ada Joint Program Office Objectives and Progress -- Through 1983

Abstract: In 1975, the Department of Defense (DoD) began the process of standardizing the high order languages used to write software for embedded computers. The first step was to form a High Order Language (HOL) Working Group to identify DoD's requirements for computer programming languages, evaluate the existing languages, and recommend the implementation and control of a "minimal set." Although an interim set of languages was established, none were considered to be a long term solution to the DoD's programming needs. Therefore, an international request for proposals was issued for a new common language. The final requirements document, STEELMAN, served as the standard for the selection of the new DoD HOL. In 1979, this new language, developed by Cii-Honeywell Bull, was named Ada, in honor of Augusta Ada Byron, the countess of Lovelace. On 12 December 1980, the Under Secretary of Defense for Research and Engineering established the Ada Joint Program Office to manage the DoD's effort to implement, introduce, and provide life-cycle support for Ada. This paper outlines past, present, and future objectives of the Ada Joint Program Office.

Author: Kramer, John F. and Catherine W. McDonald

Publisher: IDA

Sponsoring Organization: OUSDRE (R&AT)/AJPO

Producing Organization: IDA

Publication Date: 9/84


Software Modeling Studies: The Polynomial Measure of Complexity

Abstract: A new measure of software complexity is introduced, one which describes a flow chart by a polynomial. This measure takes both the elements of a flow chart and its structure into account. Rules are given for obtaining the polynomials for various types of flow charts. The polynomial complexity measure can be used to compare alternate software designs and to divide a computer program into modules to obtain a minimal overall complexity. A comparison is made of this measure with several known complexity measures.

Author: Ruston, Henry

Publisher: Rome Air Development Center

Reference Number: Rome #: RADC-TR-81-183, Vol 2/4

Sponsoring Organization: Rome Air Development Center

Producing Organization: Polytechnic Institute of New York

Publication Date: 7/81


Ada Support System Study

Abstract: The US DoD High Order Language Programme will produce by early 1980 the definition of a standard programming language for embedded computer systems. To obtain full benefit from the language standardization exercise, it is necessary also to define standards for the associated "language support system." Because it is not feasible to define a single standard support system to which every implementation must adhere, there will be defined a common "model for support systems." This document presents the requirements specification and the functional specification for the model, without any attempt at this stage to specify an actual set of components. Consists of two documents with the first phase report in one, and the Phase 2 and Phase 3 reports in the other.

Publisher: Systems Designers Limited; Software Sciences Limited

Sponsoring Organization: UK Ministry of Defence

Producing Organization: Systems Designers Limited; Software Sciences Limited

Publication Date: 3/79


Ada Equivalent System Requirements Specification for AN/TYC-39 Store & Forward Message Switch

Abstract: The purpose of this document is to describe an Ada-oriented framework for the design and documentation of an existing large-scale military software system. It is not a B5 or C5 specification, although it is anticipated that the Functional Decompositional Models and Concurrency Diagrams will form a basis for a B5, while the Functional Requirements should serve as a basis for C5 equivalent specifications. Hardware and software have been specified functionally in Ada form. Thus, the optimum hardware/software partitioning and hardware description is to be a part of the design process (next phase).

Publisher: General Dynamics

Sponsoring Organization: U.S. Army CECOM

Producing Organization: General Dynamics

Publication Date: 6/82


Embedded Computer Resources and the DSARC Process -- A Guidebook

Abstract: The purpose of this guidebook is to provide guidelines to assess the adequacy of embedded computer resource planning and utilization. The level of Defense System Acquisition Review Council (DSARC) interest in embedded computer resources is related both to the percentage of development, acquisition, and support funds represented and to the criticality of system performance and support that these resources represent. Section I, II, and III emphasize embedded computers rather than general purpose computers that may be used to provide incidental support for some systems. Sections II, III, and IV address issues on Milestone I, II, and III respectively and are based on the three major DSARC meetings. Section V is a series of definitions of computer resources terms. They are presented in an attempt to achieve common terminology throughout the embedded computer community. Section VI contains a matrix that details available regulations and standards that pertain to various computer resource topics. Section VII contains a form that can be used to provide feedback suggestions to improve this guidebook.

Author: Grove, Mark H.

Publisher: DoD

Publication Date: 4/81


Master Plan for Tactical Embedded Computer Resources

Abstract: The purpose of this document is to present the Navy's master plan for the development, acquisition, and life cycle management of tactical embedded computer resources, including computer hardware and software, used in and in support of Navy combat systems. The plan addresses problem areas associated with existing and emerging embedded computer systems; outlines plans and strategies for developing and acquiring the embedded computer resources necessary for solving these problems; discusses manpower, personnel, and training requirements; and specifies tasks, milestones, and resources needed to implement the strategies.

Author: Boslaugh, D.L.

Publisher: Department of the Navy - Navy Material Command

Publication Date: 1/81


Ada Portability Guidelines

Abstract: This document presents the results of a study on writing portable Ada programs. The objectives of the study were to 1) evaluate the Ada-Europe Portability Guidelines (Nissen 1984) as a guide for writing portable programs, and 2) prepare a self-contained guide to writing portable Ada programs (SofTech1984D). This report discusses the findings of the study and concludes additional considerations for writing portable programs.

Publisher: SofTech

Sponsoring Organization: USAF Systems Command - Electronic Systems Division

Producing Organization: SofTech

Publication Date: 9/84


Formal Definition of the Ada Programming Language (Preliminary Version for Public Review)

Abstract: This Formal Definition describes the programming language Ada, designed in accordance with the Steelman Report, a culmination of the DoD Common High Order Language Program that began in 1974. An Introduction (Chapter 1) and information, including correct syntax structure, about the following Ada constructs is included: Lexical Elements (Chapter 2), Declaration and Types (Chapter 3), Names and Expressions (Chapter 4), Statements (Chapter 5), Subprograms (Chapter 6), Packages (Chapter 7), Tasks (Chapter 9), Exceptions (Chapter 11), and Generic Program Units (Chapter 12). Also included is information about Visibility Rules (Chapter 8), Program Structure and Compilation (Chapter 10), Issues, and Representation Specification and Implementation Dependent Features (Chapter 13).

Author: Ada Design Team: Ichbiah, Jean D., et al.

Publisher: DoD

Sponsoring Organization: DoD

Producing Organization: Cii Honeywell Bull, Honeywell, and Inria

Publication Date: 11/80


Second Annual Communications Electronics Exhibit and Technical Symposium: Entering the 80's with Advanced Technologies

Abstract: These Proceedings contain the technical papers which were presented during the three day Communications Electronics exhibit and Technical Symposium. Presentations on the first day focused on topics of general technical interest ranging from advanced training techniques to new ground/space hardware developments. Presentations on the second day were devoted to the DoD software language "Ada." An Air Force panel discussion of Military Space in the Future was held on the third day.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      

Author: Deutsch, Ricky J.

Publisher: AMPEX Corporation

Sponsoring Organization: AFCEA

Publication Date: 11/80


MILSTAR Ada Study in Software Engineering Issues: Phase 1 Separatum

Abstract: This document gathers some of the interim detailed findings of the ongoing MILSTAR Ada Study. The purpose of this Study is to recommend a programming language for the MILSTAR Mission Control Segment (MCS), which has been contracted to Lockheed Missiles and Space Company, Inc. (LMSC). There are particular constraints for this Study. The languages under consideration are Ada, FORTRAN 77, and JOVIAL (J73). The VAX-11/7XX has been designated as the target computer. The language selection is not subject to the DeLauer Memorandum.

Author: Arkwright, T.D., et al.

Publisher: Lockheed Missiles and Space Company, Inc.

Reference Number: Lockheed #: LMSC D059762

Sponsoring Organization: Department of the Air Force - Headquarters Space Division

Producing Organization: Lockheed Missiles and Space Company, Inc.

Publication Date: 6/84


MILSTAR Ada Study in Software Engineering Issues: Phase II Separatum

Abstract: This document gathers Phase II deliverables of the now complete MILSTAR Ada Study. LMSC Engineering Memorandum 4022 is the parent document of this Separatum. The purpose set forth in the proposal for this study was to "determine and assess the benefits, risks, and cost effectiveness of the potential use of Ad for MILSTAR MCS software development. The study will provide a final recommendation on the use of Ada, with supporting analyses and data, no later than 30 September 1984. An element of the study will be the definition of a complete plan for Ada implementation if selected as the MILSTAR MCS programming language." This study considered Ada, FORTRAN 77, and JOVIAL (J73) in a VAX-11/7XX software environment as candidate languages. In reviewing the results of Phase I, the need emerged, along with the study's recommendation to use an Ada-based PDL (Program Design Language), to allocate a larger fraction of total attention to Ada issues. Supplementary tasks are included in this report to round out complement the required reports.

Author: Arkwright, T.D., et al.

Publisher: Lockheed Missiles and Space Company, Inc.

Reference Number: Lockheed #: LMSC D976385

Sponsoring Organization: Department of the Air Force - Headquarters Space Division

Producing Organization: Lockheed Missiles and Space Company, Inc.

Publication Date: 9/84


Benefit Model For High Order Language

Abstract: This report is derived from a two-part study to 1) design a computer program to manipulate decision-analytic models to assist in making the economic benefit decision made for the proposed DoD Common High Order Language and 2) implement and run the models.

Author: Fox, Joseph M.

Publisher: Decisions and Designs, Inc.

Reference Number: DDI #: TR 78-2-72

Sponsoring Organization: DARPA

Producing Organization: Decisions and Designs, Inc.

Publication Date: 3/78


Strategy for a DoD Software Initiative

Abstract: This document describes a management strategy and an initial plan for a DoD-wide software initiative to improve our ability to exploit the advantages of computer technology through software. The initiative will improve the state of practice in the acquisition, management, development, and support of computer software for military systems. It establishes overall objectives, provides top-level plans for achieving the objectives, and identifies the steps necessary to develop the next level plans for implementation. This plan for cooperation among DoD elements, industry, and academia must be refined through extensive coordination within DoD and the computing community.

Publisher: DoD

Publication Date: 10/82


DoD Management of Mission-Critical Computer Resources

Abstract: This report, prepared by the Council of Defense and Space Industries Associations (CODSIA) Task Group, responds to a DoD USDRE request to review the issues surrounding the proposed DoD Instruction 5000.5X and its approach to embedded computer standardization. With USDRE concurrence, the Task Group expanded this scope to address a broader issue -- DoD Management of Mission-Critical Computer Resources (MCCR) in the 1980's, the term "resources" being defined to include manpower, dollars, and technology. This report consists of two volumes: Volume I, the body of the report, represents the consensus of the Task Group; Volume II documents the supporting background, issues, and Task Group deliberations.

Author: Council of Defense and Space Industry Associations (CODSIA)

Publisher: CODSIA

Reference Number: CODSIA #: Report 13-82

Publication Date: 3/84


Key Characteristics of Ada Programming Support Environments

Abstract: The Department of Defense has developed and standardized a new programming language, Ada. Many Air Force Systems Command programs will be required to use Ada for software development; as a result, there is need to understand the characteristics of the programming environments useful in supporting Ada software development. This paper describes key characteristics of Ada Programming Support Environments (APSEs). It draws together information from many sources to provide the foundation knowledge needed to begin the specifications or selection of an APSE. It assumes that the reader is familiar with Ada.

Author: Grund, E.C., et al.

Publisher: Mitre

Reference Number: Mitre #: MTR 9590

Sponsoring Organization: USAF - Electronic Systems Division

Producing Organization: Mitre

Publication Date: 9/84


Rationale for Fixed-Point and Floating-Point Computational Requirements for a Common Programming Language

Abstract: This paper discusses the considerations that led to the individual technical requirements for the numeric computation facilities for a common programming language for the DoD. Of five kinds of arithmetic considered, one floating-point and one form of fixed-point including integers were found to be appropriate for the common language. The implications of the various requirements for the language designers, the compiler-writer, the user, and the machine designer are considered.

Author: Fisher, David A. and Philip R. Wetherall

Publisher: Institute for Defense Analyses (IDA)

Reference Number: IDA #: IDA Paper P-1305

Sponsoring Organization: DARPA

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 1/78


Software Engineering Environments for Mission Critical Applications -- STARS Alternative Programmatic Approaches

Abstract: Central to the STARS (Software Technology for Adaptable and Reliable Systems) Program is automated software engineering environment(s) (SEE) to provide software development and in-service support for DoD systems with mission critical computer resources (MCCR). This paper briefly describes seven previously proposed alternatives for producing SEEs in the near-, mid-, and long-terms and highlights the advantages and disadvantages of each alternative. It reviews some key issues for selecting alternatives or combinations of alternatives including DoD's needs, the available technical opportunities and choices, the means used to obtain environment(s), and the costs. This paper also makes recommendations for STARS decision-making, suggesting an exploration and decision process, as well as a number of possible activities. In depth descriptions of the seven previously proposed alternatives appear in an Appendix.

Author: DeMillo, Richard A., et al.

Publisher: IDA

Reference Number: IDA #: IDA Paper P-1789

Sponsoring Organization: OUSDRE

Producing Organization: IDA

Publication Date: 8/84


SEATECS: Software Engineering Automation for Tactical Embedded Computer Systems [Top Level Requirements]

Abstract: This document specifies the scope and functions of a SEATECS Software Engineering Environment (SSEE). The Software Engineering Automation for Tactical Embedded Computer Systems (SEATECS) Project was established as an applied research (6.2) project by the Naval Sea Systems Command (NAVSEA) to improve the productivity of the TECS software engineering process through the definition and prototype development of a highly automated software engineering environment. The two Fleet Combat Direction System Support Activities (FCDSSA - San Diego, FCDSSA - Dam Neck) were identified as the operational targets for SEATECS. This document is derived from 1) a series of analyses of FCDSSA current and projected workloads and production procedures (documented in Functional Analyses [refs (a) and (b)]), and 2) assessments of projected software engineering technology for 1982-95. The requirements represent SEATECS' perception of the functions of an SSEE that are relevant to the FCDSSA's needs and are technologically feasible over the next fifteen years.

Publisher: Naval Ocean Systems Center (NOSC)

Publication Date: 1/87


Proceedings of the National Conference on Tactical Command, Control, and Communications (C3)

Abstract: This report is an unclassified record of the proceedings of the Tactical C3 Conference, sponsored by the National Security Industrial Association (NSIA). Attendance at the conference was by invitation and based upon membership in the Association; all participants were required to have a current verified SECRET level security clearance. The conference was designed for senior industry representatives and government officials to exchange views on current problems and the requirements for an effective Command Control and Communications program. The proceedings include "Opening Remarks," "European Theatre Command and Control Systems," "Introducing New Technology to the Armed Forces in Europe," "The Role of STC in NATO," "Acquisition of C3 Equipment by NATO," "The MIDS Team: An Innovative Approach to NATO," and a list of Registrants.

Publisher: NSIA

Sponsoring Organization: NSIA

Producing Organization: Command, Control, and Communications Committee

Publication Date: 4/81


Report of IDA Summer Study on Hardware Description Language

Abstract: The IDA's Summer Study on Hardware Description LAnguage met from June 1-June 12, 1981, for the purpose of determining the goals and requirements for VHSIC-level hardware description language (VHDL). Three major results were accomplished: 1) the behavioral, structural, hierarchical, and other requirements that such a second language would need to fulfill to meet DoD VHSIC were detailed; 2) the existing Texas Instruments HDL was examined and a group of changes and additions were recommended (resulting in "WHDL"), which meets many of the requirements of VHDL; and 3) determination was made of those features of Ada that would be needed for VHDL and additional constructs (outside of Ada) that would be required.

Author: Preston, G.W.

Publisher: IDA

Reference Number: IDA #: IDA Paper P-1595

Sponsoring Organization: OUSDRE

Producing Organization: IDA

Publication Date: 10/81


Final Report on Ada Test and Evaluation

Abstract: In June of 1979, following an extensive process of selection and revision, the Preliminary Ada language definition was published. As a means of further refining the language, it was decided to approach the prospective user community and solicit their comments and reactions. This report describes the methods used to gather and evaluate the many responses received, and discusses the more prominent issues raised.

Publisher: Intermetrics

Reference Number: Intermetrics #: IR #663

Sponsoring Organization: DARPA/IPTO

Producing Organization: Intermetrics

Publication Date: 2/81


Design Issues for Ada Program Support Environments: A Catalogue of Issues

Abstract: This paper catalogues many of the design decisions necessary to the design of an Ada program support environment (APSE). The emphasis is on those design decisions which affect the APSE users and tool builders. It is hoped that early identification and resolution of these design decisions will maximize the simplicity, usefulness, and ease of use for any APSE while permitting tool building efforts to begin in parallel with implementation of the kernel APSE. The catalogue includes both design decisions and conventions on the form, function and performance of the various internal and external interfaces, but does not address other design decisions critical to the implementation and internal representations of the kernel APSE.

Author: Fisher, David A.

Publisher: Science Applications, Inc.

Reference Number: Science Applications #: SAI-81-289-WA

Sponsoring Organization: DARPA

Producing Organization: Science Applications, Inc.

Publication Date: 10/80


Ada Benchmark Software for C3I Systems

Abstract: [This informal pap3er presents tentative information for limited distribution.] The goal of the Ada benchmark task is to determine whether applications software for embedded C3I applications can be developed in a manner that meets both its development-time and run-time performance requirements. This approach is to acquire a collection of Ada software from which performance benchmark experiments may be constructed and run. This year-end report summarizes the work performed on this task in FY84; it included the development of guidelines covering issues of style, portability, and design of Ada software. The report also outlines a plan for work to be performed on this task in FY85.

Author: Litvintchouk, S.D.

Publisher: Mitre

Reference Number: Mitre #: WP-25839

Sponsoring Organization: USAF - Electrical Systems Division

Producing Organization: Mitre

Publication Date: 9/84


Ada in Action: Ada Capability Study - Source Code Document

Abstract: This document contains the Source Code of the final Army TYC-39 Message Switch Design using the "Ada Integrated Methodology" developed by General Dynamics - Data Systems Division. The description of this system can be found in the Design Document of the Ada Capability Study.

Publisher: General Dynamics - Data Systems Division

Sponsoring Organization: U.S. Army CECOM

Producing Organization: General Dynamics - Data Systems Division

Publication Date: 6/82


Preliminary Design Phase Report -- Red

Abstract: The purpose of this document is to demostrate how REDL succeeds in realizing the DoD's criteria for a common language. Chapter 2 provides a description of REL's compliance with Ironman. In those cases where a part of a requirement is not met, a supporting explanation is given. Chapter 3 focuses upon certain key decisions in the design process and gives the rationale behind them. Chapter 4 analyzes the feasibility of implementing REDL, concentrating on formal semantic specification, documentation requirements, test translator design, and language support facilities. Chapter 5 summarizes the compliance of REDL with the DoD's Analyses Plan. Appendix A provides some details relevant to a design decision on recursion and displays.

Publisher: DoD

Publication Date: 1/79


Preliminary Design and Implementation of an Ada Pseudo-Machine

Abstract: This project involved defining an Ada pseudo-machine and developing an Ada to pseudo-code test translator. The translator's front-end incorporates a table-driven parser that can parse the entire proposed-standard Ada language. The translator's semantic routines allow integer data objects, several control structures, procedures, functions, packages and tasks. These routines generate pseudo-code that is executed by an interpreter program included in the translator. The interpreter constitutes a complete description of the pseudo-machine whose architecture consists of multiple, stack-oriented processors that access a common memory. Interesting features of the project include the hash-coded symbol table that supports Ada's visibility rules and the pseudo-machine architecture that supports Ada's tasking.

Author: Garlington, Alan R.

Publisher: USAF - US Air Force Institute of Technology (AFIT)

Reference Number: USAF #: AFIT/GCS/MA/81M-1

Publication Date: 3/81


Set of Sample Problems for DoD High Order Language Program: Green Solutions

Abstract: This document contains a set of sample problems for the DoD High Order Language Program, along with the solutions achieved by using the Green Language, a candidate for the DoD High Order Language. The problems deal with these topics: Polled Asynchronous Interrupt, Priority Interrupt System, A Small File Handling, Package, Dynamic Pictures, A Database Protection Module, A Process Control Example, Adaptative Routing Algorithm for a Node within a Data Switching Network, General Purpose Real-Time Scheduler, Distributed Parallel Output, and Unpacking and Conversion of Data.

Publisher: Honeywell, Inc.; Cii Honeywell Bull

Publication Date: 4/79


Category 2b: General Comments on Specific Languages -- Green

Abstract: This document contains "pro" and "con" comments about the Green language, which was one of the candidate languages for the DoD High Order Programming Language.

Author: misc.

Publication Date: 1/78


Integrated Software Development System/Higher Order Software Conceptual Description (ISDS/HOS)

Abstract: The Integrated Software Development System/Higher Order Software (ISDS/HOS) is a unified systems engineering methodology that includes a basic set of principles and a standard set of tools and techniques for developing computer-based systems. The foundation of ISDS/HOS is based upon a formal system theory, Higher Order Software (HOS). The principles of ISDS/HOS encompass all phases of system development and all disciplines including design, verification, documentation, management, and maintenance. The automated tools of ISDS/HOS serve to eliminate many possible sources of human error in the transition of system development from concept to deployment. The component tools of ISDS/HOS facilitate the specification of a system, automate interface analysis of the specification, and automate translation of the system specification directly into an optimized coded form. The ISDS/HOS support tools eliminate much of the manual effort required in the development of computer-based systems. The purpose of this report is to present the ISDS/HOS concept so that managers, systems engineers, and computer scientists can appreciate the various aspects of the basic principles on which ISDS/HOS is based, the basic tools that ISDS/HOS will have available, and the basic techniques that ISDS/HOS users can use.

Author: Hamilton, M. and S. Zeldin

Publisher: US Army Electronics Command

Reference Number: US Army #: ECOM-76-0329-F

Sponsoring Organization: US Army Electronics Command

Producing Organization: The Charles Stark Draper Laboratory, Inc.

Publication Date: 11/76


TCOL Ada: An Intermediate Representation for the DoD Standard Programming Language [DRAFT]

Abstract: This document describes TCOL Ada, a possible intermediate representation for Ada -- the language being designed to meet the Steelman requirements. The purpose of this description is to provide enough information about this representation so that potential implementors of Ada can assess the feasibility of producing this representation at an intermediate stage of their compilers. Of course Ada has not yet been fully designed, and a choice between the two competing designs has not been made; thus, this document can only be considered tentative. It should, however, provide enough of the "flavor" of TCOL Ada that an assessment can be made.

Author: Schatz, Bruce R., et al.

Publisher: DARPA

Sponsoring Organization: DARPA

Publication Date: 2/79


Programming Languages and Standardization in Command and Control

Abstract: This Memorandum is the final report on a study of programming languages undertaken by the RAND Corporation. The rapid growth in the design, publication, and use of programming languages in military computer applications has raised several issues that affect current and projected Air Force computer-based systems. The purpose of the study was to identify and discuss the two major issues raised by the use of programming languages: 1) what benefits programming languages offer and 2) what gains are to be realized by standardizing on a programming language. This memorandum is addressed to the user of electronic data processing systems and, in particular, to the Air Force groups who provide guidance and planning in electronic data processing, such as the Air Force Directorate of Data Automation and the Electronic Systems Division.

Author: Haverty, J.P. and R.L. Patrick

Publisher: The Rand Corporation

Reference Number: Rand #: Memorandum RM-3447-PR

Sponsoring Organization: United States Air Force Project RAND

Producing Organization: The Rand Corporation

Publication Date: 1/63


Programming Languages, Standards, Use, and Selection: Air Force and Other Government Agencies -- Volume II, System Summaries

Abstract: Information related to computer programming languages was collected about Air Force systems and about activities at other government agencies during Phase II of the Air Force Systems Command High Order Language Standardization Program. An understanding of this experience in procuring, developing, and operating weapon and defense systems involving embedded computer resources is required in order to assist decision-making regarding standardization of programming languages for Air Force use. Facts were reported on sixty-four Air Force systems and on related programs at NASA, FAA, and other government agencies. An analysis of this data is presented in Volume I and system summaries are presented in Volume II.

Author: Loring, P.L., et al.

Publisher: MITRE

Reference Number: MITRE #: MTR-3345, Volume 2

Sponsoring Organization: USAF - Electronic Systems Division

Producing Organization: MITRE

Publication Date: 9/76


The Green Language: An Informal Introduction [DRAFT]

Abstract: This document is an introduction to the Green Programming language. The authors emphasize concepts that form the foundation of the language, rather than attempt to describe the entire language or to provide self-contained guide for writing programs. The objective of this document is to convey the essence of the language, mainly through examples. It is assumed that the reader has experience in another higher order programming language; no other particular kind of expertise is assumed. This Introduction is organized into three successive levels: A) Chapter 1 -- This opening chapter provides a very brief sketch of the facilities that have an analogue in many other higher order languages. The discussion is based on four small example programs; B) Chapter 2-4 -- These chapters provide a much more thorough treatment of the facilities sketched in Chapter 1. In particular, the authors treat the notion of data types, the basic statements in the language, and the facilities for writing subprograms; C) Chapters 5-9 -- These chapters describe the facilities needed in many important applications. In particular, the authors treat the development of program packages, parallel processing, exception handling, the interface with an implementation, and separarte translation.

Publisher: Honeywell, Inc.; Cii Honeywell Bull

Publication Date: 4/79


System Design and Software Engineering Methodologies in Europe

Abstract: This report is the result of a survey conducted during 1978 of systems design and software engineering methodologies at various academic institutions, industrial facilities and governmental research establishments in the United Kingdom, France, and Germany. Specific activities surveyed include computer-based system requirements derivation system, design specification and program implementation methodologies, concepts and tools.

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

Publisher: Office of Naval Research, Branch London

Reference Number: ONR #: R-7-78

Publication Date: 11/78


Preliminary Design Phase Report and Language Specification -- Yellow

Abstract: This document presents a language designed for the programming of embedded computer systems within the DoD. This language is also appropriate for the implementation of many components of its own support environment - editors, interpreters, diagnostic aids, etc. The language was required to be designed by modifying Pascal to comply with the Ironman Requirements. The document contains: a Language Report (in which the syntactic and semantic rules are discussed), a Tutorial and Programming Examples, a Design Discussion, an Analysis of Feasibility, an Analysis of Compliance, and a Glossary.

Publisher: DoD

Publication Date: 1/79


The Development of PEARL

Abstract: The progress of development of the real-time programming language PEARL is discussed in detail, and all references are indicated. Continuing activities and languages developed abroad are described. The most important statement is: In 1976, the definition of PEARL was frozen in. The official language descriptions, which form a compulsory basis of implementation, appeared in 1977, Full PEARL being the general frame of the language, and Basic PEARL the joint minimum subset of all present implementations.

Author: Martin, T.

Publisher: Gesellschaft fur Kernforschung mbH, Karlsruhe

Reference Number: GK mbH #: KFK-PDV 129

Publication Date: 12/77


PEARL -- Survey of Language Features

Abstract: The high-level language PEARL has been developed for the purposes of real-time programming. It has been designed to permit an efficient control of processes of all kinds, such as communication processes in information systems, experiment control in scientific research, and control of industrial production, etc. The special requirements imposed on a language for process control essentially necessitate administration of concurrent activities and adaptability to a variety of peripherals. Thus, the main emphasis in the development of PEARL has been upon input/output and real-time features. The following discussion of language features is intended as an informal survey of Full PEARL, details and definitions are to be found in the defining document [1]. The standard-subset "Basic PEARL" is described in [2]. Historical background information concerning the PEARL development can be found in [3].

Author: Kappatsch, Axel

Publisher: IDAS GmbH, Limburg

Reference Number: IDAS GmbH #: KFK-PDV 141

Publication Date: 8/77


Informal Language Specification -- Red

Abstract: The purpose of this document is to provide an informal specification of REDL, a language based on Pascal and designed in accordance with the Department of Defense's Revised Ironman requirements. The name "REDL", short for "Red Language", is derived from the color code established for this document by DoD. The syntax of REDL is presented formally, through the use of syntax diagrams; the semantics of the language is described informally, in English. The description in this document is intended to be sufficiently complete so that the reader can judge the compliance of REDL with the Ironman and with the other evaluation criteria established by the DoD's High Order Language Working Group.

Publisher: DoD

Publication Date: 1/79


Language Specification -- Blue

Abstract: This document is a preliminary language design specification was developed to satisfy the DoD Ironman Requirements for High Order Computer Programming Languages. The document contains the following: the lexical structure of the language, the definitions of data types, the structures of the programs in the language, and the concept of generic definitions.

Publisher: DoD

Publication Date: 1/78


Comments on "Woodenman" Set of Criteria and Needed Characteristics for a Common DoD Higher Order Programming Language

Abstract: This document contains comments from the Army about the "Woodenman" Set of Criteria that they feel would make the DoD Higher Order Programming Language definition more refined.

Author: Harris, Richard L.

Publisher: U.S. Army

Publication Date: 8/75


Introduction and Explanatory Notes -- Category I: Comments on Ironman

Abstract: This document was constructed by cutting and reassembling the analyses sent to ARPA-JPTO by various analysis teams. It contains general and specific comments about Ironman and about the various languages (Blue, Green, Yellow, and Red).

Author: misc.

Publication Date: 1/79


Synopsis Request for Ada Compiler Validation Contract: Statement of Capabilities for the Development of Compiler Validation Tools and Procedures for Compilers of the New DoD Common High Order Language Ada

Abstract: This document describes the resources and capabilities of the Defense Systems Division (DSD) of Sperry Univac for the development of compiler validation tools and procedures for compilers of the new DoD common high order language, Ada, and is submitted in response to the query for sources appearing in the 4 June 1979 issue of Commerce Business Daily [Issue #: PSA-7342]. Section 2 of this document summarizes the resources and facilities of the Sperry Rand Corporation, and of the Defense Systems Division of Sperry Univac. Section 3 describes Sperry Univac's experience and capabilities in developing validation tools and procedures.

Author: [Commerce Business Daily]

Publisher: Sperry Univac

Sponsoring Organization: Defense Supply Service

Publication Date: 6/79


A Study of High Level Language Features

Abstract: The two volumes of this report present a comprehensive survey and analysis of high level programming language features, together with a selection of features needed to program Army tactical computer-based systems. The report is devoted mainly to detailed analysis of the strengths and weaknesses of language features supported by a wide variety of general purpose languages. This volume of the report describes the approach taken to this study, and in an Appendix, provides an index to the detailed feature analyses contained in Volume 2. Two other appendices contain surveys of language requirements for process handling and input/output. A fourth appendix documents the need for a certain application-dependent language features, based on a study of actual tactical system specifications and programs.

Author: Goodenough, John B. and Lawrence H. Shafer

Publisher: US Army - Electronics Command

Reference Number: US Army #: ECOM-75-0373-F, Vol. 1

Sponsoring Organization: US Army - Electronics Command

Producing Organization: SofTech, Inc.

Publication Date: 2/76


Department of Defense High Order Language Program

Abstract: This document describes the Department of Defense High Order Language Program. First, it explains the special characteristics in the Department of Defense that warrant a common high order language. Then it describes the different tasks of the High Order Language Working Group (HOLWG) in the Program.

Publisher: DoD

Publication Date: 1/76


Guidelines for Documenting Computer Simulation Models

Abstract: This document provides guidelines for preparing documentation for computer simulation models. A recommended organizational structure for four types of manuals that provide model information to four different classes of audiences (users, analysts, programmers, and managers) is presented. This document specifies the content of sections and subsections for each type of manual. Manuals prepared using these guidelines will enable persons interested in a simulation model to understand the capabilities and limitations of that model.

Author: Newton, Otis L. and James E. Weatherbee

Publisher: USAF

Publication Date: 10/79


An Assessment of the Programming Language MORAL against TINMAN

Abstract: This report presents an assessment of MORAL against the requirements of the United States Department of Defense, as described in the Tinman requirements document. The contents are essentially in two parts. The largest part is a formal assessment following the lines presented in the paper "Evaluation Methods for the HOL Comparison Effort." This is contained in the Appendix. The body of the report is an overview of how the MORAL language stands in respect to TINMAN.

Publisher: Software Sciences Ltd

Sponsoring Organization: UK Ministry of Defence

Publication Date: 10/76


Coral 66: A Practical High Level Language for Mini Computer Software and Applications Program Development

Abstract: Almost all computer programs are written in a high level language for strong economic reasons. The only remaining areas of use for assembly languages are systems software implementation and real-time applications programs. The main reason is the lack of compilers for suitable established high level languages. However, CORAL 66 is such a language and has been used with success for several years in the United Kingdom. The special requirements of a high level language for minicomputer software development are discussed. The salient features are listed, as are the computers for which compilers are available or known to be under development. The trade-off between programmer productivity and program performance is discussed. The investment by Honeywell U.K. in CORAL 66 is outlined. The future of CORAL as widely available standardized language is discussed.

Author: Depledge, N.G.

Publisher: Honeywell Information Systems Ltd.

Publication Date: 4/75


Proceedings of the Second International Conference on Ada Applications and Environments

Abstract: The papers contained in these proceedings are arranged by topic: Designing with Ada ("Ada Task Sets: Building Blocks for Concurrent Software Systems," "Ada Seen as Essential to Design," "Distributed Program Design in Ada: An Example"), Ada Applications ("Designing for Ada Reuse: A Case Study," "Design Experience with Ada versus FORTRAN," "Pattern-Directed Processing in Ada"), Ada Tools and Techniques ("Integrating an Ada Library System into the UNIX Configuration Management Toolset," "Reproducible Testing of Ada Tasking Programs," "GRAPHITE: A Meta-Tool for Ada Environment Development"), Ada Runtime Issues ("Embedding Design Knowledge in CAEDE: Experiments on the Detection of Critical Races," "An Ada Runtime System Interface"), and Ada Environments ("DAPSE: A Distributed Ada Programming Support Environment," "A Programming Environment for Learning SEE: A Student's Educational Environment," "Arcadia: A Software Development Environment Research Project").

Publisher: IEEE Computer Society Press

Reference Number: ISBN: 0-8186-0718-1; Library of Congress: 86-80338; IEEE Catalog #: 86CH2281-4

Sponsoring Organization: IEEE Computer Languages Technical Committee

Publication Date: 4/86


Ada: A Model Course

Abstract: These materials are the preliminary results of an effort to develop a model course for teaching Ada. They include handouts and visual aids from a recently presented Ada course. This course is directed towards educating "technical managers" in the use of Ada and concentrates on teaching the audience to read and understand Ada Programs and how to use Ada to organize large programs. The authors have not covered all of the features of the language in detail, but rather have included the most important information that would fit in a one week course. Particular emphasis is placed on the effective use of Ada features such as constraints, access types, packages, generics, tasks, etc., which may not be familiar to programmers or managers from their experience with other languages. This approach is meant to show how the features of Ada can be used to the best advantage, so that Ada will not become just another syntax for writing poorly constructed programs.

Author: Scheer, Linda S. and Michael G. McClimens

Publisher: Computer Science & Technology Laboratory

Sponsoring Organization: DARPA

Producing Organization: Computer Science & Technology Laboratory

Publication Date: 1/77


Development of a Communications Oriented Language

Abstract: A Communications Oriented Language (COL) is a high order language designed to be maximally effective as a vehicle with which to program communications application. This document is a preliminary description of a design for a COL. The design philosophy and principles that lead to the COL are first discussed. Then the language is described, the syntax semi-formally using modified BNF and the semantics informally in English text. Some examples of COL programming are included. An Appendix shows how machine-level instructions for a specific machine can be written in the COL, with an example showing interrupt processing.

Author: Evans, Arthur and C. Robert Morgan

Publisher: Bolt Beranek and Newman Inc.

Reference Number: BBN #: Report 3261

Sponsoring Organization: Defense Communcations Agency

Publication Date: 3/76


Preliminary Ada Reference Manual

Abstract: This report describes the Green programming language, designed in accordance with the Steelman requirements of the DoD. Overall, the Steelman requirements call for a language with considerable expressive power covering a wide application domain. As a result the language includes facilities often found only in specialized languages. Thus the language is a modern algorithmic language with the usual control structures and the ability to define types and subprograms. It also serves the need for modularity and treats is in the physical sense as well, with a facility to support separate compilation. The language also covers real time programming, with facilities to model parallel tasks and to handle exceptions, and systems program applications. Finally, both application level and machine level input- output are defined.

Author: Ichbiah, J. D., et al.

Publisher: DoD

Sponsoring Organization: DoD

Publication Date: 7/80


Operational Concept Document (OCD): STARS-SEE

Abstract: The Software Technology for Adaptable Reliable Systems - Software Engineering Environment (STARS - SEE) Operation Concept Document represents high-level SEE requirements from the perspective of the users. It represents a consensus among the following parties: government agencies responsible for SEE development and support, STARS - SEE implementors and potential users. The OCD is one of a series of documents, specified by the defensive system software development standard, DOD-STD-2167, that is required for the development and implementation of the STARS - SEE. The OCD does not contain "build to" specificiations. A subsequent document, the System/Segment Specification (SSS), will provide the functional and performance specifications for STARS-SEE construction. This document is targeted to Mission Critical Computer Resource (MCCR) program managers, STARS-SEE developers.

Author: STARS Joint Service Team

Publisher: STARS Joint Program Office

Sponsoring Organization: STARS Joint Program Office

Producing Organization: STARS Joint Service Team

Publication Date: 8/85


Comments on "Tinman" Requirements for High Order Computer Programming Languages

Abstract: This article contains comments by J. D. Ichbiah that suggest improvements to the "Tinman" Requirements for a DoD High Order Progamming Language. Several comments suggest simplifications or deletion of duplicated mechanisms while others suggest further improvements for the achievement of program readability.  

Author: Ichbiah, J.D.

Publisher: Campagnie Internationale pour L'Informatique

Sponsoring Organization: DARPA

Producing Organization: Campagnie Internationale pour L'Informatique

Publication Date: 5/76


Ada Reusability Handbook

Abstract: This handbook has been created to assist programmers, designers, and their managers in understanding the issues involved in writing effectively reusable software using the Ada programming language and to understand how to address these issues. The principle goals in developing this handbook have been to strive for completeness of the topics covered, practicality of the recommendations given, and a handbook organization that facilitates its (re)use. Rather than focus on any particular point in the software life-cycle, this handbook contains information that may be used with varying degrees of appropriateness throughout the entire life-cycle.

Author: CSC

Publisher: Computer Sciences Corporation

Reference Number: CSC #: SP-IRD 11

Publication Date: 4/87


Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems

Abstract: This document is a collection of papers from a symposium which addressed Architectural Support for Programming Languages and Operating Systems. The papers are grouped by topic: 1- Hardware/ Software Tradeoffs ("Hardware/Software Cooperation in the iAPX 432," "Hardware/Software Tradeoffs for Increased Performance," "Coding Guidelines for Pipelined Processors"), 2- Advanced Processor Implementations ("An Overview of the Mesa Processor Architecture," "The Operating System and Language Support Features of the BELLMAC-32," "The 801 Minicomputer"), 3- Procedure Calls and Register Allocation ("Register Allocation for Free: The C Machine Stack Cache," "An Architectural Alternative to Optimizing Compilers," "Fast Procedure Calls"), 4- Short Papers ("Systematic Protection Mechanism Design," "On a General Property of Memory Mapping Tables," "An Experiment to Improve Operand Addressing," "Compiler Chip: A Hardware Implementation of Compiler," "Architectural Support for the Efficient Generation of Code for Horizontal Architectures," "Guidelines for Creating a Debuggable Processor"), 5- Memory Management("Hardware Support for Memory Protection," "Supporting Ada Memory Management in the iAPX-432"), 6- Language/Architecture Interactions("Direct Execution of LISP on a List Directed Architecture," "Some Requirements for Architectural Support of Software Debugging," "The Effect of the PDP-11 Architecture on Code Generation for CHILL"), 7- Instruction Set Analysis ("Static Analysis of the Mesa Instruction Set," "An Analysis of a Mesa Instruction Set Using Dynamic Instruction Frequencies," "A Case Study of VAX-11 Instruction Set Usage for Compiler Execution," and 8- Systems Support ("Firmware Structure and Architectural support for Monitors, Vertical Migration, and User Microprogramming," "Heart: An Operating System Nucleus Machine Implemented by Firmware," "A Multi-Microprocessor Architecture with Hardware Support for Communication and Scheduling").

Publisher: ACM

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

Sponsoring Organization: ACM

Publication Date: 3/82


DoD Weapon Systems Software Management Study

Abstract: This report to the Office of the Secretary of Defense summarizes the findings of a Weapon System Software Management Study and presents 17 recommendations directed to the alleviation of the more serious problems encountered. The first part of the report contains discussion of the study objectives and a summary of the recommendations including suggested implementations. Subsequent sections present material from which the recommendations were derived: a review of ten major previous DoD studies, reviews of ten Navy and two Army Weapon Systems, and summaries of discussions with service organizations and industrial software system contractors. Further discussions of the recommendations and identification of areas requirig further investigation are presented. The report concludes with a guide to five separartely published appendices (SR 75-3A, -3B, -3C, -3D, and -3E).

Author: Park, J.M.

Publisher: The Johns Hopkins University Applied Physics Laboratory

Reference Number: JHU #: APL/JHU SR 75-3

Sponsoring Organization: OASD

Producing Organization: The Johns Hopkins University Applied Physics Laboratory

Publication Date: 6/75


Red Language Formal Semantic Specification

Abstract: This document is a formal definition of RED, a language designed by Intermetrics, Inc. to meet the DoD Steelman requirements for a high order computer language. In the introductory sections of this definition, the author explains the definitional method used, comment on why it was chosen, and presents notational conventions. Then the technical part of the definition is given, along with an index to the definitions and uses of the functions presented.

Author: Moss, J. Eliot B.

Publisher: Intermetrics, Inc.

Sponsoring Organization: DoD

Producing Organization: Intermetrics, Inc.

Publication Date: 4/79


DoD Weapon Systems Software Acquisition and Management Study [Findings and Recommendations]

Abstract: In December, 1974, DoD initiated a two-phase software acquisition study program to identify methods for controlling increasing costs, improving the quality, and minimizing the adverse impact of software in weapon systems. The MITRE Corporation and the Applied Physics Laboratory of Johns Hopkins University were requested to conduct separate, but coordinated, four-month studies in support of the first phase of this study program. This document, Volume I, contains the MITRE study findings and recommendations. Volume II, will provide supporting information.

Author: Asch, A., et al.

Publisher: MITRE

Reference Number: MITRE #: MTR-6908

Sponsoring Organization: DoD

Producing Organization: MITRE

Publication Date: 5/75


Jovial/J3B - Situation Review

Abstract: This document contains a general overview of the Army's Jovial/J3B language. The presentation addresses background information topics such as usage experience with J3B, evolution of its development, language and compiler features, and developmental approach. It then addresses important J3B issues such as commonality, configuration management, and availability.

Author: Wilson, Russel and Paul Allen

Publisher: Softech, Inc.

Sponsoring Organization: USAF

Producing Organization: Softech, Inc.

Publication Date: 6/75


The MUDD Report: A Case Study of Navy Software Development Practices

Abstract: The MUDD report is a study of Navy software-development practices that is based on a series of interviews with those responsible for the development of Navy systems. The study chronicles the development of a fictional system with requirements typical of Navy tactical systems currently operational or under development. A history of the decisions made during the development of the system is first given. Following the history is an analysis of the impact of each decision on the software developed for the system and on the life-cycle of the software. Finally a set of recommendations for avoiding the pitfalls described in the report is given. The recommendations are designed to assist Navy program managers responsible for software development.

Author: Weiss, David M.

Publisher: Naval Research Laboratory

Reference Number: NRL #: NRL Report 7909

Publication Date: 5/75


Section V Tinman Critique

Abstract: This document is a critique from the Federal Systems Division of IBM in regards to Sections V and VI of the document describing the DoD Standard High Order Language requirements. Although IBM liked most of the technical criteria, the review indicated some need for clarification and some points of disagreement.

Author: Spillman, Thomas S.

Publisher: Federal Systems Division of IBM

Sponsoring Organization: DARPA

Producing Organization: Federal Systems Division of IBM

Publication Date: 6/76


On the State of Programming Languages for Microprocessors

Abstract: This document gives a brief description of PL/M, the first high-level language that became available for microprocessors. It discusses data types, variables, one dimensional arrays, statements, operators, and control structures. The author feels that INTEL's PL/M needs many improvements, but that the preliminary indications of the implementation is quite good.

Author: Amoroso, Serafino

Publisher: CENTACS

Publication Date: 6/76


Red Language Test Translator User's Guide

Abstract: This document is a user's guide to the Test Translator for the RED language. The translator accepts RED source programs, translates them into an intermediate format, and elaborates them. It is written in the SIMULA language and runs on a PDP-10 computer with the TOPS-20 operating system.

Publisher: Intermetrics, Inc.

Reference Number: Intermetrics #: IR-386

Publication Date: 4/79


A Guidebook to Software Quality Programs

Abstract: This executive overview document is an introduction to Software Quality Programs for the development and support of software. It discusses the new Joint Logistics Commanders' (JLC) Software Quality Program Policy and the other new JLC policies and standards for software acquisition and development. It has three purposes: 1) to introduce DoD Program Managers and technical specialists to the Software Quality program concept; 2) to provide an overview of considerations to be taken into account in tailoring the MIL-STD-SQAM and its accompanying DID; and 3) to provide an overview of the planned training course for DoD Program Managers and technical specialists in the Software Quality Program.

Publisher: Department of Defense; Joint Logistics Command (JLC)

Publication Date: 1/83


Military Standard [MIL-STD-1589A (USAF)]: Jovial (J73)

Abstract: This document is the revised MIL-STD-1589A (USAF) definition of the upgraded J73 JOVIAL programming Language. The primary purpose of the revision and upgrade was to incorporate into the J73 language some of the proven features of the J3B-2 language. The sections, organized in a top-down manner, are each divided into several parts: Syntax, Semantics, and Constraints.

Publisher: SofTech

Reference Number: MIL-STD-1589A

Sponsoring Organization: DoD

Producing Organization: SofTech

Publication Date: 3/79


Design of an Intelligent Program Editor

Abstract: This report discusses results of a project to develop a functional design for and assess the feasibility of an intelligent program editor for Ada and other programming languages. The editor will support program development and maintenance activities by providing advanced techniques for searching through programs, manipulating programs, analyzing programs for potential errors and good style, and maintaining structured documentation. These techniques are based on knowledge-based systems technology from the field of artificial intelligence. Feasibility of the program editor is demonstrated by a functional design and an initial implementation of the multiple knowledge bases representing a small program and a search (query) mechanism that uses them. The use of such an editor implies significant benefits for programmer productivity, program reliability, and life-cycle costs.

Author: Shapiro, Daniel G., et al.

Publisher: Advanced Information & Decision Systems

Reference Number: AI&DS #: TR 3023-1

Sponsoring Organization: Offic eof Naval Research

Producing Organization: Advanced Information & Decision Systems

Publication Date: 9/82


Design Guidelines for the User Interface to Computer-Based Information Systems

Abstract: The user-system interface (USI) to computer-based information systems can require sizable investment in software design. In current practice, there is still no coherent methodology for design of USI software, but efforts to establish design guidelines are continuing. This report revises and enlarges previous compilations of guidelines (Smith, 1982b), and proposes a total of 580 guidelines for design of USI software in six functional areas: data entry, data display, sequence control, user guidance, data transmission, and data protection.

Author: Smith, S.L. and A.F. Aucella

Publisher: MITRE

Reference Number: MITRE #: MTR-8857

Sponsoring Organization: USAF

Producing Organization: MITRE

Publication Date: 3/83


Ada-Based System Development Methodology Study Report

Abstract: This volume is one of three, comprising the Report on the Study of an Ada-Based System Development Methodology. The three volumes are this, the main report, and two supporting Annexes. The general purpose of this study is to give guidance to early potential users on how best to take advantage of Ada through principles and practices of development methodology in the short term. Other methods and techniques will inevitably evolve from experience. A large number of methods supporting specification and design exist and are now in use; others are emerging from research in universities and other establishments. We can expect to see a number of new techniques being put into practice in the next decade, especially in the early stages of the life cycle, namely requirements analysis, specification and top level design, and especially relating to concurrent systems. Since Ada represents a further step in the evolution of programming languages, an adjustment of approach on the part of practitioners is necessary to enable them to make the best use of the new features of Ada.

Publisher: [contractor teams]

Sponsoring Organization: UK Department of Industry

Producing Organization: [contractor teams]

Publication Date: 9/81


Joint Regulation: Management of Computer Resources in Defense Systems

Abstract: This regulation establishes policy for the acquisition, management, and control of computer resources, concentrating on computer software, during all phases of the system acquisition life cycle. It applies to the Joint Logistics Commanders' organizations: DARCOM, NAVMAT, UFSC, and AFLC. The provisions of this regulation apply to the acquisition and support of computer resources used as components of major systems.

Author: Joint Logistics Commanders

Publisher: Joint Logistics Commanders

Publication Date: 6/83


Ada Compiler Validation Plans and Procedures (Preliminary)

Abstract: This document is a generalized plan for Ada compiler validations. Specific test plans shall be developed by supplying information pertinent to the specific Ada compiler, host computer, and target computer involved in the validation. A separate test plan shall be produced by the Ada Compiler Validation Facility (ACVF) for each validation.

Publisher: SofTech

Reference Number: SofTech #: 1067-6

Sponsoring Organization: DARPA

Producing Organization: SofTech

Publication Date: 11/80


Proceedings of the Third Annual National Conference on Ada Technology

Abstract: This annual conference provides the format and the opportunity to fuse together many disciplines that are considered essential for promoting and accelerating the distribution of Ada knowledge, from the realm of software technologist to the realm of the system engineer and the software practitioner. The papers making up the contents are divided by session: SESSION 1- Technology Sharing and Standardization vs Profitability: Are the Two Compatible?, SESSION 2- Ada Education: Strategies and Heuristics ("Two Open-Ended Case Studies for Ada Training: A Real-time Process Monitor and an Airlines Reservations System," "Ada as a Primary Language in a Large University Environment," "Teaching Ada from a Conceptual Viewpoint," "Ada and the Business School Curriculum," "Academic Implications of Ada in Industry," "QUEUE-MANAGER, a Useful Example for Teaching Ada," "Modelling Ada Tasks -- An Initial Survey," "Ada Summer Seminar -- Teaching the Teachers"), SESSION 3- Ada Program Support; Tools and Techniques ("Some Practical Experience in the Organization of a Library of Reusable Ada Units," "Debugging Ada Tasking Programs," "Ada Implementation in a Non-Ada Environment," "General Dynamics Ada-Based Design Language," "IBM-PC Based Ada Symbolic Debugger"), SESSION 4- Ada Research: New Dimensions -- New Directions ("Parallel Parsing Using Ada," "A Dynamic Program Profiler for Testing Ada Programs," "An Ada Distributed System," "An Abstract Machine Specification for the Process Node Section of the Common APSE Interface Set {CAIS}"), SECTION 5- Ada Methodology: Strategies and Techniques ("Ada as Output from Software CAD Systems," "Reusable Generic Packages -- Design Guidelines Based on Structural Isomorphism," "Analytical Approach to Software Reusability," "The Marriage of Ada and an Adaptable Multiprocessor Architecture," "VHSIC Hardware Description System Overview"), SECTION 6- Ada Project Management: Decision Support ("Software Quality Assurance and Ada," "Software Management Control System," "An Ada Measurement and Analysis Tool," "Transitioning to Ada"), and SESSION 7- Ada Applications: Implementation Issues and Project Results ("Development of an Embedded Computer System (ECS) Application in Ada -- A Case Study," "Implementing Watch Dog Timers in Ada for Tolerance to Certain Classes of Real-time Faults," "Why not UNIX? The Case for the Army Secure Operating System," "Integrating Ada into Multi-Lingual Systems: Issues and Approaches," "Experiences in Acquiring and Applying Ada to the SUBACS Project").

Publisher: U.S. Army CECOM

Reference Number: AD #: A164338

Sponsoring Organization: U.S. Army CENTACS

Producing Organization: Host: Prairie View A&M University

Publication Date: 3/85


COBOL Evaluation Report [DRAFT]

Abstract: This report is divided into four chapters, with Chapter 1 providing background and introductory material. Chapter 2 describes the evaluation tool and presents the numeric scores for those components of the tool that are independent of the language being evaluated. Chapter 3 provides a detailed review of COBOL; it comprises a critique that compares COBOL against each of the "needed characteristics" in the Tinman, and an assessment of COBOL with respect to the management decision-making criteria. It also identifies features required in a standard High Order Language that COBOL lacks.

Author: Brosgol, Benjamin M.

Publisher: Intermetrics, Inc.

Reference Number: Intermetrics #: IR-192-1

Sponsoring Organization: U.S. Army Computer Systems Command

Producing Organization: Intermetrics, Inc.

Publication Date: 6/76


Ada-Based System Design Language (SDL) Overview

Abstract: These presentation viewgraphs give an overview of the Ada-Based System Design Language (SDL).

Publisher: Control Data Corporation

Sponsoring Organization: AJPO

Producing Organization: Control Data Corporation

Publication Date: 6/82


Preliminary AIDA Reference Manual

Abstract: AIDA is An Intermediate Representation of Ada Programs originally designed for the Ada implementation at the University of Karlsruhne. It is based on the Formal Definition of Ada and is intended for representing Ada programs after semantic analysis, but before code generation. It does not refere to any implementation decisions neither of the analysis nor of the code generation phase. It may therefore be viewed as a proposal for other implementations. This document is a preliminary version of the AIDA Reference Manual which should in no way be considered either complete or final.

Author: Dausmann, Manfred, et al.

Publisher: Universitat Karlsruhe

Reference Number: UK #: AIda-04

Publication Date: 2/80


Rationale for the Design of the Green Programming Language

Abstract: This document, the rationale for the design of the Green programming language, and the companion reference manual, are the two defining documents for the GReen language. The Rationale is meant to insert motivational information and larger examples that could not be included in the reference manual. The chapters of the rationale are independent and can be read in any order after an initial pass over the reference manual.

Publication Date: 2/78


Reference Manual for ADAPLEX

Abstract: This document is a reference manual for the ADAPLEX language which is used for programming database applications. It is the result of embedding the database sublanguage DAPLEX in the programming language Ada. This manual addresses design issues, declarations and types, names and expressions, statements, modules, visibility and prgram structure, and concurrency and integrity.

Author: Smith, John M., et al.

Publisher: Computer Corporation of America

Reference Number: CCA #: CCA-81-02

Sponsoring Organization: DARPA/Naval Electronic Systems Command

Producing Organization: Computer Corporation of America

Publication Date: 1/81


Overloading in Ada

Abstract: Ada permits the overloading of enumeration liberals, aggregates, subprograms and operators, i.e. the declaration of the same designator with different meanings in the same scope. This leads to difficulties during the semantic analysis of expression and subprogram calls. For selecting the meaning not only the designator but also the types of its operands or parameters and the type of its result must be used. In this document the authors show that the identification of expressions is possible in two passes, the first bottom-up, the second top-down.

Author: Dausmann, Manfred, et al.

Publisher: Universitat Karlsruhe

Publication Date: 1/79


The Design of an Ada Compatible Local Database Manager (LDM)

Abstract: This paper describes the design of a high performance Local Database Manager (LDM) to support the ADAPLEX language. There are two notable areas of innovation in the design of this system. First, this is the inception of a full-scale DBMS based on a semantically oriented functional data model. This DBMS goes beyond systems like INGRES and System R in terms of modeling capabilities and ease of use. At the same time, this is also the first DBMS to be integrated into the Ada programming environment. This paper highlights the ADAPLEX language and the innovative aspects of the system design that are intended to yield good performance.

Author: Chan, Arvola, et al.

Publisher: Computer Corporation of America

Reference Number: CCA #: CCA-81-09

Sponsoring Organization: DARPA/Naval Electronic Systems Command

Producing Organization: DARPA/Naval Electronic Systems Command

Publication Date: 11/81


A Standard for Language Implementation: Semanol Reference Manual

Abstract: The problem of finding a uniform, precise, complete, and understandable means of specifying the semantics of programming languages has become increasingly important. SEMANOL is a programming system that can be used to describe precisely the syntax and semantics of a large class of languages. It is specifically designed to make the specification of the "rule of execution" (the semantics) of other programming system uniform, precise, complete and understandable.

Publisher: TRW Systems Group

Sponsoring Organization: Rome Air Development Center

Producing Organization: TRW Systems Group

Publication Date: 4/73


A Standard for Language Implementation

Abstract: This project was undertaken with the technical objective of developing a means by which programming languages might be rigorously and completely defined in a readily comprehensive form verifiable by computer program. The SEMANOL theory was refined and a SEMANOL meta-language was developed. This meta-language was then used to rigorously define most of the JOVIAL programming language. An Interpreter program for the SEMANOL meta-language was written and tested with small SEMANOL definitions. The full SEMANOL meta-language definition of JOVIAL has not yet been checked out. Despite this, the results are considered encouraging and the use of SEMANOL as the means of defining programming language standards appears feasible.

Publisher: Rome Air Development Center

Reference Number: RADC #: RADC-TR-73-143

Sponsoring Organization: Rome Air Development Center

Producing Organization: TRW Ssytems Group

Publication Date: 6/73


Ada Compiler Validation Tools and Techniques

Abstract: This document describes Computer Sciences Corporation's (CSC) qualifications to perform tasks related to the development of tools and procedures for Ada compiler validation for the Defense Supply Service. This document presents, in summary, CSC's resources and experience that are applicable to validation efforts, knowledge of validation concepts, previous experience in independent verification and validation, and corporate background and resources.

Publisher: Computer Sciences Corporation

Sponsoring Organization: Defense Supply Service

Producing Organization: Computer Sciences Corporation

Publication Date: 6/79


Steps Toward Reliable Software: Proceedings of a Workshop

Abstract: This report describes the proceedings of a two-day Reliable Software Workshop that was sponsored by USACSC in November 1974 with the objective of identifying potentially beneficial research approaches for improvement of software reliability in the military's software production environment. The proceedings focus on mechanisms for the structured refinement of specifications and the interactive "proof" of programs.

Author: Fisher, W., et al.

Publisher: US Army Computer Systems Command

Sponsoring Organization: US Army Computer Systems Command

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

Publication Date: 11/74


Appraisal of the Woodenman and Recommended Plan for DoD High Order Language Development

Abstract: This report is an evaluation of the "Woodenman Set of Criteria and Needed Characteristics for a Common DoD High Order Programming Language." In particular, it comments on four specific issues: completeness of the Woodenman requirements and their freedom and ambiguity; aspects of the Woodenman that are beyond the state-of-the-art; feasibility of implementing a language meeting the Woodenman requirements; and a recommended plan for meeting the complete Woodenman set of requirements. The appraisal of consultants who prepared the report was that the Woodenman needs major revision and clarification before it can serve as an adequate basis for the design of a standard Department of Defense programming language.

Author: Clark, David D., et al.

Publisher: Research and Consulting, Inc.

Sponsoring Organization: Office of Naval Research

Producing Organization: Research and Consulting, Inc.

Publication Date: 10/75


TCOL Ada: Revised Report on an Intermediate Representation for the Preliminary Ada Language

Abstract: This report defines TCOL Ada, an intermediate representation for the preliminary Ada language that is a member of a family of intermediate representations that are collectively called TCOL.

Author: Brosgol, B.M., et al.

Publisher: Intermetrics, Inc./Carnegie-Mellon University

Reference Number: Intermetrics #: IR-459; CMU-CS-80-105

Sponsoring Organization: DARPA

Producing Organization: Intermetrics, Inc./Carnegie-Mellon University

Publication Date: 2/80


Proposal to Develop a High Order Programming Language for Embedded Computer Systems Applications

Abstract: This is Volume 2 of a proposal submitted by Texas Instruments for the development of a new DoD High Order Language to support embedded computer systems applications.

Publisher: Texas Instruments - Equipment Group

Reference Number: TI #: Equipment Group Proposal EG77-042

Publication Date: 6/77


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


Implementation of the Ada Validation Organization

Abstract: The Ada Joint Program Office (AJPO) located within the Office of the Undersecretary of Defense (Research and Engineering) has responsibility for the Ada Program. A principal objective of this program is to ensure that the Ada programming language remains as independent of computing systems and applications as possible. The AJPO has undertaken a standardization process to accomplish this objective and has proposed an Ada Validation Organization (AVO) reporting to the AJPO to encourage, measure, and enforce conformance to Ada related standards as they are established. This document presents an analysis of the tasks necessary to the establishment and operation of the AVO and evaluates three AVO implementation options. Finally a recommendation is made that the AVO be implemented using the technical expertise of a Federal Contract Research Center under the management of the AJPO. Further, this implementation option should be exercised over the next 18 months until other options become more appropriate.

Author: Probert, Dr. Thomas H.

Publisher: MITRE

Reference Number: MITRE #: MTR-82W00191

Sponsoring Organization: AJPO

Producing Organization: MITRE

Publication Date: 9/82


Ada Validation Organization: Policies and Procedures

Abstract: The Ada Joint Program Office, a component of the Office of Deputy Undersecretary of Defense for Research and Advanced Technology, has responsibility for the Ada Program. A major objective of this program is the development of the Ada programming languageas a common high order language for use in all of DoD embedded computer systems. In order to ensure the commonality of the Ada language essential to the Ada Program, it is DoD policy to validate Ada language processors. An organizational component of the AJPO called the Ada Validation Organization has been proposed to take on the responsibility for these validations. This document presents the recommendations by the author and the MITRE corporation for the establishment, organizational structure, and operational policies and procedures of the Ada Validation Organization as developed for the Ada Joint Program Office.

Author: Probert, Dr. Thomas H.

Publisher: MITRE

Reference Number: MITRE #: MTR-82W00103

Sponsoring Organization: AJPO

Producing Organization: MITRE

Publication Date: 6/82


Categories 2a and 2c: General Comments on the Languages / Deviations from Ironman

Abstract: This document contains general comments about the Green, Blue, Red, and Yellow languages. These languages were considered for the new DoD High Order Language. Also included in this document are their deviations from the specified Ironman Requirements.

Publisher: DoD

Publication Date: 1/78


Ada Integrated Environment III System Specification

Abstract: The Ada Integrated Environment (AIE) consists of a set of software tools intended to support design, development and maintenance of embedded computer software. A significant portion of an AIE includes software systems and tools residing and executing on a host computer (or set of computers). This set is known as an Ada Programming Support Environment (APSE). This B-5 Specification describes, in detail, the design for a minimal APSE, called a MAPSE. The MAPSE is the foundation upon which an APSE is built and will provide comprehensive support throughout the design, development and maintenance of Ada software. The MAPSE tools described in this specification include an Ada compiler, linker/loader, debugger, editor, and configuration management tools. The Kernel (KAPSE) will provide the interfaces (user, host, tool), database support, and facilities for executing Ada programs (runtime support system).

Publisher: Texas Instruments, Inc -- Equipment Group

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

Sponsoring Organization: Rome Air Development Center

Producing Organization: Texas Instruments, Inc -- Equipment Group

Publication Date: 12/81


Ada 1: An Ada Subset Compiler for the AFIT Syntax Directed Programming Environment

Abstract: This document describes the effort involved in moving the Ada0 compiler and interpreter developed by Capt. Scott E. Ferguson as part of the AFIT syntax directed editor environment from a microcomputer to the VAX 11/780. As part of this effort the compiler and interpreter were expanded to accept a larger subset of Ada. The compiler and interpreter work with an abstract syntax representation of a computer program produced by the syntax directed editor. This abstract representation, which is guaranteed to be syntactically correct, makes the compiler much easier to write and understand. The compiler in a top-down compiler but no backtracking is needed since the program is known to be syntactically correct. The interpreter is able to use the abstract representation to give the user an interactive display of the program during execution. Designs to allow overloading of names and operators, and passing parameters to subprograms are also presented.

Author: McCracken, Michael L.

Publisher: Air Force Institute of Technology

Publication Date: 12/83


Debugger Design Specification for the Intermetrics Ada/TOPS-20 Prototype Compiler

Abstract: A debugger design is presented for IAPC-20, the Intermetrics Ada/TOPS-20 Prototype Compiler. The debugger specified allows single-stepping and setting breakpoints at statements, declarations, and subprogram entry and exit. It allows display and change of user-declared objects. Ada-specific problems are described and addressed.

Author: Belmont, Peter A.

Publisher: Intermetrics, Inc.

Reference Number: Intermetrics #: IR-MA-028

Sponsoring Organization: DARPA

Producing Organization: Intermetrics, Inc.

Publication Date: 9/81


Foundation for Competitiveness: The Critical Nature of Software in Defense, Aerospace, and Industry -- A Legitimate Mandate for Ada

Abstract: This report is a general, promotional overview which discusses the impact of Ada in the marketplace in terms of human resource requirements, training and management. It argues that Ada is destined to play a major role in the establishment of large scale software factories employing highly skilled software engineers, and that the worldwide marketplace should already be investing in Ada.

Author: Crafts, Ralph E.

Publisher: Cutter Information Corp.

Producing Organization: Cutter Information Corp.

Publication Date: 1/87


The Ada Compiler Development Project -- Overview

Abstract: This paper presents a short overview of the development of an Ada compiler at the University of Karlsruhe. It answers most of the questions concerning the structure of the compiler that was being implemented, the methods applied, the tools that were used, and the time schedule. Furthermore, it indicates the current state and performance of the compiler.

Author: Dausmann, M., et al.

Publisher: Universitat Karlsruhe

Reference Number: UK #: DOC-06

Producing Organization: Universitat Karlsruhe

Publication Date: 6/80


Ada Expo Conference Proceedings

Abstract: The contents of these proceedings are arranged by session: 1- Software Technology for Adaptable, Reliable Systems (STARS) [Panel]; 2- Current Ada CASE Technology [Panel]; 3- Ada Design Graphics; 4- Ada in Space ("The Use of Ada on the GPS Demonstration Receiver on TOPEX," "The Support of Ada Applications Software Within the Columbus Manned Space Station"); 5- Ada in Artificial Intelligence [Panel]; 6- Ada in Management [Panel]; 7- CASE Tools II ("TestGen -- Testing Tool for Ada Designs and Ada Code," "Voice Programming," "High Performance Development Tools for Embedded Ada Applications"); 8- Ada in a PC Environment ("Ada in the PC Environment -- Offloading Mainframes," "Ada in the PC Environment," "Making Ada the Language of Choice"); 9- CASE Tools I ("Automated Support for Traceability in Computer-Aided Real-Time Design Tools," "A Simplified Graphic Notation for Ada Programs," "Extensions to Ada Form an Ada-Based PDL," "The Ada Test and Verification System {ATVS}: An Overview"); 10- Aerospace/Avionics [Panel]; 11- Featured Speakers; 12- Object-Oriented Methods II ("An Integrated Approach to Software Requirements Definition Using Objects"); 13- Reusability [Panel]; 14- Embedded Systems [Panel]; 15- Featured Speakers; 16- Featured Speakers; 17- Object-Oriented Methods I ("Object-Oriented Requirements Analysis {OORA}: A Practitioner's Crib Sheet," "Configuration and Change Control in GAIA," "Is Ada Really an Object-Oriented Programming Language?"); 18- Ada in Business Applications [Panel]; 19- Software Engineering Environments ("The Ada Command Environment -- ACE," "BiiN Solutions to Ada Development Issues," "The APEX Design Methodology," "Methods in Transition," "A Seamless Embedded Systems Software Development Environment for Ada"); 20- Ada in Training and Education ("Ada as a Secong Programming Language," "Ada Education with CASE Studies," "Teaching Ada as a Second Language"); 21- Ada in Real-Time ("37 Real-Time Ada Problems," "Real-Time Operating System for Advanced Avionics Architecture," "A Tool for Ada Run-Time Tailoring," "Ada Transition: A Real-Time Graphics Display Project"); 22- Ada in Metrics ("How Programmers Code: Impact on Software Quality," "Ada Compiler Evaluation Capability {ACEC} -- An Overview"); and an Invited Paper ("Ada {1} in Large Air Traffic Control Systems").

Publication Date: 10/88


Maintenance/Design Documentation for the Intermetrics Ada/TOPS-20 Compiler

Abstract: This document provides maintenance/design documentation for IAPC-20, the Intermetrics Ada/TOPS-20 Prototype Compiler. The design of the run-time systems and run-time model of code generation and data object layout are covered in depth. Neither the Ada language nor the workings of the compiler itself is discussed.

Author: Belmont, Peter A.

Publisher: Intermetrics

Sponsoring Organization: DARPA

Producing Organization: Intermetrics

Publication Date: 2/82


Red Language Reference Manual

Abstract: RED is a programming language designed, in accordance with the DoD "Steelman" requirements, for DoD embedded computer applications. The language combines features common to most existing high level languages with new capabilities for abstract data types, exception handling, multitasking, generic definitions, and access to machine-dependent facilities.

Author: Nestor, John and Mary Van Deusen

Publisher: Intermetrics, Inc.

Publication Date: 3/79


Status of DoD and Air Force Embedded Computer Standards

Abstract: This study was performed in order to review the status of the high order language (HOL) an instruction set architecture (ISA) embedded computer standards of potential applicability to Space Division programs. This report provides a snapshot of the resources available to meet theses standards at the end of FY83. The particular standards addressed are the JOVIAL J73 and Ada high order languages and the MIL-STD-1750A and Nebula instruction set architectures.

Author: Fleming, R.C. and M.O. Hogan

Publisher: The Aerospace Corporation (Engineering Group)

Reference Number: AC #: TOR-0084(4615-05)-1

Sponsoring Organization: Air Force Systems Command (Space Division)

Producing Organization: The Aerospace Corporation (Engineering Group)

Publication Date: 2/84


Detailed Language Comments

Abstract: This document gives general comments about parallel processing provided by the four languages (Blue, Green, Red, Yellow) that were being considered as candidates for the DoD High Order Programming Language. It first presents General Comments about each language and then discusses process, paths and synchronization.

Publication Date: 1/79


Detailed Language Comments

Abstract: This document gives general comments about parallel processing provided by the four languages (Blue, Green, Red, Yellow) that were being considered as candidates for the DoD High Order Programming Language. It first presents General Comments about each language and then discusses process, paths and synchronization.

Publication Date: 1/79


The Impact of Abstraction Concerns on Modern Programming Languages

Abstract: This paper examines the effect of abstraction techniques and their associated specification and verification issues on the evolution of modern programming languages and methods. It begins with a review of ideas about program development and analysis that heavily influenced the development of current techniques. This provides a setting for a survey of the ideas from current research projects. Also included is an example in two different languages, Pascal and Ada, which illustrates the changes in program organization due to abstraction.

Author: Shaw, Mary

Publisher: Carnegie-Mellon University (Dept. of Computer Science)

Reference Number: CMU #: CMU-CS-80-116

Sponsoring Organization: National Science Foundation

Producing Organization: Carnegie-Mellon University (Dept. of Computer Science)

Publication Date: 4/80


Software Technology at TASC: Knowledge-Based Systems Ada

Abstract: This document contains material used in a presentation given by The Analytic Sciences Corporation about their Software Technology for Knowledge-Based Systems and also Ada. The material is not intended to be self-explanatory, but rather should be considered in the context of the overall presentations.

Publisher: The Analytic Sciences Corporation

Reference Number: ASC #: SP-0101

Publication Date: 2/84


Ada and Its Software Costing Impacts

Abstract: The document is a collection of viewgraph reprints which presents data on cost models and drivers. Ways to count lines of code, reusability data, Ada parameter, effort, and productivity comparisons are given.

Author: Galorath, Daniel D.

Publisher: Computer Economics, Inc.

Publication Date: 11/87


Proceedings for the Irvine Workshop an Alternatives for the Environment, Certification, and Control of the DoD Common High Order Language

Abstract: This document contains the proceedings from the Irvine Workshop which was organized to discuss alternatives for the environment, certification, and control of the DoD Common High Order Language (Ada). The Workshop was organized into two series of six panel sessions: these parallel sessions consisted of "A" Sessions, dealing with language standardization and specification, compiler validation and verification, and support of language cultures; "B" Sessions, dealing with software lifecycle issues (requirements analysis, design, documentation, program development systems, maintenance, testing, and measurement); and "C" Sessions, dealing with training and education and the social settings in which the use of the Common Language is likely to take place. The Proceedings also include welcoming remarks by Thomas Standish and an opening address by Lt. Col. William A. Whitaker.

Author: Standish, Thomas A.

Sponsoring Organization: U.S. Army, U.S. Navy, U.S. Air Force, Irvine Comp. Sci. Dept.

Publication Date: 6/78


Portable Prototype Ada Simulation Software

Abstract: This document contains material used in a presentation given by The Analytic Sciences Corporation about the Portable Prototype Ada Simulation Software. The material is not intended to be self-explanatory, but rather should be considered in the context of the overall presentation.

Publisher: The Analytic Sciences Corporation

Reference Number: ASC #: SP-9308

Sponsoring Organization: AJPO; STARS

Producing Organization: The Analytic Sciences Corporation

Publication Date: 1/84


Evaluation Criteria for Ada Compilers

Abstract: In June 1983, the AJPO proposed the formation of the Evaluation and Validation Task and a tri-service APSE E&V Team to develop the techniques and tools which will provide a capability to perform assessments of APSEs and to determine the conformance of APSEs to the CAIS (Common APSE Interface Set). To accomplish this goal, a criteria questionnaire was developed and distributed and the following list of evaluation criteria for Ada compilers was composed.

Author: Kean, Elizabeth

Publisher: Rome Air Development Center (E&V Team)

Publication Date: 9/84


Detailed Language Comments

Abstract: This document gives general comments about parallel processing provided by the four languages (Blue, Green, Red, Yellow) that were being considered as candidates for the DoD High Order Programming Language. It first presents General Comments about each language and then discusses process, paths and synchronization.

Publication Date: 1/79


Proposed Revisions MIL-STD-490 Specification Practices

Abstract: This section addresses proposed changes to MIL-STD-490, "Specification Practices." Proposed changes consist mainly of new section, modified appendices and terminology changes. Major modification have been made to Appendices I, VI, and XII to reduce redundant material found in present appendices and JLC DID (Data Item Description). Terminology changes have been made to accommodate the new JLC policy and JLC Data Item Names.

Author: Joint Policy Coordinating Group on Computer Resource Management

Publisher: Joint Logistics Commanders

Publication Date: 4/82


A Software Performance Tool Set for the Ada Programming Support Environment

Abstract: This document is a preliminary proposal for a Software Performance Tool Set (SPTS) to be embedded within the Ada Programming Support Environment (APSE). It presents motivations and basic concepts for the development and use of software performance tools. It is believed that such tools are of major importance to the Ada program and will ultimately lead to significant reductions in DoD software development costs.

Publisher: Spectrum Enterprises, Inc.

Sponsoring Organization: AJPO

Producing Organization: Spectrum Enterprises, Inc.

Publication Date: 4/81


GAO Final Letter Report: "DOD Should Change Its Approach to Reducing Computer Software Proliferation"

Abstract: A statement of findings, conclusions, and recommendations by the GAO.

Publisher: GAO

Reference Number: GAO Code #: 954027; OSD Case #: 6293

Publication Date: 5/83


Summary of Responses to the Software Technology Initiative Questionnaire

Abstract: This document summarizes responses to the Software Technology Initiative (STI) questionnaire. The STI is part of a comprehensive DoD software R&D effort to achieve order-of-magnitude improvements in software productivity, reliability, and maintainability for military systems. The questionnaire provided a means for respondents to suggest and rank software problem areas and possible STI thrusts.

Author: Siegel, Eric D.

Publisher: The MITRE Corporation

Reference Number: MITRE #: MTR-82W00085

Sponsoring Organization: OUSDRE (R&AT)

Producing Organization: The MITRE Corporation

Publication Date: 5/82


Military Standard: MIL-STD Defense System Software Development MIL-STD-SDS

Abstract: This standard establishes requirements to be applied during the development of defense system software. Development of defense system software can occur any time during the system acquisition life cycle. The Appendix describes this life cycle as well as the minimum set of documentation which should exist at the beginning of software development for each Computer Configuration Item.

Author: DoD

Publisher: Dynamic Research Corporation

Reference Number: DOD-STD-SDS

Sponsoring Organization: USAF -- Rome Air Development Center

Producing Organization: Dynamic Research Corporation

Publication Date: 8/83


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 90 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 five general subject areas for easy reference: 1- The Software Engineering Laboratory, 2- Software Tools, 3- Models and Measures, 4- Technology Evaluations, and 5- Data Collection.

Author: Card, David, Thomas Babst, and Frank McGarry

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-82-106

Publication Date: 11/83


Candidate R&D Thrusts for the Software Technology Initiative

Abstract: The Software Technology Initiative (STI) is a joint DoD Tri-service program to achieve an order-of-magnitude improvement in software productivity, reliability, and maintainability for military systems. The goal is to develop a standard, coherent set of capabilities to support and enhance software development and maintenance. This document outlines the need for STI and begins the process of choosing initial R&D thrusts for the Initiative. DoD Software problems, potential thrust areas, and any existing or proposed tools and techniques to manage problems are described.

Author: Redwine, Samuel T., et al.

Publisher: DoD

Sponsoring Organization: DoD

Producing Organization: The Mitre Corporation

Publication Date: 5/81


Rationale for the Design of the Ada Programming Language -- A Language Designed in Accordance with the Steelman Requirements

Abstract: This document, the Rationale for the Design of the Ada Programming Language, is a companion to the Ada Reference Manual; as a set, they are the defining documents for the Green language. The Rationale is meant to provide, for the Reference Manual, an infusion of motivational information, information describing the reasons behind major design decisions and an insertion of larger examples that are essential to understanding the language and for the interaction among its features. Most chapters of the Rationale correspond to chapters of the Reference Manual, with a few exceptions. Most chapters also have a common structure: an introduction to the topic, followed by an introduction to the language feature in terms of examples, and then a discussion of the technical issues such as major design decisions, their justification, and the interactions with other aspects of the language.

Author: Ichbiah, Jean D., et al.

Publisher: Honeywell, Inc. and Cii Honeywell Bull

Sponsoring Organization: DoD

Producing Organization: Honeywell, Inc. and Cii Honeywell Bull

Publication Date: 3/79


Report of the USAF Scientific Advisory Board Ad Hoc Committee on the High Cost and Risk of Mission-Critical Software

Abstract: This document contains a study on Air Force opportunities to deal with the high cost and risk of software for mission critical systems. The Study Group considered three major issues: Predictability and Control, Productivity and Quality, and Post Development Software Support. Each of the three issues are discussed in detail together with specific recommendations for each.

Author: USAF Scientific Advisory Board

Publisher: USAF

Publication Date: 12/83


Ada Software Design Methods Formulation Case Studies Report.

Abstract: The purpose of this report is to present a collection of case studies that illustrate, in detail, the effective use of Ada to solve the kinds of design problems that arise in developing embedded software systems. The case studies are of two kinds: pedagogical and observational. The pedagogical case studies present examples that can be incorporated in training material, while the observational case studies record findings that contribute to a better understanding of Ada usage issues.

Publisher: SofTech

Reference Number: SofTech #: 1094-1.1

Sponsoring Organization: U.S. Army Communications-Electronics Command (CECOM)

Producing Organization: SofTech

Publication Date: 8/82


Linker Facility Design Specification for the Intermetrics Ada/TOPS-20 Prototype Compiler

Abstract: A design is presented for the linking facilities for the IAPC-20, the Intermetrics Ada/TOPS-20 Prototype Compiler. Problems of separate compilation, of the run-time system, and of the use of the TOPS-20 extended addressing are discussed. The algorithm for OOE/ABE analysis (order of elaboration and access before elaboration checking) as required by July 1980 Ada is discussed.

Author: Belmont, Peter A.

Publisher: Intermetrics, Inc.

Reference Number: Internetrics #: IR-MA-077

Publication Date: 1/82


Collected Software Engineering Papers, Vol. II

Abstract: This document is a collection of technical papers produced by participants in the Software Engineering Laboratory (SEL). The purpose of the document is to make available, in one reference, some results of the SEL Research on four major categories: 1- Software Engineering Laboratory, 2- Resource Models, 3- Software Measures, and 4- Data Collection.

Author: McGarry, Frank E.

Publisher: NASA, Goddard Space Flight Center

Reference Number: NASA #: SEL-83-003

Publication Date: 11/83


RTL/2 Language Specification

Abstract: This manual is intended to provide a semi-formal definition of RTL/2. It is not a training manual, but a reference manual.

Publisher: Imperial Chemical Industries Limited

Publication Date: 1/74


RTL/2 Standard Stream I/O

Abstract: This manual describes the standard stream procedures for input and output that should always be available in all RTL/2 systems that allow information in character form to be transferred between tasks and channels (in both directions).

Publisher: Imperial Chemical Industries Limited

Publication Date: 1/74


The Ada Compiler Validation Capability Implementers' Guide

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

Author: Goodenough, John B.

Publisher: SofTech, Inc.

Sponsoring Organization: ACVC Maintenance Organization

Publication Date: 12/86


Findings and Recommendations of the Joint Logistics Commanders Software Reliability Work Group (SRWG Report) -- Executive Summary

Abstract: This report documents the work done by the Software Reliability Group (SWRG), which was formed to address the question of how to improve the reliability of computer software embedded in military electronic systems. This Volume provides the detailed rationale behind the plan proposed to the DoD and describes actions taken to begin implementing the SRWG's major recommendations. This Group exerted a major influence in bringing countless ad hoc software improvement efforts in the DoD and the majority of their recommended actions have formed the basis of the DoD Weapon Systems Software Management Program.

Publisher: Joint Logistics Commanders

Publication Date: 11/75


RTL/2 Training Manual

Abstract: This training manual is intended to provide a sequential text to teach RTL/2, not only its rules, but also its philosophy, underlying structures, and some of the ways in which it can be used.

Publisher: Imperial Chemical Industries, Ltd.

Publication Date: 1/74


Software Quality Measurement for Distributed Systems

Abstract: Software metrics (or measurements) which are used to indicate and predict levels of software quality were extended from previous research to include considerations for distributed computing systems. Aspects of the products of software life-cycle activities which could affect the quality levels of software, and metrics to measure them, were identified. Two new quality factors, survivability and expandability, were validated.

Author: Bowen, Thomas P., et al.

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

Reference Number: RADC #: RADC-TR-83-175, Vol.1/3

Sponsoring Organization: RADC - Rome Air Development Center

Producing Organization: Boeing Aerospace Company

Publication Date: 7/83


Software Quality Measurement for Distributed Systems: Guidebook for Software Quality Measurement

Abstract: Software metrics (or measurements) which are used to indicate and predict levels of software quality were extended from previous research to include considerations for distributed computing systems. Aspects of the products of software life-cycle activities which could affect the quality levels of software, and metrics to measure them, were identified. Two new quality factors, survivability and expandability, were validated.This guidebook was produced to aid in setting quality goals, applying metric measurements, and making quality level assessments. New metrics for interoperability and reusability were also included in the guidebook.

Author: Bowen, Thomas P., et al.

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

Reference Number: RADC #: RADC-TR-83-175, Vol.2/3

Sponsoring Organization: RADC - Rome Air Development Center

Producing Organization: Boeing Aerospace Company

Publication Date: 7/83


Specifications for the Special Working Group Common Ada Programming Support Environment (APSE) Interface Set (CAIS) Implementations

Abstract: The document was prepared in response to the Ada Programming Support Environments (APSEs) Memorandum of Understanding (MOU). The participants of the MOU have undertaken cooperative efforts for the enhancement of APSE. These efforts are focused on enhancing software tool transportability, usability and APSE evolution, on avoiding duplication of efforts, and on demonstrating products which will be of benefit to all participants. The MOU established agreement for "the development and demonstration of a group of software tools representative of a usable APSE through their initial implementation on two distinct computer architectures using an agreed interface set." It would be a subset of interfaces defined in the CAIS 1 Subset. This document describes the agreed interface.

Publisher: SWG on APSEs

Publication Date: 5/87


Ada Compiler Validation Procedures and Guidelines

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.

Author: AJPO

Publisher: AJPO

Publication Date: 1/87


Structured Hierarchical Ada Presentation Using Pictographs (SHARP) Definition, Applications and Automation

Abstract: This paper presents a methodology for representing a large and complex computer program using graphics and Ada-based annotated pseudo code. It describes the application of the graphical representation, referred to as Structured Hierarchical Ada Representation using Pictographs (SHARP), in the design and test of computer programs, and presents a concept of operation for generating the graphics in a computer aided manner. The resulting tool is considered important, since design and test costs account for over 60% of software development costs. The tool also applies to software maintenance, which typically exceeds the original development cost by more than 50%.

Author: Byrne, William E., et al.

Publisher: USAF, Air Force Systems Command, Electronic Systems Division

Reference Number: USAF #: ESD-TR-86-283

Sponsoring Organization: USAF, Air Force Systems Command, Electronic Systems Division

Producing Organization: Arthuer D. Little, Inc.

Publication Date: 9/86


Analyses of Reported Problems with Validated Ada Compilers

Abstract: This paper was prepared to document a six month investigation of problems reported by users of validated Ada compilers. Several users of validated Ada compilers reported that they were unable to compile and/or execute what they perceived to be legal Ada programs. Other users reported their discovery of restrictions on programming style that were seen as constituting a lack of conformity to the Ada Programming Language. The perception that certain validated Ada compilers are lacking in conformity to the standard required investigation to determine whether these problems were conformity issues that have not been adequately tested by the Ada Compiler Validation Capability (ACVC) or if other issues were involved. The problems that were investigated were not, necessarily, representative of all user problems. Some user problems may have been reported to the compiler vendor, to the Ada Board Language Maintenance Panel (LMP), to other users, or may not have been reported to anyone outside the user's organization. For purposes of this investigation, only problems reported to the AJPO or the Ada Validation Organization (AVO) were analyzed.

Author: Hook, Audrey, et al.

Publisher: IDA

Sponsoring Organization: AJPO

Producing Organization: IDA

Publication Date: 10/86


Ada Syntax Cross Reference Listing

Abstract: This cross reference listing is based on the July 1980 Ada Reference Manual. This listing tells where each syntax term is used in the Ada productions, e.g., accept_statement is used in compound_statement and in select_statement. It also serves as an index in which each term is defined. Reserved words and special symbols also appear at the end of the listing.

Author: SofTech, Inc.

Publisher: SofTech, Inc.

Sponsoring Organization: US Army

Producing Organization: SofTech, Inc.

Publication Date: 8/80


An Architectural Approach to Developing Ada Software Systems

Abstract: This is the second report in a series of lessons learned documents in the use of Ada in a communications environment. This paper reports on the impact of the Ada environment and philosophy on the software design process. It first describes problems with the currently accepted software lifecycle model, and then proposes the Spiral Model of Software Development. Next the process used to select design methodologies is described. An Architectural Model of Software Development, an alternative design approach, is explained. This report includes references.

Author: SARAH Branch

Publisher: USAF, Command and Control Systems Office

Publication Date: 5/86


A Quantitative Analysis of a Software Development in Ada

Abstract: The University of Maryland and General Electric have studied the development of a software project written in Ada. This paper presents the analysis of the effort, change, and error data. The total effort spent on training and methodology was 20% of the total effort spent on the project; this was more than the effort spent on any other phase. The greatest error rates appeared to be associated with the most Ada-specific features: tasking, generics and compilation units. Experience with high-level languages seemed to be associated with a better ability to grasp Ada concepts. Finally, the results strongly indicate the need for support tools for an Ada programming environment. This report includes references.

Author: Basili, Victor, et al.

Publisher: University of Maryland - Department of Computer Science

Reference Number: UM #: TR-1403

Sponsoring Organization: Office of Naval Research; AJPO

Producing Organization: University of Maryland - Department of Computer Science

Publication Date: 5/84


Military Handbook [DoD-HDBK-287 (Working Copy)]: Defense System Software Development

Abstract: This handbook provides guidance to Development Agency and Software Support Agency personnel charged with planning, establishing, and managing software development programs. The handbook focuses on specific guidelines for applying DoD-STD-2167A to programs involving software acquisition. It is addressed to the individual who has first line interface with the software development contractor; in most cases, this will be the Software Acquisition Manager (SAM).

Author: DoD

Publisher: DoD

Reference Number: DoD-HDBK-287

Publication Date: 10/87


Tracking the Use of Ada in Commercial Applications -- Case Studies and Summary Report

Abstract: Four case studies were conducted in support of an Ada Joint Program Office (AJPO) effort to assist key managers in the evaluation of Ada's appropriateness as a technology for developing management information systems (MIS). This report describes the applications studied, as well as some of the dynamics involved with their development. The report seeks to describe qualitatively the costs, risks, and benefits present in these applications. The descriptive method provides sufficient detail so the manager can better relate the studies to his or her own situation and experience.

Author: Dikel, David M.

Publisher: Addamax Corporation

Sponsoring Organization: (IITRI), AJPO

Producing Organization: Addamax Corporation

Publication Date: 11/87


Ada in Use - Proceedings of the Ada International Conference

Abstract: This conference brought together experts on the Ada programming language to examine issues associated with the general conference theme of "Ada In Use." The papers included in this proceeding are divided into ten parts, each containing several titles: PART 1- Ada Use in Europe ("IT Companies' Acceptance of and Attitudes Towards Ada"), PART 2- Database Applications ("Notes on Building a Relational Database Management System in Ada," "Extending the Scope of the Program Library," "A Tool Kit for Database Programming in Ada"), PART 3- Applications to Distributed Systems ("Highly Parallel Ada - Ada on an Ultracomputer," "Some Problems in Distributing Real-time Ada Programs Across Machines," "The Use of Ada in the Design of Distributed Systems"), PART 4- Ada Debugging ("Saving Traces for Ada Debugging," "Execution Monitoring and Debugging Tool for Ada Using Relational Algebra," "An Event-Driven Debugger for Ada"), PART 5- Application and Evaluation ("Ada and Graphical Kernel System," "An Approach for Avaluating the Performance Efficiency of Ada Compilers," "The Efficiency of Storage Management Schemes for Ada Programs"), PART 6- Ada Design Methods ("An Overview and Example of Application of CAEDE: A New, Experimental Design Environment for Ada," "Semantic Specification of Ada Packages," "PRogramming Large and Flexible Systems in Ada"), PART 7- Ada Education ("Lessons from Practical Experience Teaching Hands-on, Real-time, Embedded System Programming with Ada," "In Search of 'Real' Ada: A Software Saga with a Moral or Two," "Developing an Automated Ada Training Product"), PART 8- Ada Language Issues ("Viewing Ada from a Process Model Perspective," "TSL: Task Sequencing Language," "Automatic Language Converison and its Place in the Transition to Ada"), PART 9- Ada Design and Implementation Tools ("An Implement6ation of ANNA," "A Tool for Ada Program Manipulations: Mentor-Ada," "Ada in the ECLIPSE Project Support Environment"), and PART 10- Ada Compiler Implementation ("The Development of an Ada Front End for Small Computers," "A Runtime Supervisor to Support Ada Tasking: Rendezvous and Delays," "The Ada+ Front End and Code Generator," "The ALS Ada Compiler Global Optimizer").

Author: Barnes, John G.P. and Gerald A. Fisher (eds)

Publisher: Cambridge University Press

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

Sponsoring Organization: ACM and Ada Europe

Publication Date: 5/85


Ada Database Design Guidelines

Abstract: This report presents the results of an investigation of the use of Ada in database oriented systems. Emphasis is placed on how to exploit Ada features for data representation and data access in ways that are computationally efficient. The use of Ada in conjunction with an existing DBMS is also considered.

Author: Vilot, M.

Publisher: USAF, Air Force Systems Command, Electronic Systems Division

Reference Number: USAF #: ESD-TR-85-140

Producing Organization: SofTech, Inc.

Publication Date: 1/86


Proceedings of the International Workshop on Real-Time Ada Issues

Abstract: The objective of the conference was to provide a forum for discussing significant technical issues that are perceived as requiring immediate attention if the Ada language is to be successfully used in real-time applications. The contents of these proceedings are arranged by topic: Application Requirements (Session Summary, "Tailored Run-time Environments for Real-time Applications," "A Practical Approach to Developing Real-time Ada Programs for Embedded Systems," "Real-time Ada Debugging," "Cross-Debugging Real-time Ada Programs," "A Pragmatic Approach to Ada Insertion"), Tasking (Session Summary, "Limitations of Ada for Real-time Scheduling," "Real-time Efficiency of Ada ina Multiprocessor Environment," "Real-time Ada Issues," "Improving Ada Tasking Performance," "Scheduling Difficulties of Ada in the Hard Real-time Enviroment," "Problems in Ada Runtime Task Scheduling"), Distributed Processing (Session Summary, "Ada on Fault-Tolerant Distributed Systems," "Units of Distribution for Distributed Ada," "Distributable Ada Progams," "Distributed Ada Execution: A Definitional Void," "Programming and Debugging Distributed Real-time Applications in Ada," "Real-time Performance of Distributed Ada Programs"), Run-time System Issues (Session Summary, "Ada Runtime Support Environments to Better Support Real-time Systems," "Impacts of Ada Features on Real-time Performance," "A Model for a Portable Ada Run-time Library," "Real-time Programming and Priority Interrupt Systems"), and Design and Development Techniques (Session Summary, "Designing Concurrent Objects," "A New Paradigm for the Design of Concurrent Systems," "Distributed Ada," "Ada Features and Real-time Embedded Applications," "Real-time Ada Systems: Development Methodology and Real-time Performance," "On the Use of Passive Tasks in Ada," "Developing Real-time Ada Systems").

Publisher: ACM Press

Reference Number: ISBN: 0-89791-240-3; Ada Letters: Volume VII, Number 6

Sponsoring Organization: Ada UK, ACM SIGAda

Publication Date: 5/87


Ada Components: Libraries and Tools

Abstract: Ms. Castor's presentation summarizes many of the qualifications of the Ada programming language, the duties and responsibilities of the AJPO, what is currently available, and what will appear in the future.

Author: Castor, Virginia (Presenter)

Publisher: AJPO

Publication Date: 5/87


Ada Expo Conference Proceedings

Abstract: These proceedings contain only some of the viewgraphs, presentations, and papers from each of the following sessions: Building Abstractions, Ada and Software Technology for Managers, Conceptual Framework of Design Methodologies, Reuse, Managing the Transition to Ada, Methodologies: OOD and PAMELA, Real-Time Issues (1), Human Resource Requirements for Ada Projects, Methodologies: CORE and MASCOT, Real-Time Issues (2), Specifying Systems Responding to RFP's, Formal Design Methodologies: VDM & DCDS, Advanced Environments for Ada Development, Lessons Learned: Experiences for Real Projects, Designing for Maintenance, Ada Langauge Futures, "Needed Directions" for Ada Technology, and Is Ada Sufficient for the Early Lifecycle?

Publisher: Senate Majority Leader Robert C. Byrd, SVC, and Defense Science & Electronics Magazine

Sponsoring Organization: Senate Majority Leader Robert C. Byrd, SVC, and Defense Science & Electronics Magazine

Publication Date: 12/87


Ada Reusability Study

Abstract: The Ada language was designed to promote the development of reusable software for the purpose of increasing software productivity. The Ada language was also designed for programming Mission Critical Computer Resources (MCCR) software. Currently there is limited experience in producing reusable software in any programming language. This report presents the results of an investigation into issues of writing reusable software in the Ada language -- espically MCCR software. The report presents an overview of the benefits of software reuse and an overview of MCCR applications reusability. The role of the Ada language in writing reusable software is discussed. Examples are provided for demomonstrating reusability issues and the role of Ada language features in writing reusable software. Programming practices that increase reusability and those that decrease reusability are discussed.

Author: CSC

Publisher: Computer Sciences Corporation

Reference Number: CSC #: SP-IRD 9

Publication Date: 8/86


Ada Projects at NASA -- Runtime Environment Issues

Abstract: This document is intended for use by Ada practitioners to discuss and establish common short term requirements for Ada runtime environments. The description of the Ada projects at NASA will give managers some insight into the current state of Ada. A good knowledge of Ada and practical experience with at least one validated Ada compiler is assumed. However, such knowledge is not required to understand the executive summary and conclusion. This document is written to foster the sharing of experience and gather common immediate requirements for Ada runtime environments (RTE). It identifies the major current Ada runtime environment issues through the analysis of some of the Ada efforts at NASA and other Research Centers. The RTE characteristics of major compilers are compared; workaround and alternate runtime implementations are reviewed. Modifications and extensions to the Ada Language Reference Manual (LRM) to address some of the runtime issues are proposed. Three classes of projects, focusing on the most critical runtime features of Ada, are recommended, including a range of immediately feasible full-scale Ada development projects. Finally a list of Ada runtime features and procurement issues is proposed for considerstion by the vendors, contractors, and the government (including the AJPO).

Author: Century Computing

Publisher: Century Computing, Inc.

Sponsoring Organization: NASA/Goddard Space Flight Center

Producing Organization: Century Computing, Inc.

Publication Date: 10/87


Ada's Impact: A Quantitative Assessment

Abstract: This document reports an update to the results of a one year study that determined the impact of Ada on software cost, productivity, and quality. The paper discusses the study's goals and methods, then summarizes the experience of over 41 projects that delivered over 15 million lines of Ada code for a variety of applications, mostly real-time. It presents facts and figures drawn from a detailed statistical analysis of the resulting Ada cost, productivity, and quality database in the following five areas: 1- learning curve impacts, 2- distribution of effort, 3- error rates, 4- cost and productivity experience, and 5- reuse potential. These data and the experience they encompass are then used to develop conclusions and recommendations relative to formulating Ada cost estimating models and realistic transition, training, and investment strategies.

Author: Reifer, Donald J.

Publisher: Reifer Consultants, Inc.

Reference Number: RCI #: RCI-TN-294

Publication Date: 10/87


Sample Problem Solution

Abstract: This document contains paper copies of viewgraphs for a briefing, the purpose of which was to report the results of an independent sizing and cost analysis of the PRSS systems described in a given sample problem.

Author: Reifer, Donald

Publisher: Reifer Consultants, Inc.

Reference Number: RCI #: RCI-TN-291

Sponsoring Organization: IITRI Research Institute

Producing Organization: Reifer Consultants, Inc.

Publication Date: 8/87


Estimating Ada Costs: What does it take to be successful?

Abstract: This document contains paper copies of viewgraphs for a briefing delivered at the Thirty-fourth Annual AdaJUG Meeting. The purpose of the briefing is to share the results of continuing research into Ada costs and quality, to summarixe conclusions drawn from the analysis of forty-one completed Ada projects, to discuss the cost drivers unique to software development in Ada, and to encourage attendees to establish measures to collect further data needed to calibrate software cost models.

Author: Reifer, Donald

Publisher: Reifer Consultants, Inc.

Reference Number: RCI #: RCI-TN-305

Publication Date: 11/87


Ada and Its Impact on Cost Modeling

Abstract: This document contains paper copies of viewgraphs included in a briefing given to share the results of continuing analysis of the RCI Ada cost and quality database, to summarize conclusions drawn from the analysis of that database that seem pertinent to cost modeling, to describe power laws and CERs to which Ada costs and productivity seem sensitive, and to describe RCI's new SoftCost-Ada package, which was designed according to the study results.

Author: Reifer, Donald J.

Publisher: Reifer Consultants, Inc.

Reference Number: RCI #: RCI-TN-275

Publication Date: 7/87


Proceedings of the Ada SQL Interface Workshop

Abstract: The purpose of the workshop was to determine the status of the Ada SQL technology via a transfer of information between the Department of Defense and Industry. It is hoped that as a result of this and future workshops/meetings that recommendation to develop a standard approach for use of that technology by the DoD will result. These proceedings contain the following sections: Purpose, Ada SQL Presentation Requirements, Synopsis of the Ada SQL Workshop, Introductions and Overview, Department of Defense Requirements, SEI Overview, Standards, Project/Vendor Presentations, Appendix A- Ada SQL Workshop Agenda, Appendix B- List of Attendees, and Appendix C- Presentation Abstracts, Viewgraphs, and Supplemental Materials.

Publisher: DoD (ODDRE)

Sponsoring Organization: DoD (ODDRE)

Publication Date: 11/87


Ada at Boeing

Abstract: This report describes the Boeing Company's current Ada capabilities. Included are a summary of the company's Ada organization and overall expertise, a brief history of the company's longstanding involvement in development and use of the language, descriptions of projects employing Ada, the compilers and other tools available at Boeing, and the Boeing Ada training curricula.

Author: Hidano, Ruby

Publisher: The Boeing Company

Publication Date: 9/86


Ada Validation Automation Tools Project: Functional Definition and System Specification

Abstract: This first deliverable for the Ada Validation Tools Project consists of two system specification documents: 1- Functional Definition and 2- System Specification.

Author: Leigh, Jon

Publisher: National Computing Centre

Sponsoring Organization: DoD

Producing Organization: National Computing Centre

Publication Date: 2/88


AEES: Ada Application Efficient Execution System

Abstract: This conference paper describes with text and viewgraphs a new initiative exploring the use of Ada in embedded weapons systems.

Author: Maynard, E.D.

Publisher: Computer and Electronics Technology

Publication Date: 12/87


AWIS Software: Cost Model Recommendation

Abstract: This document contains paper copies of viewgraphs for a presentation that addresses what software cost model should be used for AWIS (with Ada considerations).

Author: Demshki, B.

Publisher: TRW - Command Support Division

Publication Date: 3/86


Applying the Spiral Model: Observations on Developing System Software in Ada

Abstract: A new model of software development and enhancement, the "sprial model," was introduced by Boehm in 1985; the model defines a risk-driven, rather than specification- or prototype-driven, approach to the software process. This paper describes the spiral model, some of the risks involved in developing Ada system support software, and a (hypothetical) application of the spiral model to a particular kind of such software: an integration framework for Ada project support environments.

Author: Belz, Frank C.

Publisher: TRW

Publication Date: 1/86


Cost Benefit Study on Ada

Abstract: The purpose of this document is to provide a current view of the costs and benefits that could be expected from the insertion of Ada-related technologies during the next ten years. The study concentrated on the ten-year technology insertion phase ahead and does not project costs and benefits beyond the ten-year period of 1985-1995. Among the conclusions reached were that: 1- the potential benefits from the Ada program initiative are orders of magnitude greater than previous forecasts that ignored the benefits attributable to Ada-related software engineering practices, 2- substantial investment in capital expenditures for hardware, software, and training will be required to achieve these improvements in software engineering practices, and 3- unless labor-based acquisition is changed to accommodate capitalization in the software industry, it is doubtful that the expectations for savings can be realized. Recommendations include continuing aggressive maintenance of the Ada Language and use of validation and evaluation tools and techniques to ensure that conforming and robust APSEs are available during the first half versus the later half of the Technology Insertion Period (i.e., 1985-1995) and initiating DoD effort in Support of acquisition and accounting practices that stimulate capital investment for Ada software engineering environments.

Author: Hook, Audrey and Herman Fischer

Publisher: IDA

Reference Number: IDA #: IDA Paper P-1930

Sponsoring Organization: OUSDRE

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 6/86


Cost Effectiveness Tradeoffs in Computer Standardization and Technology Insertion

Abstract: This document reports on the feasibility of developing a decision support tool that could aid decision makers in formulation policies for the use of software standards and strategies for technology insertion. During the first phase (1983-1984) a "white paper" was completed which provided a conceptual framework for examining the role of standards in the MCCR acquisition process. During the second phase (1985-1986), this conceptual framework was translated into a prototype decision support tool. This tool provided the ability to simulate the effect of selected standardization policies on related technology and Mission Critical Computer Resources (MCCR) costs, thus demonstrating the feasibility of modeling the linkages among DoD, standards policies, industry, technology and MCCR software costs. The first scenario simulated the role of the current policy for the use of Ada as the only higher order language for the development of MCCR software. The other two scenarios examined cost effectiveness strategies for inserting Ada and its related software engineering environments into the MCCR software production and maintenance process. The findings from these simulations indicate that certain strategies/policies concerning the utilization of Ada have a powerful influence on MCCR software costs.

Author: Hook, Audrey A., et al.

Publisher: IDA

Reference Number: IDA #: IDA Paper P-1931

Sponsoring Organization: OUSDRE

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 6/86


A Database Management Capability for Ada

Abstract: This report explores the data requirements of a mission-critical defense database management system. There are three related prototypes systems implemented in Ada: LDM (Local Data Manager), DDM (Distributed Data Manager) and Multibase. All three systems are designed to support identical interfaces for interactive use and for use through application programs written in Ada. These three systems are designed to support identical interfaces for interactive use and for use through application programs written in Ada. They support a "semantic" data model that will capture more application semantics than conventional data models. The interactive language is Daplex. [Also includes paper copies of viewgraphs used in a related presentation.]

Author: Chan, Arvola, et al.

Publisher: Computer Corporation of America

Publication Date: 1/85


Distributed Systems Technology Survey

Abstract: The Technology Identification and Assessment Project combined a number of elated investigations to identify existing technology in a specific problem area to review research and development results and commercially available products; new technologies through regular reviews of research and development results, periodic surveys of specific areas, and identification of particularly good examples of the application of specific technologies; and requirements for new technology through continuing studies of software development needs within the DoD, and case studies of both successful and unsuccessful projects. This report is one in a series of reports and is intended not to provide an exhaustive discussion of topics pertinent to the area of distributed systems technology, but rather to provide an informative review of the technology surveyed.

Author: Cooper, Eric C.

Producing Organization: Software Engineering Institute, CMU/SEI

Publication Date: 3/87


The Development of Ada Software for Secure Environments

Abstract: This report discusses software security and seeks to demonstrate how the Ada programming language can be utilized as a tool to implement software design methodologies that support software security.

Publisher: USAF - CCSO, SARAH Branch

Sponsoring Organization: USAF Headquarters

Producing Organization: USAF - CCSO, SARAH Branch

Publication Date: 5/86


Predicting the Costs of Ada Software Development

Abstract: This document contains paper copies of viewgraphs for a presentation given at the Software Cost and Quality Control Convention. The briefing aims to share the results of continuing research into Ada costs and quality, to summarize conclusions drawn from our analysis of forty-one completed Ada projects that seem pertinent to Ada cost and size estimation, to explain why existing software cost and size estimation models have difficulty handling Ada, and to describe Reifer Consultants' SoftCost-Ada Package that was designed to take advantage of the results of the studies.

Author: Reifer, Donald J.

Publisher: Reifer Consultants, Inc.

Publication Date: 9/87


Evaluation and Validation (E&V) Reference Manual

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

Publisher: E&V Team/DoD

Reference Number: TASC #: TR-5234-3

Sponsoring Organization: AJPO

Producing Organization: The Analytic Sciences Corporation (TASC)

Publication Date: 1/87


Experience Collecting and Analyzing Automatable Software Quality Metrics for Ada

Abstract: Metrics researchers are currently in the early stages of validating the relationships between metrics and the quality problems encountered by users and developers of software. In order to establish these relationships, large amounts of data defined for validating specific metrics must be collected. Before performing such costly validation, we believe the metrics should be evaluated with respect to whether they reflect our current understanding of quality principles. Our preliminary attempt at validation focuses on a human vs automated approach to analyzing an existing Ada program. The program consists of fourteen "packages" and approximately 150 "procedures" and "functions". Segments of this code were selected and analyzed with respect to the software quality sub-criteria of flow simplicity, limited visibility, and error prevention and detection. The study focuses on disagreements between human and automated analysis, and attempts to explain those discrepancies and suggest possible ways to improve both measurement techniques and the quality of the software program analyzed.

Author: Perkins, J.A., et al.

Producing Organization: Dynamics Research Corporation

Publication Date: 1/86


The Effect of Software Support Needs on the Department of Defense Software Acquisition Policy: Part 1 -- A Framework for Analyzing Legal Issues

Abstract: This report discusses technical and managerial variables that might affect DoD's need for such intellectual property. It is concluded that the choice of a group to carry out maintenance and enhancement is a key factor in determining DoD's requirements. Other important variables include use of software standards, higher order programming languages and reused software. Consideration of these factors could enable DoD to tailor more narrowly an acquisition to those items needed to maintain and enhance software, potentially reducing both DoD's costs and the tension that exists between DoD and private industry with respect to data rights issues.

Author: Martin, Anne C. and Kevin M. Deasy

Publisher: CMU/SEI

Reference Number: SEI #: SEI-87-TR-2; SEI Joint Program Office #: ESD-TR-87-102

Sponsoring Organization: DoD -- SEI Joint Program Office

Producing Organization: CMU/SEI

Publication Date: 1/87


Export Control of the Ada* Compiler Validation Capability (ACVC)

Abstract: This document provides the Ada Joint Program Office (AJPO) with a rationale for developing an Ada Program position on export control for the Ada Compiler Validation Capability (ACVC). The Institute for Defense Analyses is providing the AJPO with the information needed to develop such a policy.

Author: Hook, Audrey A.

Publisher: IDA

Reference Number: IDA #: Memorandum Report M-296

Sponsoring Organization: OUSDRE

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 2/87


Factors Causing Unexpected Variations in Ada Benchmarks

Abstract: Benchmarks are often used to describe the performance of computer systems. This report considers factors that may cause Ada Benchmarks to produce inaccurate results. Included are examples from the ongoing benchmarking efforts of the Ada embedded systems testbed (AEST) project using bare target computers with several Ada compilers.

Author: Altman, Neal

Publisher: CMU/SEI

Reference Number: CMU/SEI #: CMU/SEI-87-TR-22; SEI Joint Program Office #: ESD-TR-87-173

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU/SEI

Publication Date: 10/87


An F-15 Ada-Based Digital Flight Control System

Abstract: A microprocessor-based, parallel-processing Digital Electronic Flight Control System (DEFCS) has been built around the F-15 Dual Control Augmentation System and has been successfully flown. The microprocessors are programmed using Ada, the Department of Defense standard high order language. The DEFCS is a pioneering program in the use of Ada in a real-world application. Of particular interest to future Ada users is the value and practicality of various Ada features, how they apply to flight control systems in general, and how they were applied to DEFCS in particular.

Author: Anderson, D. M., et al.

Publisher: McDonnell Aircraft Company

Reference Number: McDonnell #: MDC B0263

Publication Date: 1/87


Military Standard [DOD-STD-1467(AR)]: Software Support Environment

Abstract: This Standard defines the efforts necessary to ensure the existence of a complete life-cycle software support capability for the contractually deliverable software when it enters the operational inventory. Its objective is to ensure that the contractually deliverable software will be supportable by the designated life-cycle software support activity throughout the software's life-cycle. The Standard is designed to recognize the needs and constraints of existing life-cycle software support activities and, at the same time, allow the software contractor the flexibility to develop software and manage the contract in accordance with the contractor's best judgment and practices.

Publisher: DOD

Reference Number: DOD-STD-1467 (AR)

Publication Date: 1/85


Issues to be Considered in the Evaluation of Technical Proposals from the Ada Language Perspective

Abstract: This report identifies issues for consideration in the assessment of technical proposals that are submitted in response to a Request for Proposal (RFP) which specifies the use of Ada. Detailed questions are provided on the following five main technical proposal elements: (1) Methodology, (2) Program Design Language, (3) Implementation Language, (4) Environment, and (5) Personnel.

Author: Castor, Virginia L.

Publisher: WPAFB

Reference Number: WPAFB #: AFWAL-TR-85-1100

Sponsoring Organization: AJPO

Producing Organization: WPAFB

Publication Date: 6/85


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 the problem of compliant implementation of the software organizational elements described by DOD-STD-2167 and 2167A, Defense System Software Development. The intended audience for this report are manages and technical staff members who find themselves with the following responsibilities: 1- they must decide how to organize their design, coding and testing efforts to effectively manage them and effectively present them in design documentation and design and testing reviews; and 2- they must comply with DOD-STD-2167 or 2167A.

Author: ACM-SIGAda, SDSAWG Software Organization Subgroup

Publisher: ACM-SIGAda

Publication Date: 8/88


Interfacing Ada and SQL

Abstract: The Software Engineering Institute was asked by the Ada Joint Program Office to investigate the problem of interfacing programs written in Ada with Database Management Systems (DBMS) implementing the Software Query Language (SQL) database language. The authors decided to concentrate on a description of the problems involved in producing an interface that would be worthy of becoming a standard. This document is meant to assist the reader in answering the question "What constitutes a good interface between Ada and SQL?" The document should be useful both in the production of a standard and in the analysis of any proposed standard.

Author: Engle, Charles, et al.

Publisher: CMU/SEI

Reference Number: CMU/SEI #: CMU/SEI-87-TR-48; SEI Joint Program Office #: ESD-TR-87-211

Sponsoring Organization: SEI Joint Program Office

Producing Organization: CMU/SEI

Publication Date: 12/87


Draft Specification of the Common APSE Interface Set (CAIS)

Abstract: This document is a draft for public review. It will be revised in accordance with comments received during this public review cycle. This document provides specifications for a set of Ada packages which together form a Common APSE Interface Set (CAIS) for Ada Programming Support Environments (APSEs). This interface set is designed to promote the source-level portability of Ada programs, particularly Ada software development tools. The initial phase of this effort is directed toward the interfaces of the Ada Integrated Environment (AIE) and the Ada Language System (ALS). Version 1.0 of the CAIS, presented herein, is intended to provide the basis for evolution of the CAIS as APSEs are implemented, as tools are transported, and as tool interoperability issues are encountered.

Author: KIT/KITIA CAIS Working Group

Publisher: DoD

Sponsoring Organization: AJPO

Producing Organization: KIT/KITIA CAIS Working Group

Publication Date: 9/83


Rationale for the Prototype Ada Compiler Evaluation Capability (ACEC) Version and Recommendations for Resources and Development of Successive Versions

Abstract: The Purpose of the ACEC is to provide users with (1) an organized suite of compiler performance tests, and (2) support software for executing these tests and collecting performance statistics. This document describes the technical work done to implement the Prototype ACEC, provides a rationale for the design and implementation decisions, and evaluates the strengths and weaknesses of the Prototype ACEC. The paper concludes with recommendations for additional analyses of alternative designs for the test suite and support software in an operational version of the ACEC.

Author: Hook, Audrey, et al.

Publisher: IDA

Reference Number: IDA #: Paper P-1915

Sponsoring Organization: OUSDRE

Producing Organization: Institute for Defense Analyses (IDA)

Publication Date: 12/85


The CAMP Approach: A Pragmatic Approach to Software Reuse

Abstract: Reusable software is an often-discussed topic and highly sought commodity in the aerospace community. Since its inception in 1984, the CAMP (Common Ada Missile Packages) project, primarily funded by the STARS Joint Program Office, sponsored by the Air Force Armament Laboratory, and performed by McDonnell Douglas, has taken a pragmatic approach to demonstrating the feasibility and utility of this concept for real-time embedded systems. CAMP projects include 452 operational flight software parts in Ada for tactical missiles, and a prototype parts engineering system to support parts identification, cataloging and construction. In order to demonstrate the value of the reuse concept, a missile subsystem was built using the CAMP parts. Results indicate a significant increase in software productivity when developing systems using parts, Ada, modern software engineering practice, robust software tools, and knowledgeable software engineers. The current status of the CAMP project is described, as well as lessons learned and observations gathered over the past four years.

Author: Anderson, Christine

Publisher: Air Force Armament Laboratory

Publication Date: 1/88


Program Office Guide to Ada

Abstract: The purpose of this document is to discuss issues affecting the selection, development and maintenance of systems whose software is written in the Ada language. Each edition focuses on a different set of topics and their implications for managers. This edition concentrates on: maintenance and revision of the Ada standard, Ada Education and Training Study (ADETS), program proving and verification, environments, tools, interfaces and Computer Aided Software Engineering.

Author: Ausnit, Christine, et al.

Publisher: USAF - Electronic Systems Division

Reference Number: USAF #: ESD-TR-88-102

Sponsoring Organization: USAF - Electronic Systems Division

Producing Organization: SofTech, Inc.

Publication Date: 12/87


Program Office Guide to Ada

Abstract: The purpose of this document is to discuss issues affecting the selection, development and maintenance of systems whose software is written in the Ada language. Each edition focuses on a different set of topics and their implications for manages. This edition focuses on: Ada usage issues, policy updates, progress on benchmarks, the use of Ada in simulation, lessons learned on Ada projects, distributed processing, real-time issues and contractor evaluation.

Author: Ausnit, Christine, et al.

Publisher: USAF - Electronic Systems Division

Reference Number: USAF #: ESD-TR-88-264

Sponsoring Organization: USAF - Electronic Systems Division

Producing Organization: SofTech, Inc.

Publication Date: 3/88


Use of Ada for FAA's Advanced Automation System (AAS)

Abstract: This report concludes that the size and complexity of AAS make software engineering, and not the programming language, a key issue. Moreover, if properly used, Ada facilitates good software engineering practices and a sound software development process. Therefore, the participants of this study unanimously recommended Ada as the appropriate choice for AAS. However, there are several qualifications to this recommendation. The FAA must use a modified software development approach to take advantage of what Ada has to offer. In addition, risk reduction activities must be carried out to address the risks associated with Ada. These qualifications, and others, are documented in the report. Also included are a characterization of Ada software development, identified risks with recommendations for addressing them, and recommended near-term FAA activities.

Author: Basili, Victor R., et al.

Publisher: Mitre

Reference Number: Mitre #: MTR-87W77

Sponsoring Organization: FAA

Producing Organization: Mitre

Publication Date: 4/87


CAIS Architecture Investigation for the SWG Common APSE Interface Set (CAIS)

Abstract: This report presents several architectures of the Common APSE Interface Set (CAIS). The IBM VM/370 operating system and other operation systems are being considered as implementation platforms; feasibility studies will culminate in the selection of one platform. These preliminary studies intend to build IBM FSD's technical rationale for the design of a CAIS. Semantics of the CAIS specification present design issues that must be reconciled intellectually before consideration for a full scale implementation. This paper will discuss how CAIS concepts and capabilities can be supported by the candidate operating system.

Author: Hsu, Michael I.

Publisher: IBM

Sponsoring Organization: IITRI

Producing Organization: IBM

Publication Date: 3/88


A Plan for Collecting Ada Software Development Cost, Schedule, and Environment Data

Abstract: This document identifies the data elements that need to be collected and methodologies to be used when developing an Ada Software Cost Database. It presents various data collection formulas that can be used for data collection and cross references the data elements with ESD TR-87-166.

Author: Brenner, Neal J., et al.

Publisher: Deputy Comptroller, Air Force Systems Command, Electronic Systems Division

Reference Number: Tecolote #: CR-0134/1; Deputy Comptroller #: ESD-TR-87-167

Sponsoring Organization: Deputy Comptroller, Air Force Systems Command, Electronic Systems Division

Producing Organization: Tecolote Research, Inc.

Publication Date: 4/87


IBM CAIS Implementation: Design Issues for the SWG Common APSE Interface Set (CAIS)

Abstract: This report contains detailed information on issues concerning the IBM implementation of the Common APSE Interface Set (CAIS). It is a follow on report to the IBM CAIS Architecture Investigation. The organization of this document flows from the issues identified in the earlier report; each design issue is addressed by a problem description, an analysis, recommendations, and experimental results including program specifications and test code when appropriate.

Author: Eckman, Robert, et al.

Publisher: IBM

Sponsoring Organization: IITRI

Producing Organization: IBM; Intermetrics

Publication Date: 9/88


Software Library for Ether, ADIS, and MFOSCE Programs: Firepower Control Experiment, Part 5 of 12

Abstract: The Artillery Control Environment (ACE) Software Library contains subroutines and functions that support key ACE programs such as Ether, ACE Display (ADIS), Multiple Forward Observer Scenario (MFOSCE), and various other ACE data reduction programs. The ACE programs have been used in several experiments; the most recent is the US ARMY Ballistic Research Laboratory's Firepower Control Experiment conducted in December 1985. The ACE Software Library routines primarily deal with input/output, command line processing and TACFIRE message manipulation.

Author: Kaste, Virginia and George Hartwig

Publisher: Army Ballistic Research Laboratory

Reference Number: Army Ballistic Research Laboratory: BRL-TR-2874

Publication Date: 4/87


Military Standard [MIL-STD-1644B]: Military Standard Trainer System Software Engineering Requirements

Abstract: This standard establishes uniform requirements for the development and documentation of trainer system software. This Standard and associated data item descriptions have evolved from the experience gained and lessons learned from numerous software intensive trainer procurement. They have been developed with the objective of providing comprehensive guidance to both contractor and government personnel of varying levels of software related expertise and experience in order that essential development requirements and procedures will not be neglected or overlooked due to lack of experience or management control.

Publisher: DoD

Reference Number: MIL-STD-1644B (Superseding MIL-STD-1644A)

Producing Organization: US Naval Training Equipment Center, Orlando, FLA

Publication Date: 3/84


Sources of Compiler Capability Information in Validation Summary Reports

Abstract: The purpose of IDA Memorandum report M-454 is to document the results of the IDA's review of the Validation Summary Reports (VSRs). It is intended for use by the Ada Joint Program Office staff concerned with providing guidance to the DoD Program Managers on the use of VSRs as an information resource. The results of formal validation of Ada compilers are documented in VSRs, which are available through the National Technical Information Service (NTIS) to the public. The format and content of the VSR has been revised periodically to improve the presentation of data and to add substantive information concerning the testing procedures, configurations tested, and testing results. The VSR is reviewed as a source of information on the capability of compilers that could be useful to a prospective buyer and user of an Ada Compiler.

Author: Lehman, R. Danford, et al.

Publisher: IDA

Reference Number: IDA #: Memorandum Report M-454

Sponsoring Organization: AJPO

Producing Organization: IDA

Publication Date: 5/88


Towards Capital-Intensive Information Engineering

Abstract: The objective of this technical report, as stated by the author, is to explore the concepts and the processes of capital formation in software and knowledge engineering. "Capital" is defined as a reusable resource, and it is shown that goals in software engineering such as commonality, portability, modularity, and maintainability all contribute to the reusability of software products. Theorems, concepts, and models are mental tools whose value is judged by scholars in terms of their reusability. Knowledge, like software, may be viewed as a capital resource with an economic value determined by its reusability. Knowledge engineering is concerned with knowledge-management systems for augmenting the human intellect and expert systems for computer problem solving. Knowledge-support environments for students, authors and decision makers, that will play the same role in managing knowledge that program support environments play in managing software are discussed. Progress in information technology requires integration and rapid technology-transfer of research results in hardware, software, and knowledge engineering. This paper spans a broad spectrum of topics in the hope that it will help to catalyze such integration.

Author: Wegner, Peter

Publisher: Brown University, Computer Science Department

Reference Number: Brown #: Technical Report CS-82-23

Sponsoring Organization: ONR

Producing Organization: Brown University, Computer Science Department

Publication Date: 10/82


Designing with Ada for Satellite Simulation: A Case Study

Abstract: A FORTRAN-oriented and Ada-oriented design for the same system are compared to learn whether an essentially different design was produced using Ada. The designs were produced by an experiment that involves the parallel development of software for an spacecraft dynamics simulator. Design differences are identified in the use of abstractions, system structure, and simulator operations. Although the designs were significantly different, this result may be influenced by some special characteristics discussed in the paper.

Publisher: CSC

Reference Number: CSC #: PCA/IM-86/023(470)

Sponsoring Organization: Goddard Space Flight Center

Producing Organization: Computer Sciences Corporation

Publication Date: 5/86


SEL Ada Experiment: Status and Design Experiences

Abstract: The status of the Software Engineering Laboratory (SEL) Ada experiment is reviewed, and the designs produced by the parallel FORTRAN and Ada development teams are compared. The Ada team produced a significantly different design for the spacecraft dynamics simulator. Several lessons learned from the Ada design are discussed, including the condition favoring an Ada-oriented design and the importance of understanding management expectations.

Author: Agresti, William W.

Publisher: CSC

Publication Date: 1/86


Measuring Ada for Software Development in the Software Engineering Laboratory (SEL)

Abstract: At NASA/Goddard Space Flight Center, the Software Engineering Laboratory (SEL) has been conducting studies and experiments with the Ada development language. One such study is the parallel development of a production flight dynamics system by two teams of professional programmers. Both teams worked from the same set of requirements; one team was required to use the normal development process (FORTRAN), while the second team used the Ada development language. Detailed data were collected during the development phases to support the analysis. A discussion of the experimental approach and some of the key results from early, completed studies are presented.

Author: McGarry, Frank E. and William W. Agresti

Publisher: Goddard Space Flight Center; CSC

Producing Organization: Goddard Space Flight Center; CSC

Publication Date: 1/88


Towards a General Object-Oriented Ada Lifecycle

Abstract: In object-oriented software engineering, the software developer attempts to model entities in the problem domain and how they interact. Our previous work, which grew out of a Goddard Space Flight Center Software Engineering Laboratory Ada pilot project has concentrated on using object-oriented ideas in software design and implementation. However, the authors found that object-oriented concepts can be used advantageously throughout the entire Ada software life-cycle. This paper provides a distillation of their experiences with object-oriented specification, which leads smoothly into our design and implementation methods, as well as into an object-oriented approach to reusability in Ada.

Author: Stark, Mike and Ed Seidewitz

Publisher: Goddard Space Flight Center

Publication Date: 3/87


Experiences in the Implementation of a Large Ada Project

Abstract: During the past several years, the Software Engineering Laboratory (SEL) of Goddard Space Flight Center has been conducting an experiment in Ada to determine the cost effectiveness and feasibility of using Ada to develop flight dynamics software and to assess the effect of Ada on the flight dynamics environment. This experiment consists of near parallel developments of a dynamics simulator in both FORTRAN and Ada. A study team consisting of members from the SEL has monitored development progress and has collected data on both projects throughout their development.

Author: Godfrey, Sally and Carolyn Brophy

Publisher: Goddard Space Flight Center; University of Maryland

Publication Date: 1/88


General Object-Oriented Software Development

Abstract: Object-oriented design techniques are gaining increasing popularity for use with the Ada programming language. A general approach to object-oriented design which synthesizes the principles of previous object-oriented methods into the overall software life-cycle, providing transitions from specification to design and from design to code. It therefore provides the basis for a general object-oriented development methodology.

Author: Seidewitz, Mike and Ed Stark

Publisher: NASA

Reference Number: SEL #: SEL-86-002

Sponsoring Organization: NASA

Producing Organization: Software Engineering Laboratory

Publication Date: 8/86


ISEC Reusability Guidelines

Abstract: This guide addresses the design and development of reusable software in Ada, beginning with the concept of software reusability and issues that must be considered. Specific guidelines for design, Ada interfaces, documentation, and management are included.

Publisher: SofTech

Reference Number: SofTech #: 3285-4-247/2

Sponsoring Organization: US Army Information Systems Engineering Command

Producing Organization: SofTech

Publication Date: 12/85


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

Back to FAQ