Back to FAQ

Ada Reports & Papers
(Part 4)

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


Ada Compiler Validation Procedures

Abstract: The AJPO has established a certification system to prevent th e profileration of dialects of the Ada programming language and to encourage Ada implementations that conform to the ANSI 83. The Ada certification system rules of procedure and management address the validation of Ada implementations by test and by registration. This document provides an operational definition of a validated Ada compiler, which is required by DoD 91 and by the FIRMR 87. This version (3.1) pertains to the current validation process of Ada implementation as defined by ANSI 83, as well as its successor, informally known as Ada 9X. Subsequent revisions will reflect the Ada 9X transition policy and procedures for use of the Ada 9X ACVC.

Author: AJPO

Publisher: AJPO

Publication Date: 8/92


Informal Technical Report for the Software Technology for Adaptable, Reliable Systems (STARS); Ada Semantic Interface Specification (ASIS) Version 0.4; Vendor Independent ASIS (VIA)

Abstract: The Ada Semantic Interface Specification is a layered vendor-independent open architecture. ASIS queries and services provide a consistent interface to information within the Ada Program Library. Clients of ASIS are shielded and free from the implementation details of each Ada vendor's proprietary library and intermediate representations.

Author: Blake, Steve

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

Reference Number: STARS-RC-251901/003/00; GR-7670-1344

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

Producing Organization: Telesoft

Publication Date: 10/91


Developing and Using Ada Parts in Real-Time Embedded Applications (Common Ada Missile Packages - Phase 3; CAMP - 3)

Abstract: This manual provides practical guidance in the development and use of reusable Ada software for mission-critical, real-time embedded (RTE) applications. It covers the reusable software development lifecycle, as well as the impact of software reuse on the development of RTE applications. This manual is not intended as a set of coding guidelines for writing reusable software, rather, it takes a broader approach to the issues encountered during the entire lifecycle of parts development and use.

Publisher: McDonnell Douglas Missile Systems Company, P.O. Box 516, St. Louis, MO 63166

Sponsoring Organization: US Air Force Armament Laboratory/FXG, Eglin AFB, FL 32542

Producing Organization: McDonnell Douglas

Publication Date: 4/90


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

Abstract: The Ada Joint Program Office (AJPO) Evaluation and Validation (E&V) Project was terminated on 1 October 1993. This project was responsible for developing Ada Programming Support Environment (APSE) E&V technology, which significantly eased the DoD's transition to the Ada programming language. The principal products of the E&V project which made this transition possible are the Ada Compiler Evaluation System, the E&V Reference System and the CAIS Implementation Validation Capability.

Author: Szymanski, Raymond

Publisher: Evaluation and Validation (E&V) Project

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Evaluation and Validation (E&V) Project

Publication Date: 9/93


International Requirements and Design Criteria (IRAC) for the Portable Common Interface Set (PCIS); With Embedded Rationale; Final Draft Version 0.2

Abstract: This document was developed by a team of internationally recognized experts in the area of interface technology under the direction of the Special Working Group (SWG) on APSE, a subordinate body of the NATO Tri-Service Group on Communications an Electronics (TSGCE). Both the IRAC and the PCIS, when completed will be recommended for adoption and use by NATO and its member nations. In, addition, PCIS will be submitted for standardization by the ISO.

Publisher: NATO

Sponsoring Organization: NATO

Publication Date: 11/91


The Design and Implementation of a User Interface for the Computer-Aided Prototyping System

Abstract: This thesis contains three primary products. The first is the design for the CAPS '93 user interface. The second is the implementation of a drawing editor for the graphic representation of the prototype. The third is the implementation of a menu shell for the future CAPS tools.

Author: Dixon, Robert M.

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

Sponsoring Organization: Naval Postgraduate School, Monterey, CA 93943-5000

Producing Organization: Naval Postgraduate School, Computer Science Dept.

Publication Date: 9/92


Work Unit Summaries: Report on Ada

Abstract: The Defense Technical Information Center Work Unit Information System was searched for the terms: Ada; Ada computer program; and computer program. 30 records were found and compiled in this report.

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

Reference Number: DTIC Report No. WC0401

Producing Organization: DTIC _ Defense Technical Information Center

Publication Date: 8/91


Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging

Abstract: The symposium was organized into seven sessions based on the submissions; the contents of these proceedings are arranged by those sessions: Debugging Methodology (Summary, "Debugging 'Level': Step-Wise Debugging," "Interactive Debug Requirements"); Knowledge-Based Debugging (Summary, "Knowledge-Based Fault Localization in Debugging"); Requirements/Design Debugging (Summary, "Generalized Path Expressions: A High Level Debugging Mechanism," "The Application of Error-Sensitive Testing Strategies to Debugging," "An Approach to Testing Specifications"); Integrated Environments (Summary, "An Experimental Debugger in a Limited Programming Environment," "A Database Model of Debugging," "Interactive Program Execution in LISPedit," "The Role of Debugging within Software Engineering Environments," "An Integrated LISP Programming Environment"); Distributed Debugging (Summary, "Development of a Debugger for a Concurrent Language," "An Approach to High-Level Debugging of Distributed Systems," "Interactive Debugging of Concurrent Programs"); Implementation Issues (Summary, Summary2, "SIMOB -- A Portable Toolbox for Observation of Simula Executions," "High Level Language Debugging with a Compiler," "A Systematic Approach to Advanced Debugging Through Incremental Compilation," "Hardware Assisted High Level Debugging," "A Real-time Microprocessor Debugging Technique," "Implementation Issues for a Source Level Symbolic Debugger," "High-Level Debugging Assistance via Optimizing Compiler Technology," "Static Analysis of Programs as an Aid to Debugging," "An Interactive High-Level Debugger for Control-Flow Optimized Programs"); and Demonstrations (Summary, "VAX DEBUG: An Interactive, Symbolic, Multilingual Debugger," "The Blit Debugger," "DYMOS: A Dynamic Modification System," "DELTA -- A Universal Debugger for CP-6").

Author: Johnson, Mark Scott (ed)

Publisher: ACM Press

Reference Number: ISBN: 0-89791-111-3; Software Engineering Notes: Volume 8, Number 4; SIGPLAN Notices: Volume 18, Number 8

Sponsoring Organization: ACM SIGSOFT/SIGPLAN

Publication Date: 8/83


Kernel Ada Programming Support Environment (KAPSE) Interface Team: Public Report, Volume III - Interim Report for 28 October 1982-30 June 1983

Abstract: The continuing activities of the Kernel Ada Programming Support Environments (KAPSE) interface team and its industry/academia auxiliary are reported. (Ada is a recent, DoD-developed programming language.) The Ada Joint Program Office (AJPO) sponsored effort will ensure the interoperability and transportability of tools and databases among different KAPSE implementations. The effort is the result of a Memorandum of Agreement (MOA) among the three services directing the establishment of an evaluation team, chaired by the Navy, to identify and establish KAPSE interface standards. As with previous Ada-related developments, the widest possible participation is being encouraged to create a broad base of experience and acceptance in industry, academia, and the DoD.

Author: Oberndorf, Patricia

Publisher: NOSC - Naval Ocean Systems Center, San Diego, CA 92152

Reference Number: NOSC TD 552; AD A141 576

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: NOSC - Naval Ocean Systems Center, San Diego, CA

Publication Date: 10/83


Ada Cost Estimation

Abstract: This is a copy of presentation slides for a seminar: Introduction to the topic of software economics. Describes the metrics, methods, models and tools that can be used to develop resource estimates for software projects done primarily in Ada.

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

Reference Number: RCI-TN-353

Producing Organization: RCI - Reifer Consultants, Inc.

Publication Date: 9/88


DoD Directive 5000.1, Major and Non-Major Defense Acquisition Programs; Instruction 5000.2, Defense Acquisition Management Policies and Procedures; Manual 5000.2

Abstract: Establishes a disciplined management approach for acquiring systems and materiel that satisfy the operational user's needs. This approach is based on the principles contained in the "Defense Management Report to the President."

Publisher: DOD - Department of Defense

Reference Number: DoDD 5000.1; DoDI 5000.2; DOD 5000.2-M

Producing Organization: DOD - Department of Defense

Publication Date: 2/91


Proceedings of the Software Technology for Adaptable Reliable Systems (STARS) Conference

Abstract: These papers and viewgraphs from conference presentations are arranged by session and track: Plenary Sessions ("STARS '91 Overview," "STARS and Megaprogramming," "STARS Vision, Mission, Stratgey, and Achievements," "Economic Impact of STARS Supported Technology," "Technology Transition and Community Involvement," "The DoD Software Technology Plan and STARS"), Track 1- Process Driven Development ("Process Driven Development: Vision, Strategies, and Acievements," "Process Concepts," "Process Asset Library," "Experiment in Process Definition and Representation," "Enacting the Software Process," "Process Measurement"), Track 2- Domain Specific Reuse ("Domain Specific Reuse: Vision, Strategies, and Achievements," "Reuse Concepts," "Integrating Reuse into a Life-Cycle Process," "Domain Analysis Process Model," "Asset Library Open Architecture Framework {ALOAF}," "Library Machanisms: Comparisons and Experiences," "ASSET Source for Software Engineering Technology," "CARDS"), Track 3- Technology Support ("Technology Support: Vision, Strategy, and Achievements," "Project Support Enviornment Services Reference Model," "STARS Standards Portfolio," "STARS Role in Standards Maturation," "IBM STARS SEE Evolution Strategy," "Unisys STARS SEE Evolution Strategy," "Boeing STARS SEE Evolution Strategy"), and Track 4- Technology Transition ("Software Technology Transition Process," "STARS Technology Transition Strategies," "Reuse Acquisition Issues," "STARS Demonstration Projects," "Megaprogramming Adoption Risks and Strategy Discussion," "CARDS Reuse Blueprint").

Publisher: STARS Technology Center, ASSET

Sponsoring Organization: STARS Technology Center, ASSET

Publication Date: 12/91


Toward the MIL-STD and MIL-HDBK for Project Support Environment Interfaces

Abstract: This document provides the necessary background information to create a military standard and military handbook for the project support environment interfaces (PSEI). Preliminary incomplete drafts are included as appendices A and B respectively.

Author: Schmiedekamp, C. and M.D. Shapiro

Publisher: NCCOCC - Naval Command, Control and Ocean Surveillance Center, RDT&E Division (NRaD), San Deigo, CA 95152-5000

Reference Number: NRad TD 2385

Sponsoring Organization: US Navy Space and Naval Warfare Systems Command, Washington, DC 20363-5100

Producing Organization: NCCOSC - Naval Command, Control and Ocean Surveillance Center

Publication Date: 11/92


Developing Integrated Parametric Planning Models for Budgeting and Managing Complex Projects

Abstract: The primary purpose of this study will be to demonstrate the applicability of integrated parametric models for the budgeting, and management, of complex projects. The characteristics of integrated parametric models will be investigated and compared with other methods often used in planning and managing complex projects. A prototype system will be built to allow project planners to design and test various project planning strategies interactively. Specific integration methodologies using parametric analysis and interactive decision rules will be developed. Specifications will be stated for the development of software systems which can integrate the functions of forecasting, budgeting, and resource management.

Author: Etnyre, Vance A. and Ken U. Black

Publisher: RICIS - Research Institute for Computing and Information Systems, University of Houston - Clear Lake

Reference Number: Research Activity IM.7

Sponsoring Organization: NASA

Producing Organization: RICIS - Research Institute for Computing and Information Systems

Publication Date: 4/88


Ada/POSIX Binding; A Focused Ada Investigation

Abstract: NASA is seeking an Operating System Interface Binding (OSID) for the Space Station Program (SSP) in order to take advantage of the commercial off-the-shelf (COTS) products available today and the many that are expected in the future. NASA would also like to avoid the reliance on any one source for operating system, information system, communication system, or instruction set architecture. One possible solution is to use the Portable Operating System Interface for Computer Environments (POSIX). Since Ada is already the language of choice for SSP, the question of an Ada/POSIX binding is an appropriate one.

Author: LeGrand, Sue

Publisher: RICIS - Research Institute for Computing and Information Systems, University of Houston - Clear Lake

Reference Number: Research Activity SE.17

Sponsoring Organization: NASA

Producing Organization: SofTech, Inc.

Publication Date: 10/88


Assessing the Ada Design Process and Its Implications: A Case Study

Abstract: The results of a case study to analyze the approach taken and the lessons learned during the design of the Gamma Ray Observatory Dynamics Simulator in Ada (GRODY) are presented. Included are recommendations for defining the design phase and outlining the products that should be developed during this phase of the sofltware development life cycle for future flight dynamics software systems developed in Ada.

Author: Godfrey, Sara; et al.

Publisher: NASA - NASA, Systems Development Branch, Code 552, Goddard Space Flight Center, Greenbelt, MD 20771

Reference Number: SEL-87-004

Sponsoring Organization: NASA, University of Marylang, Computer Sciences Corporation

Producing Organization: SEL - Software Engineering Laboratory

Publication Date: 7/87


Evolution of Ada Technology in the Flight Dynamics Area: Design Phase Analysis

Abstract: The software engineering issues related to the use of the Ada programming language during the design phase of an Ada project are analyzed. Discussion shows how an evolving understanding of these issues is reflected in the design processes of three "generations" of Ada projects.

Author: Quimby, Kelvin L. and Linda Esker

Publisher: NASA - NASA, Systems Development Branch, Code 552, Goddard Space Flight Center, Greenbelt, MD 20771

Reference Number: SEL-88-003

Sponsoring Organization: NASA

Producing Organization: SEL - Software Engineering Laboratory

Publication Date: 12/88


Case Studies in Environment Integration

Abstract: Four environment builders and participants at two workshops were queried concerning the environment standards, implementations, and technology that prove useful in the integration of tools into software engineering environments. Specific information was gathered about the software and hardware environments in which tool integration occurred, the goals of integration, the tools integrated mechanisms used, and the standards applied. Observations concerning the current state of tool and environment integration are provided, and trends in integration are identified.

Author: Morris, Ed; Peter Feiler; and Dennis Smith

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

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

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/91


Design Specifications for Adaptive Real-Time Systems

Abstract: The design specification method described in this report treats a software architecture as a set of runtime entities, including tasks and external input/output elements, which interact either via messages or shared data structures. Tasks have a single thread of execution and represent program units that may be executed concurrently. External input elements produce input requests that in turn trigger a set of low level activities to be executed by tasks. External output elements consume results which are produced by tasks. The specification method discussed here facilitates the description of the dynamic structure of runtime entities, the synchronization and communication between these entities, and their resource consumption and production properties (which include timing and sizing).

Author: Kichota, Randall W. and Alice H. Muntz

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

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

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 12/91


ASIS Test Verification Capability: A Proposal to the Ada Joint Program Office for Reuse of the ACVC and Other Ada Compiler Tests as ASIS Verification Tests

Abstract: This is Telesoft Proprietary Information. The Ada Semantic Interface Specification (ASIS) is a vendor-independent non-proprietary interface between Ada tools and Ada Libraries. Telesoft proposes to build a toolset to automate the process of validating an ASIS implementation.

Author: Dunlap, Wayne and Jim Bladen

Publisher: TeleSoft, 5859 Cournerstone Court West, San Diego, CA 92121-3334

Producing Organization: TeleSoft

Publication Date: 2/92


An Application-Level Implementation of the Sporadic Server

Abstract: Introduces a sporadic server algorithm that can be implemented as an application-level task, and that can be used when no runtime or operating system level implementation of the sporadic server is available. The sporadic server is a simple mechanism that both limits and guaranteees a certain amount of execution power dedicated to servicing aperiodic requests with soft or hard deadlines in a hard real-time system. The sporadic server is event-driven from an application viewpoint, but appears as a period task for the purpose of analysis and, consequently, allows the use of analysis methods such as rate monotonic analysis (1) to predict the behavior of the real-time system.

Author: Harbour, Michael G. and Lui Sha

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

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

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 9/91


A Comparison of U.S. and Japanese Software Process Maturity

Abstract: Characterizes the software processes currently used by software managers and practitioners in the U.S. and Japan.

Author: Humphrey, Watts S.; David H. Kitson; and Julia Gale

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

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

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 11/91


ASEET Tutorial: Object-Oriented Concepts

Abstract: 1994 tutorial with the objectives of understanding the significance of object-orient (OO) concepts for software development; understanding the basic concepts of OO modeling; becoming familiar with the similarities and differences amoung several analysis and design methods; and, understanding how Ada can be used to implement object-oriented systems.

Author: Lawlis,Pat and Drew Hamilton

Publisher: ASEET

Producing Organization: ASEET

Publication Date: 1/94


SEI Software Engineering Education & Training Week: Ada for Program Managers

Abstract: Briefing slides from a presentation entitled " Ada from a Management Perspective".

Author: Engle, Charles B. and John Foeman

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

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

Producing Organization: SEI - Software Engineering Institute

Publication Date: 6/89


Critical Technologies Plan

Abstract: Draft of the plan in response to PL100-456, the National Defense Authorization Act for FY 1989 that requires the DoD submit such a plan to Congress annually. This is the first such plan.

Publisher: DoD

Producing Organization: DoD

Publication Date: 3/89


Work Breakdown Structure of Software Cost Reporting, MIL-HDBK-WBS.SW

Abstract: This handbook provides the necessary guidance to the DoD Acquisition Personnel, Program Managers and Software Support Activities for establishing and including an accountable Software Cost Reporting (SCR) requirement in contracts and for internal efforts. It is also intended to be used by DoD contractors to assist them in understanding the Work Breakdown Structure for Software framework and associated cost reporting procedures.

Publisher: DoD

Reference Number: MIL-HDBK-WBS.SW

Producing Organization: DoD

Publication Date: 11/90


Evaluation and Validation (E&V) Project Plan: Phase II

Abstract: This plan constitutes the second phase of the project. It provides a detailed and organized approach to the continued development and transition of Ada Programming Support Environment (APSE) E&V technology. It defines the scope of the project and its high level objectives. These objectives are further defined via individual project descriptions which are organized into three categories: Assessor Products; Analysis Products; and Technology Transition Products. Based on experience from Phase I, this plan also addresses the Management and Technical Approaches necessary for the successful operation of the E&V Project, Phase II.

Author: Szymanski, Raymond; et al.

Publisher: E & V Project Team

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: E & V Project Team

Publication Date: 2/92


Welcome to the USAF STSC-HQ USAF/SC Joint Software Conference, The New Era: Software Technology

Abstract: List of 493 enrolled participants at the conference, held in Salt Lake City, Utah on 14-19 April 1991.

Publisher: Utah State University

Reference Number: Program ID DLH004A2678

Sponsoring Organization: STSC - USAF Software Technology Support Center - HQ USAF/SC

Producing Organization: Utah State University

Publication Date: 4/91


Proceedings of the Eighth Annual ASEET Symposium

Abstract: The papers contatined in these proceedings are arranged by date of presentation: WEDNESDAY, JANUARY 12, 1994 ("Teaching Object-Oriented Analysis and Design to Ada Programmers," "ALS/N Real-time Training," "Transition from PL/1 IBM/370 Programming to Ada in Engineering," "Ada 9X Annexes," "Ada Compiler Evaluaiton System") and THURSDAY, JANUARY 13, 1993 ("Building Data Structure Components: A Case Study in Making the Transition from Ada 83 to Ada 9X," "A Motivation Booster for Undergraduate Training in Ada," "An Industry Education Plan for Ada 9X," "Ada, Objects, and Model Trains," "The History of Flight," "Stories and Reflections on Teaching Ada: Two Cases of One Teacher," "Experiences in Software Reuse Training").

Publisher: ASEET

Sponsoring Organization: ASEET, AJPO

Publication Date: 1/94


Defense Information Systems Agency Joint Interoperability and Engineering Organization Center for Information Management Software Systems Engineering Directorate Ada Dual-Use Summary; Ada Dual-Use Workshop; Ada Dual Use Committee Briefing

Abstract: Briefing held November 8, 1993 and workshop held October 19-20, 1993.

Publisher: DISA - Defense Information Systems Agency

Sponsoring Organization: DISA - Defense Information Systems Agency

Producing Organization: DISA - Defense Information Systems Agency

Publication Date: 11/93


Airborne Systems Software Acquisition Engineering Guidebook for Application and Use of the Guidebooks (Series Overview)

Abstract: This guidebook serves as an introduction to the series which describes significant activities and events in the software acquisition life cycle of airborne embedded computer systems acquired within the framework of Air Force 800-series documents. The guidebook contains a brief description of the other 15 guidebooks and discusses the application and use of the various guidebooks during the acquisition of embedded weapon system software.

Author: Parriot, L.

Publisher: TRW Defense and Space Systems Group, One Space Park, Redondo Beach, CA 90278

Reference Number: ASD-TR-80-5028

Sponsoring Organization: Deputy for Engineering/Aeronautical Systems Div., W-P AFB

Producing Organization: TRW Defense and Space Systems Group

Publication Date: 10/80


Airborne Systems Software Acquisition Engineering Guidebook for Contracting for Software Acquisition

Abstract: This guidebook provides information about the technicalities of DOD contracting to enable Program Office and Software Engineering personnel to effectively work with the Procuring Contracting Officer (PCO) and other members of the acquisition team.

Author: Agnos, R.

Publisher: TRW Defense and Space Systems Group, One Spce Park, Redondo Beach, CA 90278

Reference Number: ASD-TR-80-5024; 30323-6007-TU-00

Sponsoring Organization: Deputy for Engineering/Aeronautical Systems Div., W-P AFB

Producing Organization: TRW Defense and Space Systems Group

Publication Date: 8/80


Verifying the Absence of Common Runtime Errors in Computer Programs

Abstract: This thesis begins by presenting an axiomatic definition of Pascal for proving the absence of runtime errors. It discusses the problem of introducing uninitialized variables in an axiomatic definition, and constructs models of the data types from nonstandard models of the integers to justify the new approach to uninitialized variable. The final section draws on experience to discuss some of the major issues concerning verification and software reliability.

Author: German, Steven M.

Publisher: Stanford University, Department of Computer Science, Stanford, CA 94305

Reference Number: STAN-CS-81-866; PVG-19; CSL TR-208

Producing Organization: Stanford University

Publication Date: 6/81


Airborne Systems Software Acquisition Engineering Guidebook for Software Cost Analysis and Estimating

Abstract: This guidebook assists Air Force Program Office engineering and management personnel in costing embedded software for avionics applications. A methodology for cost reporting and voiding the "90 percent complete" syndrome is presented. An annotated bibliography gives the author's personal view of source material relevant to costing using modern programming practices.

Author: Wolverton, R.W.

Publisher: TRW Defense and Space Systems Group, One Space Park, Redondo Beach, CA 90278

Reference Number: ASD-TR-80-5025; 30323-6012-TU-00

Sponsoring Organization: Deputy for Engineering/ Aeronautical Systems Div., W-P AFB

Producing Organization: TRW Defense and Space Systems Group

Publication Date: 9/80


Airborne Systems Software Acquisition Engineering Guidebook for Supportable Airborne Software

Abstract: This guidebook addresses topics relevant to software supportability. It provides guidance for preparation of the Computer Resources Integrated Support Plan (CRISP) and discusses the acquisition of supportable airborne software through review of the development effort.

Author: Meyer, K.

Publisher: TRW Defense and Space Systems Group, One Space Park, Redondo Beach, CA 90278

Reference Number: ASD-TR-80-5026; 30323-6015-TU-00

Sponsoring Organization: Deputy for Engineering/Aeronautical Systems Div., W-P AFB

Producing Organization: TRW Defense and Space Systems Group

Publication Date: 10/80


Airborne Systems Software Acquisition Engineering Guidebook for Development and Support Facilities

Abstract: This guidebook addresses ground-based facilities used for software development, modification, integration, and testing on Avionics Embedded Computer Systems (ECS) during both the Full Scale Engineering Development phase and the Operations and Support phase of the ECS life cycle. It provides assistance in the acquisition of software development and support facilities in the specific areas of establishing requirements for facility acquisition; performing facility planning; and, establishing procedures used during development/acquisition and operations.

Author: Kishi, F.

Publisher: TRW Defense and Space Systems Group, One Space Park, Redondo Beach, Ca 90278

Reference Number: ASD-TR-80-5027; 30323-6019-TU-00

Sponsoring Organization: Deputy for Engineering/Aeronautical Systems Div., W-P AFB

Producing Organization: TRW Defense and Space Systems Group

Publication Date: 9/80


The Optimization of Horizontal Microcode Within and Beyond Basic Blocks: An Application of Processor Scheduling with Resources

Abstract: Microprogram optimization is the arrangement of microcode written vertically, with one operation issued per step, into legal horizontal microinstructions, in which several operations are issued each instruction cycle. The rearrangement is to be done in a way that approximately minimizes the running time of the code. This is one approach to the problem with solution.

Author: Fisher, Joseph A.

Publisher: New York University

Reference Number: COO-3077-161

Sponsoring Organization: DOE - U.S. Department of Energy

Producing Organization: Courant Mathematics and Computing Laboratory, N.Y.U.

Publication Date: 10/79


The Implementation and Use of Ada on Distributed Systems with High Reliability Requirements

Abstract: There seem to be numerous aspects of Ada which make its use on a distributed system somewhat difficult. The issues are not raised directly from efforts to implement the language, but from the desire to be able to recover, reconfigure, and provide continued service in the presence of hardware failure.

Author: Knight, John C. and Paul F. Reynolds

Publisher: University of Virginia, School of Engineering and Applied Science, Charlottesville, VA 22901

Reference Number: UVA/528213/AMCS82/101; N82-30965

Sponsoring Organization: NASA - NASA langley Research Center, Hampton, VA 23665

Producing Organization: University of Virginia, School of Engineering and Applied Scien.

Publication Date: 8/82


Rapid Software Prototyping

Abstract: Rapid prototyping is an approach to software development which emphasizes quick implementation of a working program. This dissertation makes two principal contributions. First, it provides concepts, techniques, and a philosophy of rapid software prototyping and characterizes the benefits and limitations of its use. Second, it makes a contribution to programming environments which support rapid prototyping. An experimental language, Castor, is described which was implemented to validate this approach in the prototyping of Ada programs.

Author: Smith, David Andrew

Publisher: University of California (Irvine), Dept. of Info. and Comp. Sci.

Reference Number: Technical Report Number 187

Publication Date: 5/82


Example of CAMAC Programming in Ada

Abstract: A short Ada program for the single-crate CAMAC system controlling the neutron spectrometer is presented. The CAMAC programming is based on the IEEE-758/IEC-713 standard incorporated into Ada language constructs. Several conclusions are drawn related to how Ada meets the needs in programming standard interface systems and what the user gains when combining best Ada and CAMAC features.

Author: Zalewski, Janusz

Publisher: Institute of Nuclear Research

Publication Date: 10/82


SECURE - Fortran Implementation of "Subroutines for CAMAC" for NOVA-compatible Computers

Abstract: SECURE is a set of subroutines compatible with ESONE/SR/01 "subroutines for CAMAC" for SEN Electronique CC2023 crate controller and NOVA-compatible computers running the RDOS operating system. It was designed for experimenters which apply CAMAC but have programming experience only with Fortran. Its main remarkable feature and the real benefit of use is to make possible all CARMAC programming, including all interrupt service and message transfer between tasks, in Fortran. The straightforward consequence of this fact was that programming of quite sophisticated control systems was possible to be made by technicians. When combined with other experimenter's experience, this may prove the extraordinary efficiency of software standardization efforts.

Author: Banasik, Zbigniew and Janusz Zalewski

Publisher: Institute of Nuclear Research

Publication Date: 11/82


Ada Bibliography

Abstract: Version JZ, has 727 entries.

Author: Wand, Ian and Janusz Zalewski

Publisher: B.I.G.R.E. (no. 27)

Producing Organization: University of York and Institute of Nuclear Research

Publication Date: 12/81


Preliminary Specification of the Standard Interface Set (SIS) - Version 0.94

Abstract: This document provides specifications for a set of Ada packages which together form a Standard Interface Set (SIS) for Ada Programming Support Environments (APSEs). This interface set is proposed for standardization so as to enhance 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).

Publisher: KAPSE Interface Team SIS Working Group (KIT/KITIA)

Reference Number: Version 0.94

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: KAPSE Interface Team SIS Working Group(KIT/KITIA)

Publication Date: 7/83


Using Selected Features of Ada: A Collection of Papers

Abstract: This report is a collection of papers written for the Center for Tactical Computer Systems (CENTACS). The purpose is to further the understanding of how to use selected features of the Ada programming language in a proper manner. The viewpoints expressed are those of the authors and do not necessarily represent that of the Department of Defense. .

Author: Haberman, Nico; et al.

Publisher: U.S. Army Communication - Electronics Command, CENTACS, Ft. Monmouth, NJ 07703

Publication Date: 11/80


TCOL for Revised Ada

Abstract: This document describes the design of TCOL/Ada for the revised Ada language (based on manual of 31 July 1980). The metalanguage used here (which is not what will be used in the revised TCOL report) should be reasonably self-explanatory, at least to those who are familiar with the February TCOL report.

Author: Brosgol, B.

Publication Date: 8/80


An Ada Program Design Environment

Abstract: Describes the characteristics and requirements of a high level programming design language which Ada would have meet. Includes two other documents as enclosures illustrating the characteristics and requirements.

Author: Saib, Sabina H.

Publisher: General Research Corporation, P.O. Box 6770, Santa Barbara, CA 93111-0770

Producing Organization: GRC - General Research Corporation

Publication Date: 9/82


Software Support Facility Investigation: Technology Survey

Abstract: This report presents the findings of the Technology Survey Task of the Naval Electronic Systems Command (NAVELEX) Software Support Facility Investigation. The objectives were: to characterize the expected evolution of computer hardware and software during the 1980s and early 1990s; define the expected impact of these technology advances on development tools which support the Software Engineering Process (SEP); present alternative SSFI hardware and software architectures which would flexibly evolve through the early 1990s; and, estimate the potential impact of future development tools on the projected NAVELEX software development and maintenance workload through 1992.

Publisher: NAVELEX - Naval Electronic Systems Command, Washington, DC

Producing Organization: NAVELEX

Publication Date: 9/80


Department of Defense Independent Research and Development Information System Report on Ada

Abstract: Report of 101 projcts in the IR&D database at DTIC that are using Ada as of the report date.

Publisher: DTIC - Defense Technical Information Center

Reference Number: DTIC Report No. CCP35C

Sponsoring Organization: Department of Defense

Producing Organization: DTIC - Defense Technical Information Center

Publication Date: 6/82


Rationale for the Design of the Ada Programming Language -- DRAFT for Editorial Review

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

Publisher: Honeywell and Alsys

Sponsoring Organization: DoD

Producing Organization: Honeywell and Alsys

Publication Date: 1/84


Ada-Europe Guidelines for the Portability of Ada Programs

Abstract: This document is intended to be read in conjunction with the Ada Language Reference Manual, hereafter referred to as the LRM.

Author: Nissen, J.C.D.; et al.

Publisher: NPL - National Physical Laboratory,Teddington, Middlesex TW11 0LW, UK

Reference Number: DNACS 52/81; ISSN 0143-7348

Producing Organization: NPL - National Physical Laboratory

Publication Date: 11/81


Comparing Software Development Methodologies for Ada: A Study Plan

Abstract: This study is an update of the study proposed by the authors in a previous paper, which emphasized the design phase of a methodology. In particular it attempted to isolate the design phase from the implementation phase so that one could study the effects of one phase on the other. Reviewers thought this much too complex. Consequently, the version here treats the methodology as a "black box" and is therefore simpler than the original.

Author: Freeman, Peter and Anthony I. Wasserman

Publisher: NBS - U.S. Department of Commerce, National Bureau of Standards, Washington, DC 20234

Reference Number: NBSIR 84-2827

Sponsoring Organization: NBS - National Bureau of Standards

Producing Organization: University of California

Publication Date: 2/84


Ada Process Description Language Guide, Revision 1.0

Abstract: This document defines the Ada Process Description Language and provides a guide to its application. While reference should be made to Ada programming language documents for additional details, this document presumes no significant knowledge of the Ada language.

Author: Comer, E. R.; et al.

Publisher: Harris Corporation, Government Communications System Division, P.O. Box 37, Melbourne, FL 32901

Producing Organization: Harris Corporation

Publication Date: 3/82


Formal Definition of Ada (Interim Draft)

Abstract: The main purposes of this Formal Definition are 1) as a standard for the language, that is as a means to answer unambiguously all questions that a programmer or an implementor may raise about the meaning of a construct of the language; 2) as a reference document for justifying tha validity of optimizations and other programming transformations; 3) as a reference document for proving properties of programs written in the language; and 4) as an inout for a compiler-generator when the technology becomes available. The Definition is divided into chapters, each with several sections: 1- Introduction; 2- Lexical Elements; 3- Declarations and Types; 4- Names, Variables, and Expressions; 5- Statements; 6- Declarative Parts, Subprograms, and Blocks; 7- Modules; 8- Visibility Rules; [No Chapter 9]; 10- Program Structure and Compilation Issues; 11- Exceptions; and 12- Generic Program Units.

Author: Ada Design Team

Publisher: Honeywell, Inc. and Honeywell Bull

Sponsoring Organization: DoD

Producing Organization: Honeywell, Inc. and Honeywell Bull

Publication Date: 10/79


The Charrette Ada Compiler

Abstract: This report describes the implementation of a compiler for preliminary Ada. It is intended primarily for others who intend to implement Ada.

Author: Lamb, David Alex; et al.

Publisher: Carnegie-Mellon University, Department of Computer Science, Pittsburgh, PA 15213

Reference Number: CMU-CS-80-148

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: CMU - Carnegie Mellon University

Publication Date: 10/80


White Paper: Ada Code Generator Generator Technology

Abstract: This white paper invites the Ada Joint Program Office to participate with Control Data Corporation in the development of an Ada code generator generator technology. The technology is based upon the use of a software tool, the Code Generator Generator, to help automate the production of table-driven code generators. In order for the Ada effort to achieve a significant reduction in defense systems software costs, it is imperative that efficient Ada implementations be made available on a wide variety of DoD target machines. This technology could provide an effective response to this critical need by facilitating the timely production of optimizing code generators for the Ada programming language.

Publisher: CDC - Control Data Corporation, Government systems, 5500 Interstate North Parkway, Suite 520, Atlanta, GA 30328

Producing Organization: CDC - Control Data Corporation

Publication Date: 8/82


Intelligent Associative Memory (IAM) Architecture

Abstract: This paper is composed of 4 distinct parts. The first is an overview of the state-of-the-art of Artificial Intelligence, and some speculations on its future development. The second is a survey of the terms, techniques, and characteristics of current and future hardware and software. The third describes the concept of Intelligent Associative Memory (IAM). The last part outlines an experimental IAM device which can be built and tested now.

Author: Naedel, Richard G.

Publisher: INTELLIMAC, Inc., 51 Monroe Street, Rockville, MD 20850

Reference Number: N60921-80-M-5462

Sponsoring Organization: Naval Surface Weapons Center

Producing Organization: INTELLIMAC, Inc.

Publication Date: 12/80


DoD Weapon Systems Software Management Study [Appendix A, Findings and Recommendations of Previous Studies]

Abstract: This appendix to the DoD Weapon Systems Software Management Study, conducted by the APL, contains background material extracted and/or summarized from ten previous DoD-sponsored studies. The studies were designated Baseline Documents by the DoD Software Management Steering Committee and are particularly relevant to the subject of Weapon Systems software. A brief introduction specifying the purpose of each study and a summary of its findings and/or conclusions are included. Recommendations are summarized for each study that provided them. Whenever such study recommendations are available, abbreviated versions of the APL recommendations (from the main report) that correlate most closely are included for reference.

Author: Park, J.M.

Publisher: The Johns Hopkins University Applied Physics Laboratory

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

Sponsoring Organization: OASD

Producing Organization: The Johns Hopkins University Applied Physics Laboratory

Publication Date: 6/75


Military Standard Specification Practices, MIL-STD-490

Abstract: This standard establishes the format and contents of specifications for program peculiar items, processes, and materials. Its purpose is to establish uniform practices for specification preparation, to ensure the inclusion of essential requirements, and to aid in the use and analysis of specification content.

Publisher: DoD - Department of Defense

Reference Number: MIL-STD-490

Producing Organization: DoD - Department of Defense

Publication Date: 10/68


Institute for Defense Analyses Publications Printed and Distributed in 1982 (January - June)

Abstract: This is a list of titles of IDA Papers, Reports, and Studies printed and distributed in the first six months of 1982. It continues a planned series of annual lists, with five-year cumulations projected. Distribution of IDA publications is controlled by the sponsoring agency.

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

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 6/82


Diana Reference Manual

Abstract: This document is an introduction to, and reference manual for, Diana, a Descriptive Intermediate Attributed Notation for Ada. Diana is an intermediate from of Ada programs. It is especially suitable for communication between the Front and Back Ends of an Ada compiler, but it is also suitable for use with other tools in an Ada programming environment. Diana resulted from a merger of the best properties of two earlier similar intermediate forms: TCOL and AIDA.

Author: Goos, G. and W.A.Wulf (eds)

Publisher: CMU (Computer Science Department)

Reference Number: CMU #: CMU-CS-81-101

Sponsoring Organization: DARPA; Department of the Army; Bundesamt fuer Wehrtechnik und Beschaffung

Producing Organization: CMU (Computer Science Department)

Publication Date: 3/81


CODASYL Common Operating System Command Language (COSCL) Journal of Development

Abstract: This report is a specification of a high level, user oriented interface to an Operating System. It describes a key component of the CODASYL System Architecture - the command language. This publication is provided in order to give a vehicle for public comment and review of the direction of the CODASYL command language development effort.

Publisher: Secretariat of the Canadian Government EDP Standards Committee

Sponsoring Organization: CODASYL

Producing Organization: COSCL

Publication Date: 5/81


Proposal for the Implementation of the PEARL I/O Concept in the Ada High-Order Language

Abstract: The primary objective of this study is to show how the PEARL real-time programming language might be integrated with the Ada high-order language.

Author: Muschik, Hans J.

Publisher: ESG Elektronik-System-GmbH

Reference Number: T/R 626/60024/63612

Sponsoring Organization: Ministry of Defense of the Federal Republic of Germany

Producing Organization: ESG Elektronik-System-GesellschaftmbH

Publication Date: 10/79


Army Software Technology R&D Program Technology Transfer and Organizational Plan

Abstract: The purpose of this document is to provide the requirements for and definition of the Software Technology Development Division as an organizational component of CENTACS, CECOM, to identify, implement, and introduce into operations software development tooling and other products in response to the urgent need defined in the memorandum "Computer Resource Management for Battlefield Automated Systems" dated March 1980.

Publisher: CECOM - U.S. Army Communications-Electronics Command, Ft. Monmouth, NJ

Producing Organization: CENTACS - Center for Tactical Computer Systems

Publication Date: 8/81


Research on Advanced Software Production Environments

Abstract: Proposal for a two-year effort to explore critical issues in Ada Programming Support Environment (APSE) technology, to be conducted in cooperation with TRW.

Author: Standish, Thomas A.

Publisher: University of California (Irvine), Computer Science Department, Irvine, CA 92717

Publication Date: 5/82


New User's Guide to VAX/VMS

Abstract: This is an introductory document on the VAX/VMS computer system at USC/Information Sciences Institute. It is intended for people who would like to use the computer for electronic mail, text editing, and document preparation, but who may not have experience with VAX/VMS or with programming. It does not include an in-depth explanation of the programs covered, but instead shows how to use the basic commands.

Author: Moses, Lisa and Wayne Tanner

Publisher: USC - University of Southern California,Information Sciences Institute, 4676 Admiralty Way, Marina del Rey, CA 90291

Producing Organization: USC - University of Southern California

Publication Date: 7/82


Ada Software Design Methods Formulation -- Appendices to 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. These appendices are part of the report addressing the results of the latter effort.

Publisher: SofTech, Inc.

Reference Number: SOFTech #: 1094-2

Sponsoring Organization: U.S. Army Communication -- Electronics Command

Producing Organization: SofTech, Inc.

Publication Date: 10/82


Final Technical Report on the Intermetrics Ada DecSystem-20 Prototype Compiler Maintenance Project

Abstract: The goals of this research project and its predecessors were to investigate the compatibility of Ada, to aid the government's Ada validation effort by providing a compiler for the testing of the validation test programs, to determine the completeness and correctness of the Ada Language Reference Manual as it developed, and to provide prototype compilers for general use in investigations of Ada pending availability of production and optimizing Ada compilers.

Author: Belmont, P. A.

Publisher: INTERMETRICS, Inc., 733 Concord Avenue, Cambridge, MA 02138

Reference Number: IR-MA-197

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: INTERMETRICS, Inc.

Publication Date: 2/83


A Design for a SEMANOL Specification of Ada

Abstract: This report presents a design for a formal operational specification of the Ada programming language. The formalism is that of SEMANOL, TRW's well established metalanguage for completely defining the syntax and semantics of programming languages. The design produced essential covers the entire Ada language, ignoring only the low-level semantics of implementation dependencies since deferral of these was required by the conditions of this project.

Author: Belz, Frank C., Edward K. Blum, and Dennis M. Heimbigner

Publisher: TRW - TRW Defense and Space Systems Group, One Space Park, Redondo Beach, CA 90278

Reference Number: CDRL A003 of Contract no. F30602-79-C-0204

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

Producing Organization: TRW - TRW Defense and Space Systems Group

Publication Date: 4/80


DoD Language Evaluation, File Folder

Abstract: misc. papers; HOLWG scoring sheets for the evaluation; language comparisons, evaluation tool, and memoranda.

Publication Date: 12/76


A Cost/Benefit Analysis of Higher Order Language Standardization

Abstract: This study estimates the economic impact of developing an additional common DoD High Order Language (HOL), and of mandating its use in future defense systems.

Author: Clapp, J.A., E. Loebenstein and P. Rhymer

Publisher: MITRE Corporation, Bedford, MA 01730

Reference Number: M78-206

Sponsoring Organization: MSC-ECR

Producing Organization: MITRE

Publication Date: 9/77


Master Plan for Embedded Computer Resources

Abstract: The purpose of this Master Plan is to present the Navy's goals and strategies for the development, acquisition, and management of embedded computer reosurces to be used in Navy systems. This plan responds to the requirements of the DoD, Assistant Secretary of the Navy for Research, Engineering and Systems (ASN(RE&S)) and the Chief of Naval Operstions (CNO). The scope of this Master Plan includes all embedded computer resources to be used by the Navy in weapons, combat direction, command and control, intelligence, and other mission critical systems aboard ships, aircraft, and shore facilities. Embedded computer resources include embedded computers, operator and display consoles, associated peripheral devices, support and operating system software, documentation, related management issues, those shore-based development and life cycle support resources directly associated with the above, and related manpower, personnel, and training required for life cycle operation and support of standard embedded computer resources. The plan addresses major problem areas associated with existing and emerging embedded computer systems, outlines strategies for developing and acquiring the embedded computer resources required to solve these problems, and discusses the tasks, milestones, and resources required to implement the strategies.

Author: Williams, J.G.

Publisher: Department of the Navy - Naval Material Command

Publication Date: 4/82


Digital Computer System/Segment JOVIAL Computer Programming Manual for the Tactical Information Processing and Interpretation System (WS-428A)

Abstract: The purpose of this manual is to describe the JOVIAL language and the JOVIAL programming subsystem used to generate and maintain the main computer's TIPI Display Control/Storage and Retrieval (DC/SR) software.

Publisher: SDC - System Development Corporation, 2101 Executive Drive, Hampton, VA 23666

Reference Number: TM-HP-(L)-24/001/02

Sponsoring Organization: U.S. Air Force

Producing Organization: SDC - System Development Corporation

Publication Date: 3/78


HAL/S Language Specification

Abstract: This constitutes the formal HAL/S Language Specification, its scope being limited to the essentials of HAL/S syntax and semantics. Its purpose is to define completely and unambiguously all aspects of the language. It is intended to serve as the final arbiter in all questions concerning the HAL/S language. It will be the purpose of other documents to give a more informal, tutorial presentation, and to describe the operational aspects of the HAL/S programming system.

Author: Newbold, Philip

Publisher: INTERMETRICS,Inc.

Reference Number: Version IR-542

Sponsoring Organization: NASA

Producing Organization: INTERMETRICS, Inc.

Publication Date: 9/80


Ada in the MSOCC Environment: Future Directions

Abstract: This report contains recommendations about the applicability of Ada for developing software for NASA's Multi Satellite Operation Control Center (MSOCC). It is based on the findings expressed in an earlier report. This future directions report focuses on the future of Ada and what MSOCC should do to get ready for this new technology.

Publisher: Century Computing, Inc., 8101 Sandy Spring Road, Laurel, MD 20707

Sponsoring Organization: NASA - NASA Goddard Space Flight Center, Greenbelt, MD

Producing Organization: Century Computing, Inc.

Publication Date: 7/85


Evaluation of Ada in the MSOCC Environment

Abstract: This report contains the results of a study to evaluate the applicability of Ada for developing software for NASA's Multi Satellite Operations Control Center (MSOCC) at the Goddard Space Flight Center in Greenbelt, Maryland. The study was also intended to assess the development environment that supports the Ada language.

Publisher: Century Computing, Inc., 8101 Sandy Spring Road, Laurel, MD 20707

Sponsoring Organization: NASA - NASA Goddard Space Flight Center, Greenbelt, MD

Producing Organization: Century Computing, Inc.

Publication Date: 7/85


Ada Language System Specification, Volume 3

Abstract: This volume of the specification contains Appendices 90 through 110 dealing with KAPSE, ALS Symbolic Debugger, and Using the ALS.

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

Reference Number: CR-CP-0059-A00; CDRL Item B006; 1075-4.7

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Initial Thoughts on the Pebbleman Process

Abstract: This paper takes an initial look at a variety of issues related to the administrative, policy, and technical environment that will accompany the DoD Common Language with particular emphasis on the software development and maintenance tools. The document gives some thoughts concerning the process for determining the characteristics that the Common Language environment should have. The term "requirements" will be used to refer to the system of characteristics, goals, and constraints that will result from such a process.

Author: Fisher, David A. and Thomas A. Standish

Publisher: IDA Consultants

Publication Date: 1/79


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

Abstract: This is the final report on implementing the standards by the Software Organization Subgroup of the Software Development Standards and Ada Working Group (SDSAWG), Association for Computing Machinery (ACM), Special Interest Group on Ada (SIGAda).

Author: Gray, Lewis; et al.

Publisher: Association for Computing Machinery, Inc. Special Interest Group on Ada, Software Development Standards and Ada Working Group, Software Organization S

Producing Organization: ACM/SIGAda/SDSAWG

Publication Date: 8/90


Review of the Common APSE Interface Set (CAIS) as Viewed from the Ada Language System (ALS)

Abstract: Attached to this memorandum is a report which provides an investigation and evaluation of alternatives for integrating the common APSE interface set with the ALS. In examining the alternatives, weaknesses and strengths, the ALS and CAIS are delineated as well as a rough estimate of the amount of effort required to implement the alternatives.

Author: Thall, R. and Martin I. Wolfe

Publisher: CENTACS - U.S. Army CECOM/CENTACS, Ft. Monmouth, NJ

Reference Number: Memo No. 464-ST; DRSEL-TCS-ADA-3

Producing Organization: CENTACS - U.S. Army CECOM/CENTACS

Publication Date: 11/83


Program Manager's Guide to Ada

Abstract: This guide provides current information to help a Program Manager in making decisions relative to the use of Ada. It discusses pertinent Air Force and DoD policy, the effects of Ada on contractual documentation, and the steps that must be taken to apply Ada. This guide identifies benefits and inherent risks of using Ada, and Program Office initiatives needed to control risk. It cites factors that will affect programmer training, software cost/schedule estimation, design, and configuration management.

Author: Howe, R.G. et al

Publisher: MITRE Corporation, Burlington Road, Bedford, MA 01730

Reference Number: MTR-9588; ESD-TR-85-159

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

Producing Organization: MITRE - MITRE Corporation

Publication Date: 5/85


Package_Architects' Implementation: A Comparative Ada Benchmark

Abstract: This report empirically identifies implementation-defined system characteristics of an Ada compiler as accessed through packages STANDARD, SYSTEM, and CALENDAR. The program generates a report documenting machine and system dependent declarations, attributes, and predefined types relating to numeric precision and time duration. It runs in conjunction with host specific command language routines which instrument the program's operation. Also provided is the package PA_CALENDAR and the package specification VERIFY.

Publisher: Package_Architects, Inc.

Publication Date: 11/85


Very High Speed Integrated Circuits (VHSIC) Annual Report for 1988

Abstract: This report presents the accomplishments made during the eighth year of the DoD's VHSIC program. New technology achievements have been made and new VHSIC products have found their way into the defense industrial base market. Accomplishments in technology insertion, design tool development, device qualification and testing, submicron technology, lithography, radiation hardening, packaging, interoperability, and training are presented.

Publisher: USD(A) - Office of the Under Secretary of Defense for Acquisition, VHSIC Program Office

Publication Date: 12/88


United Kingdom Ada Study

Abstract: missing v.1 of the second copy. The aim of this report is to facilitate the introduction of the use of Ada into UK industry. The emphasis is on the design and specification of the Ada Programming Support Environment (APSE), including the Kernel APSE (KAPSE) and the minimum set of support tools - the Minimal APSE (MAPSE), and the design of the compiler.

Author: Barnes, John G.P.; et al.

Publisher: U.K. Department of Industry

Sponsoring Organization: U.K. Department of Industry

Producing Organization: misc. contractor teams

Publication Date: 7/81


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

Abstract: This volume is the third 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


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


Verification of Array, Record, and Pointer Operations in Pascal

Abstract: A practical method is presented for automating in a uniform way the verification of Pascal programs that operate on the standard Pascal data structures Array, Record, and Pointer. New assertion language primitives are introduced for describing computational effects of operations on these data structures. Axioms defining the semantics of the new primitives are given. Proof rules for standard Pascal operations on data structures are then defined using the extended assertion language. An axiomatic rule for the Pascal storage allocation operation, NEW, is also given.

Author: Luckham, David C. and Norihisa Suzuki

Publisher: Association for Computing Machinery

Sponsoring Organization: ARPA - Advanced Research Projects Agency

Publication Date: 10/79


Draft GKS Binding to ANSI Ada

Abstract: This document defines a proposed Graphical Kernel System (GKS) language binding for the interface of an applications program written in ANSI Ada. GKS provides a standard set of functions from which graphics applications programs may be written.

Publisher: Harris Corporation, Government Satellite Communications Division, P.O. Box 93000, Melbourne, FL 32901

Reference Number: X3H3/83-95

Sponsoring Organization: U.S. Air Force

Producing Organization: Harris Corporation

Publication Date: 10/83


On the Suitability of Ada for Artificial Intelligence Applications

Abstract: The report summarizes the results of an analysis of the suitability of Ada for AI applications. As Ada is expected to become a major programming language in the 1980s with widespread usage in both the military and commercial sectors, a reasonable question to be asked is whether Ada could benefit the efforts of AI system development of transfer. Focus is upon the language capabilities required to support AI paradigms and their realization in Ada.

Author: Schwartz, Richard L., and P.M. Melliar-Smith

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

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: SRI International

Publication Date: 7/80


DoD Weapon Systems Software Management Study [Appendix E, Bibliography]

Abstract: This appendix to the DoD Weapon Systems Management Study conducted by APL contains a bibliography of the relevant documents acquired and used throughout the course of the study and a brief discussion of an associated Software Library. The Library was established to support the study effort by providing easy access to necessary background material. The acquisition, processing, and circulation of the library documents are discussed along with the various computerized retrieval tools used to provide information about the documents.

Author: Park, J.M.

Publisher: Johns Hopkins University Applied Physics Laboratory

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

Sponsoring Organization: OASD

Producing Organization: Johns Hopkins University Applied Physics Laboratory

Publication Date: 6/75


Ada Language Maintenance and International Organization for the Standardization (ISO) Support (Volume 1 - Technical Proposal)

Abstract: This is a response to a request for proposal . It touts the ability of the responding organization to meet the proposal requirements.

Author: Wilson, Harold

Publisher: Christian Rovsing Advanced Systems, 2341 Jefferson Davis Highway, Suite 525, Arlington, VA 22204

Reference Number: ADA-ISO/8018/PRP/001

Sponsoring Organization: DSSW - Defense Supply Service - Washington

Publication Date: 11/83


Support for ISO Standardization of Ada (Technical Proposal)

Abstract: This is a response to a request for proposal for support of Ada language maintenance and International Organization for Standardization (ISO) support.

Publisher: INTERMETRICS, Inc., 733 Concord Avenue, Cambridge, MA 02138

Reference Number: P-7412

Sponsoring Organization: DSSW - Defense Supply Service - Washington

Publication Date: 11/83


The DoD Reply to the Ada Canvass Comments

Abstract: This is the responses to the full set of comments received in response to the ANSI standard Ada.

Publisher: Department of Defense

Publication Date: 12/81


Proposed Military Standard - Software Quality Assessment and Measurement (MIL-STD-SQAM)

Abstract: This proposed standard contains requirements for software quality assessment and measurement program for the development of mission-critical software. Requirements stated herein are for the evaluation of contractual compliance of the products and processes involved in the development of software.

Publisher: DoD Joint Logistics Commanders, Joint Policy Coordinating Group, Computer Software Management Subgroup

Reference Number: MIL-STD-SQAM

Publication Date: 10/82


Certified Compiler List (1984)

Publisher: GSA - General Services Administration, Federal Software Testing Center, 5203 Leesburg Pike, Suite 1100, Falls Church, VA 22041

Reference Number: OIT/FSTC-84/005

Publication Date: 9/84


The Ada to Silicon Project - Review FY82 Accomplishments and FY83 Objectives

Abstract: The project was to provide a programming methodology with Ada as a basis for silicon compilation - program structure-driven logic design. It was an early attempt at CAD.

Author: Davis, Alan; et al.

Publisher: University of Utah

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Publication Date: 6/82


Proposal for a Recommendation for a C.C.I.T.T. High Level Programming Language (Brown Document)

Abstract: This proposal is for a language bearing the name CHILL (CCITT High Level Language). It is described in a semi-formal fashion. It has been designed to enhance reliability by allowing for extensive compile-time checking; permit the generation of highly efficient object code; be flexible and powerful in order to cover the range of applications and to exploit various kinds of hardware; encourage modular and structured program development; and, be easy to learn and to use.

Publisher: H.L.L. Implementors Forum

Sponsoring Organization: CCITT

Publication Date: 9/79


WIS Implementation Study Report, Volume I: Main Report

Abstract: This report is the result of a workshop conducted to develop the functional specifications and estimates of implementation effort for foundation building blocks for Command and Control Systems in WIS

Author: Probert, Thomas H. (project leader)

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

Reference Number: IDA Record Document D51

Sponsoring Organization: WIS

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 10/83


The DoD Software Engineering Institute: An Assessment of Alternatives

Abstract: This report was prepared in response to a request to provide technical support to a working group tasked with the resolution of the definitional issues associated with the proposed SEI. It examines and assesses all possible alternative institutional forms for the SEI and determines the extent to which these alternatives could satisfy the functional requirements of the SEI.

Author: Slusarczuk, Marko M.G., Robert J. Almassy, and Stanley Dubroff

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

Reference Number: IDA Record Document D-58

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

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 3/84


Record of Findings and Recommendations - Software Engineering Institute Study Panel

Abstract: This report contains the findings of the Panel, which concludes that the establishment of a SEI is essential to achieving STARS goals and it must be established with the greatest possible speed.

Author: Eastman, Neil (panel chairman)

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

Reference Number: IDA Record Document D-49

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

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 12/83


Ada Target Machine Operating System (ATMOS) Review Final Report

Abstract: This report addresses an aspect of Ada target machine operating system (ATMOS) standardization in the important target machine environment. A concept for standardization of military operating systems based on application domains is included at Appendix I as background information to the results presented in this report.

Author: Ashany, Ron, Zary Segall, and Dan Siewiorek

Publisher: AIRMICS - U.S. Army Institute for Research in Mangement Information and Computer Science

Sponsoring Organization: AIRMICS

Publication Date: 6/84


An Evaluation of the Needs and Requirements for the Establishment of an Ada Liaison Organization

Abstract: This report examines the needs of the Ada Joint Program Office (AJPO) in the establishment of an organization [to be called the Ada Liaison Organization (ALO)] for the "sustenance" of the Ada language following its acceptance as a National standard and during the early stages of implementation, expansion of applicability, and development of supporting systems.

Author: Jorstad, Norman D., John A. N. Lee, and Samuel J. Lomonaco

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

Reference Number: IDA Paper P-1681; AD-A 122 286

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 9/82


Formal Definition of Ada: The Storagemodel

Abstract: This report contains a formal model of the Ada storage-concept. The definition is worked out in "The Vienna Development Method" and the meta-language used is the so-called META-4. This meta-language includes imperative constructs on an abstract state, and part of this abstract state "holds" the Ada storage.

Author: Lovengreen, Hans Henrik; Jorgen Bundgaard; and Jan Storbank Pedersen

Publisher: Technical University of Denmark, Departmrnt of Computer Science

Publication Date: 2/80


PDL/Ada - PDL Equivalencies: A Side-By-Side Comparison of PDL/Ada and PDL

Abstract: The purpose of this document is to present the PDL/Ada equivalents for the various PDL constructs. The presentation is in the form of a side-by-side comparison of features in the two languages and assumes a prior knowledge of PDL.. In all cases, the major criterion has been to make PDL/Ada conform to Ada so that design syntax can be checked by a standard Ada translator.

Author: Waugh, D.W.

Publisher: IBM - Federal Systems Division Headquarters, Software Technology Department, Bethesda, MD

Producing Organization: IBM

Publication Date: 1/81


An Attribute Grammar for Ada

Author: Drossopoulou, S. et al.

Publisher: ACM - Association for Computing Machinery

Sponsoring Organization: U.S. Air Force

Producing Organization: ACM - Association for Computing Machinery

Publication Date: 5/82


The Ada Atom System Environment

Abstract: The Ada atom system allows a team of programmers to work in conjunction with each other in implementing systems written in Ada. The system is presented in a strict top-down fashion, and features interactive dialogue with the project team members.

Author: Levy, Arnold J.

Publisher: Application Software, Standard House, 67 Simmonds Street, Johannesburg, South Africa

Publication Date: 9/81


Ada-Europe Guidelines for Ada Compiler Specification and Selection

Abstract: The Ada language reference manual defines the language rather than indicating a list of the desirable properties of an implementation of the language. The purpose of this report is to list the characteristics of an implementation that should be taken into account in the specification or selection of an Ada compiler.

Author: Nissen, J.C.D.; et al.

Publisher: NPL - National Physical Laboratory, Teddington, Middlesex, TW11 OLW, UK

Reference Number: NPL Report DITC 10/82; ISSN 0262-5369

Producing Organization: NPL - National Physical Laboratory

Publication Date: 10/82


Ada Technical Reports Directory - Industrial Version

Abstract: Bibliography of Ada technical reports, with abstracts, available from a commercial clearinghouse.

Publisher: Research Access, Inc., 3400 Forbes Avenue, Suite 302, Pittsburgh, PA 14213

Publication Date: 9/92


Databases Technical Reports Directory - Industrial Version

Abstract: Bibliography of reports, with abstracts, about databases from several universities, available from a commercial clearinghouse.

Publisher: Research Access, Inc., 3400 Forbes Avenue, Suite 302, Pittsburgh, PA 15213

Publication Date: 9/92


Compilers and Languages Technical Reports Directory - Industrial Version

Abstract: Bibliography of reports, with abstracts, available from various universities, from a commercial clearinghouse.

Publisher: Research Access, Inc., 3400 Forbes Avenue, Suite 302, Pittsburgh, PA 15213

Publication Date: 9/92


Ada-Plus - An Ada Development System for MIL-STD-1750A Embedded Microcomputers

Abstract: This is a commercial product brochure and guide to an environment for Ada consisting of a powerful set of tools which are developed from a fully validated ANSI Ada compiler for VAX/VMS.

Publisher: Systems Designers Software, Inc.

Publication Date: 5/86


Concepts for Research in an Ada Environment

Abstract: This is a collection of White Papers, an IR&D report, and a statement of qualifications, all from the Software Engineering Operation staff at Ford.

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

Publication Date: 4/82


Ford Aerospace Ada Technology Program

Abstract: Bound briefing on Ford's plans and capabilities in this technology area.

Author: Sadler, Mark

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

Publication Date: 4/82


Reference Manual for Design in Ada

Abstract: ***Ford Company Proprietary*** This reference manual serves both as a tutorial introduction to the design of software systems using the Ada Design Language (ADL), and as the defining document for the tools which can be used to process ADL designs.

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

Reference Number: V 1.18

Publication Date: 3/82


Ada Software Development

Abstract: Bound briefing from GE on its Ada approach and work.

Author: Kruesi, Betty; et al.

Publisher: GE - General Electric, Space Division

Producing Organization: GE

Publication Date: 11/82


Comments on the Validation Service

Abstract: The European study on Ada compiler validation has revealed a number of problems which need to be addressed in order to plan a European service in any detail. This note collects together these points in the hope that DoD, SofTech or Mitre can respond to them. Cover sheet is a memo to Tom Probert of MITRE from one of the authors.

Author: Wichmann, B. A. and M. Woodger

Publisher: NPL - National Physical Laboratory, Teddington, Middlesex, TW11 OLW, UK

Reference Number: WP1/NPL/17

Producing Organization: NPL - National Physical Laboratory

Publication Date: 4/82


Navy Ada Program Brief for Ada Joint Program Office

Abstract: Describes the Navy program for development of an Ada capability, including program scope; issues and concerns; assumptions; the program itself; the program plan; budget and schedule; and, activities regarding the use of Ada as a PDL.

Author: Converse, Robert A.

Publisher: U.S. Navy

Publication Date: 8/82


Requirements for an Ada Programming Support Environment: Rationale for STONEMAN

Abstract: A paper presented at COMPSAC in Chicago, in October 1980. The full advantage of the new DoD programming language, Ada, will be realized only when a complete and sophisticated programming support environment is provided. A detailed requirements definition (STONEMAN) for such a support environment has been evolved through extensive cooperation with the DoD, software contracting and computer science communities. This paper summarizes the STONEMAN, providing motivation for the requirements and clarifies some underlying concepts.

Author: Buxton, John N. and Larry E. Druffel

Publisher: Science Applications, Inc., 1911 N. Fort Myer Drive, Suite 1200, Arlington, VA 22209

Producing Organization: Science Applications, Inc. and DARPA

Publication Date: 10/80


Green Programming Language Preliminary Reference Manual (November Interim Draft)

Abstract: The Preliminary Reference Manual and the accompanying notes provide an interim revised definition of the Green language. In no way should they be considered as either a complete or a final language specification. These documents are provided for limited distribution. They should enable readers to familiarize themselves with the preliminary Green definition (February 15, 1978) to see the direction in which the language is evolving, and thus to give us feedback. Because of the interim nature of these documents, the reader will have to await publication of the final specification of the Green language to make a definite analysis of the language. The final language specification will be provided on March 15, 1979. These interim documents should not be referenced in any publication.

Publisher: Honeywell, Inc.; Cii Honeywell Bull

Publication Date: 11/78


Misc. American National Standards Committee Papers

Abstract: Incldes the Programming Languages Subcommittee mailing/membership list; call for meeting; voting summary; proposed agenda; memos and minutes; and draft papers.

Publisher: American National Standards Institute

Publication Date: 1/82


Some Observations Concerning Existing Software Environments

Abstract: This document contains the recommendations of a visiting German scientist who has spent a year with the DoD High Order Languages Working Group (HOLWG) studying the software tool and programming environment issues associated with the introduction of the new common high order language Ada. It summarizes the author's personal observations in coordinating the writing of PEBBLEMAN, and going beyond PEBBLEMAN to express the conclusions the author has drawn from the experience.

Author: Elzer, Peter F.

Publisher: DORNIER Systems GmbH

Sponsoring Organization: Federal Republic of Germany

Producing Organization: DORNIER Systems GmbH

Publication Date: 5/79


RADC Ada Program

Abstract: AJPO Quarterly Review briefing sheets for 4 August 1982. Includes program overview, effort reviews of schedules and status, funding profile, problem areas, and PDL activities.

Author: Roberts, D.

Publisher: RADC - U.S. Air Force, Rome Air Development Center, Griffiss AFB, NY

Producing Organization: RADC - Rome Air Development Center

Publication Date: 8/82


Ada and the Avionics Laboratory

Abstract: Briefing sheets from a review of Ada programs at the Air Force Avionics Lab.

Author: Caro, I.

Publisher: AFWAL - U.S. Air Force Avionics Laboratory

Producing Organization: AFWAL - U.S. Air Force Avionics Laboratory

Publication Date: 8/82


Diana Maintenance and Definition: Pretty Print Design Review

Abstract: Briefing sheets from a presentation, mainly hand lettered, on progress on a contract.

Author: Evans, Art and Ken Butler

Publisher: Tartan Laboratories, Pittsburgh, PA

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: Tartan Laboratories

Publication Date: 2/83


(Draft Revised) Diana Reference Manual

Abstract: This document is a draft revision of the Diana Reference Manual, an introduction to, and reference manual for, Diana, a Descriptive Intermediate Attributed Notation for Ada. Diana is an intermediate from of Ada programs. It is especially suitable for communication between the Front and Back Ends of an Ada compiler, but it is also suitable for use with other tools in an Ada programming environment. Diana resulted from a merger of the best properties of two earlier similar intermediate forms: TCOL and AIDA.

Author: Butler, Kenneth J., G. Goos, and W.A. Wulf

Publisher: Tartan Laboratories

Sponsoring Organization: Ada Joint Program Office

Producing Organization: Tartan Laboratories

Publication Date: 6/82


Diana Reference Manual

Abstract: This document describes Diana, a Descriptive Intermediate Attributed Notation for Ada, being both an introduction to, and reference manual for it. Diana is an intermediate from of Ada programs. Although the initial uses of this form were for communication between the Front and Back Ends of an Ada compiler, it is also intended to be suitable for use with other tools in an Ada programming environment. Diana resulted from a merger of the best properties of two earlier similar intermediate forms: TCOL and AIDA.

Author: Evans, Arthur, Kenneth J. Butler, G. Goos, and W.A. Wulf

Publisher: Tartan Laboratories

Reference Number: TL #: 83-4

Sponsoring Organization: Ada Joint Program Office

Producing Organization: Tartan Laboratories

Publication Date: 2/83


A Comparison of Programming Languages: Ada, Praxis, Pascal, C

Abstract: In this document, four high order languages (HOLs) are examined and features compared, with evaluation of the ability of each to meet the goals of systems programming. A major purpose of this discussion is to introduce Praxis, a new language, and compare it with existing languages.

Author: Evans, Arthur

Publisher: BBN - Bolt Beranek and Newman Inc., 10 Moulton Street, Cambridge, MA 02238

Reference Number: Report no. 4634

Sponsoring Organization: LLNL - Univ. of California, Lawrence Livermore National Laboratory

Producing Organization: BBN - Bolt Beranek and Newman Inc.

Publication Date: 4/81


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

Abstract: This document contains the corrected pages for the Reference Manual for the Ada Programming Language.

Publisher: DoD

Publication Date: 7/80


Ada Syntax Chart (as revised and documented in the Reference Manual for the Ada Programming Language)

Abstract: *documented: v. 16, no. 9, Sept. 1981 / Reference Manual for the Ada Programming Language published in July 1980. The chart is transcribed from a chart automatically produced by the MetaWare Translator Writing System from an LALR (1) Ada grammar.

Author: DeRemer, Frank, Tom Pennello, and W.M. McKeeman

Publisher: *? Department of Defense

Publication Date: 9/81


Appendix B: Survey of Navy Computer Software Development Problems

Abstract: In response to a requirement by the Software Technology R&D Panel of the Navy Laboratory Computing Committee, a survey was conducted of several previous and current computer software development projects in a variety of Navy application areas. The objective was to identify types of development problems that affected project performance. In this report, summary descriptions are given of the projects considered in the survey and problems encountered in their development. An evaluation is given as to the commonality of problems across application areas and the relative significance of the types of problems that were identified.

Publisher: CACI - CACI, Inc., 1815 Noth Fort Myer Drive, Arlington, VA

Sponsoring Organization: ONR - Office of Naval Research, Washington, DC 22217

Producing Organization: CACI - CACI, Inc.

Publication Date: 4/76


Red Language Design Rationale

Abstract: This document provides a rationale for the main design decisions in the Red Language. In contrast to the Language Reference Manual, which describes what the language facilities are, this report explains why these features are present and how they are used. Particular attention is paid to design alternatives for the various language facilities, and reasons are supplied for the acceptance or rejection of the alternative approaches. Prgramming examples of various sizes illustrate the usage of the Red language, and an appendix to this document contains a set of programs, representative of embedded applications, whose specifications were supplied by DoD.

Author: Brosgol, Benjamin, et al.

Publisher: INTERMETRICS, Inc.

Publication Date: 3/79


Configuration Management System

Abstract: ***Company Proprietary*** This paper describes the Configuration Management System (CMS) IR&D project which enforces the use of status, measurement and change documentation and provides a high degree of automation for the tedious, redundant tasks of processing paperwork, and tracking of changes and approvals associated with the configuration management effort.

Author: Zucker, Sandra

Publisher: General Electric Company, Valley Forge Technical Support Organization, P.O. Box 8555 - M4618, Philadelphia, PA 19101

Publication Date: 3/82


Demonstration of ROLM Corporation's Ada Work Center

Abstract: ***FOUO*** The ROLM Ada Work Center is an integrated system of hardware and software which supports programming activities in the Ada language. It was demonstrated to the Air Force on 20-21 January 1983. The purpose of this report is to present answers to the Technical Questions which were asked of ROLM, and to briefly describe those areas of the Ada Work Center which were demonstrated.

Author: Castor, Virginia L.

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

Publication Date: 2/83


A Proposal for a Retargetable Ada Code Development Suite

Abstract: This paper describes a high level language compiler that can produce time-critical code, and a project designed to produce the compiler within a reasonable time frame, 2.5 years, and within the constraints of a practical budget. It invites DoD participation in the project and describes the benefits that will accrue to those that become involved.

Publisher: RCA, Advanced Technology Laboratories, Software Technology Laboratory, Camden, NJ 08102

Producing Organization: RCA

Publication Date: 3/83


Ada Style Guide

Abstract: This is the Draft Draft of the first Ada style guide. It is an introduction to the use of Ada. Its goal is to provide a collection of programming concepts and techniques which will help in the development of understandable and portable software. It is not an introduction to Ada as a programming language. For that, consult the Ada Reference Manual and any of the available texts on Ada.

Publisher: ?

Publication Date: 1/82


Unified Ada Language Program Development

Abstract: ***Company Proprietary*** This project produced tools to support a development system for Ada programs that could also support other languages. The major tool created was a Configuration Management System (CMS) utility. A special set of programs were developed to help the Ada user create standard formatted software units.

Author: Zucker, Sandra

Publisher: General Electric, Space Division

Reference Number: 82SDS026

Producing Organization: GE - General Electric

Publication Date: 11/82


Experience and Capabilities of the Eglin Missile Systems Operations of General Research Corporation

Abstract: As the title states, a description of a company unit for proposal purposes. Includes a memorandum on the development of an Ada tool for testing and validating full or partial Ada implementations.

Publisher: GRC - General Research Corporation, Southern Division, 2018-C Lewis Turner Boulevard, Fort Walton Beach, FL 32548

Producing Organization: GRC - General Research Corporation

Publication Date: 1/82


Statement of Certification for theDigital Equipment Corpotation Implementation of the Ada Programming Language (Cover title: Statement of Certification Digital Equipment Corporation)

Abstract: Presentation of DEC's VAX Ada for formal validation by the AVO.

Publisher: Digital Equipment Corporation, Technical Languages and Environments, 110 Split Brook Road, ZKO2/3-N30, Nashua, NH 03062

Producing Organization: DEC - Digital Equipment Corporation

Publication Date: 7/84


Tutorial for the NATO Ada Programming Support Environment (APSE)

Abstract: This paper presents a comprehensive introductory guide illustrated with numerous examples on using the NATO Special Working Group APSE.

Author: Knapper, Robert J., Richard P. Morton, and Clyde G. Roby

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

Reference Number: IDA Paper P-2905

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 1/94


Current Proposals of the Language Environment Subgroup Brussels Meeting, 27th to 29th November, 1978

Abstract: This report is a record of the current proposals produced by the Subgroup.

Author: Gilbert, R., ed.

Publisher: LTPL - European Group

Reference Number: LTPL - E /LS790802

Publication Date: 8/79


Ada Style Guide (Version 1.1)

Abstract: Ada is a programming language of considerable expressive power. The Ada Language Reference Manual provides a thorough definition of the language. However, it does not offer sufficient guidance on the appropriate use of Ada's powerful features. For this reason, The Goddard Space Flight Center's Ada User's Group has produced this style guide which addresses such "program style" issues.

Author: Seidewitz, Edwin V.; et al.

Publisher: NASA Goddard Space Flight Center, Systems Development Branch, Code 552, Greenbelt, MD 20771

Reference Number: SEL-87-002

Sponsoring Organization: NASA/GSFC - NASA Goddard Space Flight Center

Producing Organization: SEL - Software Engineering Laboratory

Publication Date: 5/87


Functional Specifications for a Federal Information Processing Standard Data Dictionary System

Abstract: This interim report contains Functional Specifications for the basic functions that data dictionary software must perform to satisfy Federal agency requirements. The functionality specified will be incorporated into a planned FIPS Data Dictionary System (DDS). The complete FIPS DDS also will contain additional specifications for such things as the user interface.

Author: Konig, Patricia A., Alan Goldfine, and Judith J. Newton (eds)

Publisher: U.S. Department of Commerce, National Bureau of Standards, Division 642, Tech., A265, Washington, DC 20234

Reference Number: NBSIR 82-2619

Producing Organization: NBS - National Bureau of Standards

Publication Date: 1/83


Rationale for the Design of the Ada Programming Language

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

Publisher: Honeywell and Alsys

Sponsoring Organization: DoD

Producing Organization: Honeywell and Alsys

Publication Date: 1/86


The Joy of TENEX and TOPS-20: Part One

Abstract: This is a basic manual discussing the operation of the ARPANET, the TENEX and TOPS-20 operating systems, and the mail handling programs SNDMSG, MSG, Hermes, and MAILSTAT.

Author: Holg, Chloe

Publisher: USC - University of Southern California, Information Sciences Institute, 4676 Admiralty Way, Marina del Rey, CA 90291

Reference Number: ISI/TM-79-15

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: USC - USC, Information Sciences Institute

Publication Date: 3/79


Certified Compiler List (1983)

Abstract: The Certified Compiler List (CCL) identifies those COBOL, FORTRAN, BASIC, and Ada high level programming processors that have been validated or scheduled for validation by the Federal Government as of the date of this publication.

Publisher: Federal Software Testing Center, 5203 Leesburg Pike, Suite 1100, Falls Church, VA 22041

Reference Number: OSD/FSTC-83/006

Producing Organization: GSA - GSA, Federal Software Testing Center

Publication Date: 11/83


Certified Compiler List (1985)

Abstract: The Certified Compiler List (CCL) identifies those COBOL, FORTRAN, BASIC , Ada, and Pascal high level programming language processors that have been validated or scheduled for validation by the Federal Government as of the date of this publication.

Publisher: Federal Software Testing Center, Suite 1100, 5203 Leesburg Pike, Falls Church, VA 22041

Reference Number: OIT/FSMSC-86/001

Producing Organization: GSA - GSA, Federal Software Testing Center

Publication Date: 10/85


A Candidate Strategy for the Software Engineering Institute

Abstract: The establishment of a Software Engineering Institute (SEI) is proposed as a part of the DoD STARS Program. This plan describes the concept and mission of the SEI and discusses proposed operational characteristics and organizational and management alternatives. It represents an extension of the work initiated by the STARS Workshop, February 7-9, 1983.

Publisher: DoD STARS Program

Producing Organization: DoD STARS Joint Program Office

Publication Date: 3/83


Report of the DoD-University Forum Working Group on Engineering and Science Education

Abstract: The capability of universities to educate engineers and scientists of the quality and in the quantity needed to secure out national economy and security is declining. This report lists twelve recommendations for off-setting the decline.

Author: Seamans, Robert C., Jr. and Lawrence J. Korb

Publisher: DoD/OUSD(R&E) - Office of the Under Secretary of Defense for Research and Engineering, Washington, DC 20301

Publication Date: 7/83


Challenge: EMACS in Two Pages

Abstract: List of command-key combinations. Accompanied by an additional 50-page document giving a fuller listing with annotations,

Author: Walker, Jan

Publisher: BBN - Bolt, Beranek, and Neuman

Producing Organization: BBN

Publication Date: 1/82


Architect's Manual - ICAM Definition Method IDEFo

Abstract: IDEF is a systems requirements definition methodology which provides training for Architecture Builders, Information Model Builders and User Model Builders. This manual includes background and description of structured techniques and the implementation of these techniques for structured design, structured programming and structural testing.

Author: Ross, D.T. et al

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

Sponsoring Organization: U.S. Air Force, ICAM Program Office

Producing Organization: SofTech, Inc.

Publication Date: 10/78


Ada Methodology Questionnaire Summary

Abstract: The intent of the survey was to gather conceptual, technical, and usage data of a general nature and, more specifically, to relate the data to potential methodology usage in an Ada development environment, wherever possible. The intent was not to describe any particular methodology in detail. The results of the survey are presented here in a form that captures the factual results and suggests a first level of generalization of the state of the art in software development methodology.

Author: Porcella, Maria, Peter Freeman, and Anthony I. Wasserman

Publisher: University of California at Irvine, Dept. of Information and Computer Science, Irvine, CA 92717

Producing Organization: USC - Irvine

Publication Date: 11/82


A Study of the Feasibility of Duplicating JAMPS Applications Software in the Ada Programming Language

Abstract: This document is a feasibility study of reimplementing the JAMPS application software using the Ada programming language. Existing JAMPS software is written in "C" language; reimplementation is under consideration to promote the reusability of the JAMPS software and decrease JAMPS life cycle costs. Ada software development tools for the MC68000 now exist in rudimentary form, but, due to the inadequacy of run time environments and the lack of validated compilers, these tools are inadequate for duplicating JAMPS software at this time. However, the tools are expected to improve sufficiently that reimplementation in Ada might reasonably begin in FY85. Cost estimates result in a $4.5M pricetag; manpower estimates and schedules are also included.

Author: Howe, R.G.

Publisher: MITRE Corporation, Burlington Road, Bedford, MA 01730

Reference Number: MTR-9167; ESD-TR-84-160

Sponsoring Organization: ESD - U.S. Air Force, Electronic Systems Division, Hanscom AFB, MA 01731

Producing Organization: MITRE Corporation

Publication Date: 4/84


Formal SEMANOL Specification of Ada

Abstract: This report summarizes the performance and results of a contractual effort to develop a formal operational specification of the DoD programming language Ada. The formalism used was that of the Semantics Oriented Language, SEMANOL. The design produced essentially covers the entire Ada language, ignoring only the low-level semantics of implementation dependencies.

Author: Berning, Paul T.

Publisher: TRW - TRW Defense and Space Systems Group, One Space Park, Redondo Beach, CA 90278

Reference Number: RADC-TR-89-293

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

Producing Organization: TRW - TRW Defense and Space Systems Group

Publication Date: 9/80


System Specification for the Ada Integrated Environment (Cover Title: Ada Integrated Environment System Specification)

Abstract: This draft specification establishes the performance, design, development, and testing requirements for the Ada Integrated Environment (AIE) for the contract with RADC. This effort will result in the design, development, and implementation of the Minimal Ada Programming Support Environment (MAPSE), which includes a state-of-the-art Ada compiler and the support tools and aids necessary for the development of Ada software. Procedures for rehosting/retargeting the entire MAPSE are required to be developed under this effort.

Publisher: CSC - Computer Sciences Corporation

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

Producing Organization: CSC - Computer Sciences Corporation

Publication Date: 3/81


Validation in Ada Programming Support Environments

Abstract: This report does not itself provide any details of specific validation procedures or mechanisms, but rather investigates the processes for Ada Programming Support Environments (APSEs) implementation in terms of Ada Programming Language, and uses those specifications to suggest a mechanism for validation suite development.

Author: Kafura, Dennis; et al.

Publisher: Virginia Polytechnic Institute and State University, Computer Science Department, Blacksburg, VA 24061

Reference Number: CSIE-82-12

Sponsoring Organization: ONR - Office of Naval Research, 800 N. Quincy Street, Arlington, VA 22217

Producing Organization: Virginia Polytechnic Institute and State University

Publication Date: 12/82


An Approach for Implementing a Microcomputer Based Report Origination System in the Ada Programming Language

Abstract: This thesis examines the use of an inexpensive commercial microcomputer for the preparation of Naval Reporting Structure Operational Reports. These highly formatted reports provide critical unit information used by the National Command Authority and the Joint Chiefs of Staff in assessing the nation's defense posture. Since these reports are processed by a computer, correct formatting and data entry are essential to preserve the timeliness and accuracy of the information. The reports system requirements are investigated from the perspective of the system operator, the message drafter and the message releasing authority. Interfaces are developed which provide for system application to different hardware configurations. A subset of the Ada language is used to allow structured programming and data abstraction techniques.

Author: Critz, Michael Richard

Publisher: Naval Postgraduate School, Monterey, CA 93940

Reference Number: AD A128 028

Producing Organization: NPG - Naval Postrgraduate School

Publication Date: 3/83


Brief History of Ada Related ISO Activities Leading to the Formation of ISO/TC 97/SC 5/WG 14

Abstract: This is compilation of documents and memoranda tracing the journey of the Ada Programming Language through the ISO process of becoming a Standard through establishment of Work Group 14 - Ada.

Publisher: ?

Publication Date: 4/84


Military Standard: Configuration Management Practices for Systems, Equipment, Munitions, and Computer Programs, Notice 2 (MIL-STD-483)

Abstract: This provides new pages to replace revised and superceded pages of the basic standard.

Publisher: U.S. Air Force Systems Command, Andrews AFB, MD 20334

Reference Number: MIL-STD-483 (USAF), Notice 2

Publication Date: 3/79


Report to the HOLWG

Abstract: The objectives of the language evaluation coordinating committee are to evaluate, summarize, and structure the findings of the language evaluation reports. This is the essentials of these findings. This reort to the High Order Language Working Group was one of the inputs considered in creating Ada.

Author: Amoroso, Serafino; et al.

Publisher: Language Evaluation Coordinating Committee

Sponsoring Organization: HOLWG

Publication Date: 1/77


United States Air Force Ada Implementation Plan

Abstract: This plan implements the policy stated in the AF/CVA letter "Air Force Policy on Programming Languages," 9 November 1988. It facilitates the transition from multiple languages and support environment to Ada and its support environment; it is designed to enhance implementation of Ada into the software acquisition and support process; and it identifies the policies, organizational responsibilities, and technical activities necessary for the implementation of Ada in the USAF.

Publisher: U.S. Air Force

Publication Date: 1/89


Implementation of the Ada Programming Language

Abstract: This letter amplifies Army policy and guidelines for implementing the Ada programming language as required by DoD Directives 3405.1 and 3405.2. It supersedes "Army Implementation of the Ada Programming Language", HQDA Letter 25-88-5, 21 June 1988 (See 10408). NOTE: These are flawed photocopies of every other page of the letter.

Publisher: U.S. Army

Reference Number: HQDA- LTR 25-90-1

Publication Date: 7/90


Preliminary Ada Reference Model

Abstract: This report describes the Ada 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 offered by classical languages such as Pascal as well as 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, whereby data, types, and subprograms can be packaged. It treats modularity in the physical sense as well, with a facility to support separate compilation.

Author: Ichbiah, Jean D.; et al.

Publisher: Association of Computing Machinery

Sponsoring Organization: HOLWG

Publication Date: 6/79


Galileo Software Development Language Selection Study and Recommendation Summary

Abstract: Galileo has been considering the use of a Higher Order Language, specifically HAL/S for Project Software Development. The purpose of this memo is to summarize the pros and cons related to Galileo use of HAL/S. This is a collection of memos on the topic.

Author: Ausman, N.E. and R.E. Loesh

Publisher: Galileo MO&E, Jet Propulsion Laboratory

Reference Number: GMOE-78-20

Sponsoring Organization: NASA

Producing Organization: JPL - Jet Propulsion Laboratory

Publication Date: 6/78


KAPSE Interface Team Public Report, Volume V

Abstract: This report gives the minutes of the April 1984, July 1984, and October 1984 KAPSE Interface Team meetings. The report also includes the details of the Second CAIS Review Meeting, held in August 1984.

Author: Oberndorf, Patricia A.; et al.

Publisher: NOSC - Naval Ocean Systems Center, San Diego, CA 92152

Reference Number: NOSC TD 552; Agency Accession #: DN288 534

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: NOSC - Naval Ocean Sytems Center, San Diego, CA 92152

Publication Date: 8/85


Evaluation and Validation (E&V) Team Public Report, Volume 1

Abstract: The initial activities and accomplishments of the Team are reported. The purpose of the E&V Task is to develop the techniques and tools which will provide a capability to perform assessment of Ada Programming Support Environments (APSEs) and to determine conformance of APSEs to the Common APSE Interface Set (CAIS).

Author: Castor, Virginia L.; et al.

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

Reference Number: AFWAL-TR-85-1016

Sponsoring Organization: AJPO - Ada Joint Program Office

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

Publication Date: 11/84


IBM System/360 Principles of Operation (Cover title: IBM/360 Principles of Operation)

Abstract: This publication is the machine reference manual for th IBM System/360.

Publisher: IBM, Systems Development Division, Dept. B98, P.O. Box 390, Poughkeepsie, NY 12602

Reference Number: GA22-6821-8

Producing Organization: IBM

Publication Date: 11/70


Common Ada Missile Packages

Author: McNicholl, Daniel G. et al

Publisher: McDonnell-Douglas Astronautics Company

Producing Organization: McDonnell-Douglas Astronautics Company

Publication Date: 6/85


ADASEM: Static Semantics for Ada

Abstract: This is a partial listing of the NYU Ada/Ed Compiler.

Author: Schonberg, Edmond, Bernard Banner, and Brian Siritzky

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

Sponsoring Organization: AJPO - Ada Joint Project Office

Producing Organization: NYU

Publication Date: 4/86


Software Engineering on Symbolics Computers

Abstract: This material emphasizes the high-performance capabilities of Symbolics computers and by and large takes the perspective of program managers, who specify and track projects, and software engineering department managers, who provide computing resources for many projects under development.

Publisher: Symbolics, Inc., Cambridge, MA

Reference Number: 998045

Publication Date: 3/86


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


Syntax Directed Translator Program Specification

Abstract: This Program Specification for the LOGNET Prototype Development was written to describe the program design in sufficient detail to permit program production by the programmer. The syntax driven translator is used as a translation tool to facilitate building the tables that drive the LOGNET system.

Author: Gouw, R.; et al.

Publisher: TRW Defense Systems Group, Skyline One, 5205 Leesburg Pike, Falls Church, VA 22041

Reference Number: 33737-W570-UX-02

Sponsoring Organization: DCA - Defense Communications Agency

Producing Organization: TRW - TRW Defense Systems Group

Publication Date: 12/83


Survey of Ada-Based PDLs

Abstract: The purpose of this survey was to identify and investigate the current set of Ada-based PDLs, updating an earlier Naval Avionics Center survey conducted in 1982. It also provides the foundation for an Ada-based PDL evaluation and selection procedure that is being developed by the STARS Methodology Project. One copy has the offical cover and statedment that it is a limited distribution item.

Publisher: Computer Technology Associates, Inc., 7927 Jones Branch Drive, Suite 600W, McLean, VA 22102

Reference Number: TP-598

Sponsoring Organization: NAC - Naval Avionics Center, 21st Street and Arlington Avenue, Indianapolis, IN 46218

Producing Organization: Computer Technology Assoc., Inc./ Advanced Software Methods, Inc

Publication Date: 1/85


Proposal for WIS Systems Development and Maintenance Environment (SDME), Volume 1: Technical Proposal

Abstract: This is a response to an RFP requesting solutions to the need for an integrated, evolutionary environment to support the development and maintenance of systems within the World Wide Military Command and Control System (WWMCCS) Information System (WIS).

Publisher: GTE Government Systems, Strategic Systems Division, 1 Federal Street, Billerica, MA 01821

Reference Number: 102-1

Sponsoring Organization: ESD - U.S. Air Force, Electronic Systems Division, Anscom AFB, MA 01731

Producing Organization: GTE - GTE Government Systems

Publication Date: 8/84


SAIC-Developed Building Block Specifications

Abstract: Briefing consisting of code for various Ada utilities.

Author: Cymbalski, Bob

Publisher: SAIC - Science Applications International Corporation, 311 Park Place Boulevard, Suite 360, Clearwater, FL 33519

Producing Organization: SAIC

Publication Date: 3/87


Verification Assessment Study Final Report, Volume I: Overview, Conclusions, and Future Directions

Abstract: The main goal of this effort was a technology interchange among the developers of four established systems. The systems investigated were Affirm by GE, FDM by SDC, Gypsy by the U. of Texas at Austin, and Enhanced HDM by SRI. There was some comparative work on examples, but the main idea was for the developers to learn the details of each other's system as a basis for future development.

Author: Kemmerer, Richard A.

Publisher: University of California (Santa Barbara), Dept. of Comp. Sci.

Sponsoring Organization: National Computer Security Center, Office Of Research and Dev.

Producing Organization: University of California (Santa Barbara), Dept. of Comp. Sci.

Publication Date: 3/86


Technical Report on Tools Designed by Texas Instruments: Forms Generator, Spelling Checker, Style Checker, Virtual Terminal

Abstract: This is the final technical report for a contract on building Ada tools for the WIS program.

Publisher: Texas Instruments, Inc., Equipment Group - ACSL, P.O. Box 801, M.S. 8007, McKinney, TX 75069

Sponsoring Organization: NOSC - Naval Ocean Systems Center, San Diego, CA 92152

Producing Organization: TI - Texas Instruments, Inc.

Publication Date: 4/85


Rehosting the Common APSE (Ada Programming Support Environment) Interface Set (CAIS)

Abstract: CAIS is a set of Ada packages that provides standardized calls to host-specific system services. The objective of this study was to evaluate the CAIS specification for implicit host dependencies that could affect tool portability.

Author: Reagan, Tana; et al.

Publisher: MITRE Corporation, Washington C3I Division, 7525 Colshire Drive, McLean, VA 22101-3481

Reference Number: MTR-86W00198

Sponsoring Organization: U.S. Air Force

Producing Organization: MITRE

Publication Date: 1/87


Selection and Use of General-Purpose Programming Languages, Volume 2: Program Examples

Abstract: This study presents a survey of selection factors for the major general-purpose languages: Ada, BASIC, C, COBOL, FORTRAN, Pascal, and PL/I. The factors covered include not only the logical operations within each language, but also the advantages and disadvantages stemming from the current computing environment. The criteria associated with the application and the user's facilities are explained. Finally, there is a set of program examples, which is this volume, to illustrate the features of the various languages.

Author: Cugini, John V.

Publisher: GPO - U.S. Government Printing Office, Washington, DC 20402

Reference Number: NBS Special Publication 500-117, Volume 2

Producing Organization: NBS - National Bureau of Standards

Publication Date: 10/84


Tactical Ada Guidance (TAG)

Abstract: ***DISTRIBUTION LIMITED - USGAC*** The objective of this program is to investigate Ada's applicability to tactical missile software by redesigning, coding, and testing operational flight software for the Medium Range Air-to-Surface Missile (MRASM) using Ada.

Author: Schnelker, James, Ronald Cohen, and Nels Lundgren

Publisher: General Dynamics, Data Systems Division, P.O. Box 85808, San Diego, CA 92138

Reference Number: AFATL-TR-85-54

Sponsoring Organization: ESD - U.S. Air Force,Electronic Systems Division, Hanscom AFB, MA 01731

Producing Organization: General Dynamics, Data Systems Division

Publication Date: 12/85


Ada Language System Specification - Volume 2

Abstract: This volume of the specification contains Appendix 70, Ada Language System Toolset and Appendix 80, Ada Language System Diagnostic Messages.

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

Reference Number: CR-CP-0059-A00; CDRL Item B006; 1075-4.7

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System File Administrator C-5 Specification

Abstract: This specification establishes the requirements for complete identification of a computer program identified as ALS File Administrator to be formally accepted by the procuring activity.

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

Reference Number: CR-CP-0059-C85; CDRL Item B010; 1075-53.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Compiler Machine-Independent Section B-5 Specification

Abstract: The MI implements the machine-independent portions of the Ada compiler which is hosted on the VAX/VMS system and runs as a tool within the Ada Language System (ALS). These portions include compiler control, Ada Language program analysis (front end), machine independent optimization, utility support, and tracing support.

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

Reference Number: CR-CP-0059-B84; CDRL Item B008; 1075-17.5

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX-11/780 Code Generator C-5 Specification, Volume I

Abstract: This specification establishes the requirements for complete identification of a computer program identified as ALS VAX-11/780 Code Generator C5 Specification to be formally accepted by the procuring activity. Contains sections 1, 2, and a portion of 3, as well as a portion of the index.

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

Reference Number: CR-CP-0059-C10; CDRL B010; 1075-36.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX/VMS Symbolic Debugger B-5 Specification

Abstract: The Debugger provides interactive, symbolic debugging facilities for programs written in Ada and executing in the ALS environment. The facilities aid a user in localizing malfunctions in an Ada program by providing controlled, incremental execution of the program and the symbolic display of its state at various points.

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

Reference Number: CR-CP-0059-B60; CDRL Item B008; 1075-46.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX/VMS Code Generator B-5 Specification

Abstract: The CG produces a machine code implementation of a user Ada source program for execution in the VAX-11/780 Computer. The same generated code may be used for the bare VAX-11/780 Target Environment or the VAX-11/780 VAX/VMS Target Environment.

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

Reference Number: CR-CP-0059-B10; CDRL Item B008; 1075-12.5

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX/VMS Assembler B-5 Specification

Abstract: The Assembler is included in the Ada Language System to allow users to write native machine level subprograms that can be called from Ada compilation units. The Assembler is not intended for large program development, but as a tool, to allow access to features of the target machine that are not directly available through Ada programs. The assembly language is similar to the DEC VAX-11 Macro language; it will permit access to the entire instruction set of the VAX-11/780 machine. Subprogram bodies written in assembly language and translated with the Assembler can be called from Ada program text.

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

Reference Number: CR

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX-11/780 Assembler C-5 Specification

Abstract: This specification establishes the requirements for complete identification of a computer program identified as ALS VAX-11/780 Assembler to be formally accepted by the procuring activity.

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

Reference Number: CR-CP-0059-C30; CDRL Item B010; 1075-34.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX-VMS Frequency Analyzer B-5 Specification

Abstract: The Frequency Analyzer provides the capability of monitoring the execution frequency characteristics of Ada programs by recording the number of times each program is executed.

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

Reference Number: CR-CP-0059-B70; CRRL Item B008; 1075-51.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX/VMS Statistical Analyzer C-5 Specification

Abstract: This specification establishes the requirements for complete identification of a computer program identified as ALS VAX/VMS Statistical Analyzer to be formally accepted by the procuring activity.

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

Reference Number: CR-CP-0059-C75; CDRL Item B010; 1075-66.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX/VMS Statistical Analyzer B-5 Specification

Abstract: The Statistical Analyzer provides the capability of monitoring the execution time characteristics of Ada programs by sampling the target program to determine, roughly, the amount of time spent executing each subprogram.

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

Reference Number: CR-CP-0059-B75; CDRL Item B008; 1075-52.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX/VMS Frequency Analyzer C-5 Specification

Abstract: This specification establishes the requirements for complete identification of a computer program identified as ALS VAX/VMS Frequency Analyzer to be formally accepted by the procuring activity.

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

Reference Number: CR-CP-0059-C70; CDRL Item B010; 1075-67.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Command Language Processor B-5 Specification

Abstract: The command language processor will interpret the command language input to the ALS to invoke all the host resident tools and to provide user option and control inputs.

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

Reference Number: CR-CP-0059-B80; CDRL Item B008; 1075-30.3

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Display Tools B-5 Specification

Abstract: The function of the DT is to provide compiler, assembler and linker listings and maintenance aids services which provide the capability to display selected portions of a Container. Portions of a Container can be displayed during creation of that Container using the callable dumper, or after the Container has been closed using the interactive dumper. It can also provide the capability to generate a profile listing of accumulated timing and frequency execution data.

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

Reference Number: CR-CP-0059-B86; CDRL Item B008; 1075-35.3

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Kernel Ada Programming Support Environment (KAPSE) B-5 Specification

Abstract: The KAPSE provides services to users logged into the ALS and to ALS programs executing in the VAX/VMS target environment). The KAPSE and the ALS VAX/VMS Runtime Support Library (RSL) provide the exclusive interface between the host operating and the ALS programs written in Ada. The KAPSE interface includes operations such as input/output, program invocation and control, primitive debugger support, and detection of abnormal conditions.

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

Reference Number: CR-CP-0059-B83; CDRL Item B008; 1075-29.3

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX-11/780 VAX/VMS Runtime Support Library B-5 Specification

Abstract: The RSL is a set of packages that support the implementation of the semantics of Ada on the given hardware. It includes the functions of task dispatching, task management, dynamic storage administration, 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 runtime diagnostic support, error detection, and recovery are built into these functions.

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

Reference Number: Cr-CP-0059-B20; CDRL Item B008; 1075-13.4

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System VAX-11/780 Linker B-5 Specification

Abstract: The Linker contains two basic parts: a linking tool and an exporter. The linking tool is capable of linking together separately created Containers for the VAX-11/780 environment. The modules may have been created by the Ada compiler, the ALS VAX-11/780 Assembler, or by a previous invocation of the linking tool. An exporter turns a Container which is the output of the linking tool into a load module for the VAX-11/780 environment or and ALS node and puts it onto a disk file on the host or to a tape. It serves the VAX-11/780 VAX/VMS target environment.

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

Reference Number: CR-CP-0059-B40; CDRL Item B008; 1075-8.5

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Configuration Control Tools C-5 Specification

Abstract: This specification establishes the requirements for complete identification of a computer program identified as ALS Configuration Control Cools, CCT, to be formally accepted by the procuring activity.

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

Reference Number: CR-CP-0059-C82; CDRL Item B010; 1075-56.4

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Display Tools C-5 Specification, Volume 1

Abstract: This specification establishes the requirements for complete identification of a computer program identified as Display Tools, DT, to be formally accepted by the procuring activity. Contains sections 1, 2, and part of 3, as well as part of the index.

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

Reference Number: CR-CP-0059-C86; CDRL Item B010; 1075-50.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Retargeting Manual

Abstract: The purpose of this manual is to describe the procedures neccessary to retarget the ALS system.

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

Reference Number: CDRL Item E007; 1075-348302

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Target Machine Dependent Preprocessor

Abstract: The TMDP produces a set of target machine description tables that are then integrated into the code generator of the ALS Ada Compiler for that target. This integration occurs only once for each target.

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

Reference Number: CR-CP-0059-BC93; CDRL Item B012; 1075-93

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System LEKSNEG Specification

Abstract: LEKSNEG, also known as the reverse skeleton generator, produces a C-5 specification from an Ada package specification or from an Ada specification and an Ada package body.

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

Reference Number: CR-CP-0059-BC91; CDRL Item B012; 1075-99

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Container Data Manager Generation Tool BC Specification

Abstract: The CDM is a set of packages providing primitive container operations to other Ada programs. These operations are used to create, examine, and modify the contents of containers.

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

Reference Number: CR-CP-0059-BC92; CDRL Item B008; 1075-92

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Benchmark Report

Abstract: This draft document descripes the ALS Benchmark (ALSB), its purposes and goals.

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

Reference Number: 1075-750001

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

Producing Organization: SofTech, Inc.

Publication Date: 4/85


Ada Language System Advanced Configuration Control Toolset (ACC) Design Specification

Abstract: This specification establishes the requirements for the performance and design of the ALS Advanced Configuration Control Toolset. A complete and concise description of the ACC is provided in the System Specification for the Ada Language System.

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

Reference Number: CR-CP-0059-BC87; CDRL Item B009; 1075-79.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


JAMPS Database Redesign

Abstract: This report analyzes the current JAMPS Database with respect to the file structures and storage requirements, in the creation of the JAMPS message. It recommends changes to the object files to improve current storage requirements, and in the process of generating the files from database source files, among other recommendations.

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

Reference Number: 3285-2-210/2.1

Sponsoring Organization: ESD - U.S. Air Force Electronic Systems Division, Hanscom AFB, MA 01731

Producing Organization: SofTech, Inc.

Publication Date: 10/84


JAMPS PDL Guide

Abstract: The USAF plans to reimplement the JINTACCS Automated Message Preparation System (JAMPS) in Ada. The effort will require a notation for expressing and manipulating the system design. This document defines a program design language (PDL) to provide the notation.

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

Reference Number: 3285-2-210/3

Sponsoring Organization: ESD - U.S. Air Force Electronic Systems Division, Hanscom AFB, MA 01731

Producing Organization: SofTech, Inc.

Publication Date: 10/84


JAMPS Run Time Benchmark Tests

Abstract: This Study establishes real-time performance benchmarks applicable to the JAMPS III (JINTACS Automated Message Preparation System) software development proposal in Ada.

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

Reference Number: 3285-2-210/1

Sponsoring Organization: ESD - U.S. Air Force Electronic Systems Command, Hascom AFB, MA 01731

Producing Organization: SofTech, Inc.

Publication Date: 10/84


Ada Language System FQT Test Plan

Abstract: The purpose of this test plan is to determine what tests remain for the Ada Language System (ALS) as of January 1, 1984 to prepare the ALS for delivery to the customer.

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

Reference Number: CDRL Item F001; 1075-540008-8501; 1075-18.7

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System FQT Test Procedures

Abstract: This document establishes the test procedures to be performed during the Final Qualification Test (FQT) of the ALS.

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

Reference Number: CDRL Item F003; 1075-561002; 1075-78.1

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Using the ACVC Tests

Abstract: This report provides the mechanism for reporting the pass/fail results of executable (Classes A, C, D, and E) tests. It also provides the mechanism for guaranteeing that certain values become dynamic (not known at compile-time).

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

Reference Number: 1067-5.1

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: SofTech, Inc.

Publication Date: 11/81


ACVC User's Manual

Abstract: The purpose of this manual is to describe the tools available for creating and maintaining ACVC documentation, tests, and tools.

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

Reference Number: 1067-4.1

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: SofTech, Inc.

Publication Date: 11/81


Ada Language System Technical Report Intermediate Language Specification

Abstract: This document defines the Intermediate Languages (ILs) used by the ALS Ada compiler. These ILs are designed to facilitate code optimization, as well as allow logical separation between the machine-independent section and the machine-dependent section of the compiler. While facilitating optimization, the ILs also allow code generators to be developed at low cost. This specification provides definition of the ILs so that various code generators can be developed for Ada.

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

Reference Number: CDRL Item E008; 1075-35002

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

Producing Organization: SofTech, Inc.

Publication Date: 1/84


Ada Language System Intermediate Language Specification

Abstract: This document defines the Intermediate Languages (ILs) used by the ALS Ada compiler. These ILs are designed to facilitate code optimization, as well as allow logical separation between the machine-independent and machine-dependent sections of the compiler. While facilitating optimization, the ILs also allow code generators to be developed at low cost. This specification provides definition of the ILs so that various code generators can be developed for Ada.

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

Reference Number: CDRL Item E008; 1075-35003; 1075-38.2

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Technical Report: Relationship Between the ALS Intermediate Language and DIANA

Abstract: This report defines the differences between the Intermediate Language (IL) used by the Ada Language System (ALS) Ada compiler known as ALS Diana and the DIANA IL as defined in DIANA Revision 3. This specification will not provide a description of how DIANA Revision 3 differs from other ILs used in the ALS. It does provide the description of the differences so that it can be determined what, if anything, needs to be done to tools designed to work on DIANA Revision 3 so that they can work with ALS Diana and vice versa.

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

Reference Number: CDRL Item E009; 1075-730001; 1075-87

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

Producing Organization: SofTech, Inc.

Publication Date: 6/84


Ada Language System Relationship Between the ALS Intermediate Language and DIANA

Abstract: This report defines the differences between the Intermediate Language (IL) used by the Ada Language System (ALS) Ada compiler known as ALS Diana and the DIANA IL defined as DIANA Revision 3. This specification will not provide a description of how Revision 3 differs from other ILs used in the ALS. It provides the description of the differences so that it can be determined what, if anything, needs to be done to tools designed to work on Revision 3 so that they can work with ALS Diana and vice versa.

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

Reference Number: CDRL Item E009; 1075-730002; 1075-87.1

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Interim Ada-to-Pascal Translation Tool User's Manual and Installation Guide

Abstract: Describes the site installation and programmer use of the Tool. It is intended to be a self-contained guide to the successful compilation and execution of Ada programs using the subset of Ada as specified in the Interim Ada-to-Pascal Translation Tool Language Reference Manual.

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

Reference Number: CDRL Item F004; 1075-318003; 1075-95

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Language System Interim Ada-to-Pascal Translation Tool Language Reference Manual

Abstract: This manual describes the subset of the programming language Ada supported by the Interim Ada-to-Pascal Translation Tool.

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

Reference Number: CDRL Item F004; 1075-378003; 1075-80.1

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

Producing Organization: SofTech, Inc.

Publication Date: 1/85


Ada Programming Design Language Survey

Abstract: This report deals with a study of the various Ada-based design methodologies currently in publication, analyzing each for applicability as a PDL. Four were identified as capable, but it was recommended that the Sponsor adopt guidelines for the development of PDLs.

Publisher: SofTech, Inc., 4140 Linden Avenue, Suite 201, Dayton, OH 45432

Sponsoring Organization: NAC - Naval Avionics Center, Indianapolis, IN

Producing Organization: SofTech, Inc.

Publication Date: 10/82


Data Systems Analysis Study

Abstract: This is a compendium of four reports on Ada Integration Analysis, Transportability Guidelines, Risk Analysis, and Requirements Analysis.

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

Reference Number: 2235-2

Sponsoring Organization: Lockheed Missiles and Space Company, Inc., 1111 Lockheed Way, Sunnyvale, CA 94089

Producing Organization: SofTech, Inc.

Publication Date: 8/84


Ada Compiler Validation Facility Cost Proposal: Phase 3

Abstract: This is the cost potion of a bid on an RFP to provide an Ada Compiler Validation Facility.

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

Reference Number: 8010/80

Sponsoring Organization: DSSW - Defense Supply Service - Washington, Room 1D245, The Pentagon, Washington, DC 20310

Producing Organization: SofTech, Inc.

Publication Date: 8/79


Ada Compiler Validation Capability: Long Range Plan

Abstract: The Ada Compiler Validation Capability (ACVC) will consist of tests, test documentation, and tools for determining to what extent ada compilers conform to the language standard. This report describes the functions to be supported by the ACVC, the general nature of the capabilities to be provided, and the planned approach for each of the development phases.

Author: Goodenough, Jonn B. and John R. Kelly

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

Reference Number: 1067-1.1

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: SofTech, Inc.

Publication Date: 2/80


Preliminary Ada Compiler Validation Implementers' Guide

Abstract: This document is a draft of a portion of the Implementors' Guide. It follows the structure of the Preliminary Ada Language Reference Manual (LRM).

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

Reference Number: 1067-2

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: SofTech, Inc.

Publication Date: 4/80


Draft Ada Compiler Validation Implementers' Guide

Abstract: This document is a draft of a portion of the Implementors' Guide. It follows the structure of the Preliminary Ada Language Reference Manual (LRM).

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

Reference Number: 1067-2.1

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: SofTech, Inc.

Publication Date: 6/80


Ada Compiler Validation Implementers' Guide

Abstract: This document is the Implementors' Guide. It follow the structure of the Proposed Standard Ada Language Reference Manual (LRM). In case of conflict between the Guide and the Standard, the Standard, of course, takes precedence.

Author: Goodenough, John B., et al.

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

Reference Number: 1067-2.3

Sponsoring Organization: DARPA - Defense Advanced Research Projects Agency

Producing Organization: SofTech, Inc.

Publication Date: 10/80


Ada Compiler Validation Plans and Procedures (Preliminary)

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

Publisher: SofTech, Inc.

Reference Number: SofTech #: 1067-6.1

Sponsoring Organization: DARPA

Producing Organization: SofTech, Inc.

Publication Date: 11/81


SADT Author Guide Supplement: An Essay on Activity Diagramming

Abstract: ***PROPRIETARY*** This essay has the objective of giving an introduction to the methods used in Structured Analysis, some of the paradoxical reasons behind the methods, and of giving a sense of the timing and flow in the process of creating an activity diagram.

Author: Ross, D.T.

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

Reference Number: 7104

Publication Date: 11/76


Operator's Manual Ada Language System VAX/VMS Host (RedLine copy)

Abstract: This manual provides relevant information for the installation and administration of the Ada Language System on the VAX-11/780 running under the VAX/VMS operating systems.

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

Reference Number: CDRL Item E005; 1075-320002; 1075-65.1

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

Producing Organization: SofTech, Inc.

Publication Date: 1/83


Ada Language System Nebula Runtime Support Library C5 Specification, Volume 2

Abstract: This volume contains a portion of the requirements section, quality assurance provisions, preparation for delivery, notes, and two appendices.

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

Reference Number: CR-CP-0059-C25; CDRL Item B010; 1075-88

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

Producing Organization: SofTech, Inc.

Publication Date: 8/84


Ada Language System MCF Code Generator C5 Specification, Volume 2

Abstract: This volume contains portions of the requirements section dealing with package and subprogram descriptions.

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

Reference Number: CR-CP-0059-C14; CDRL Item B010; 1075-83

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

Producing Organization: SofTech, Inc.

Publication Date: 2/84


Ada Language System Nebula Linker C5 Specification

Abstract: This specification establishes the requirements for complete identification of a computer program identified as ALS Nebula Linker to be formally accepted by the procuring activity.

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

Reference Number: CR-CP-0059-C43; CDRL Item B010; 1075-100

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

Producing Organization: SofTech, Inc.

Publication Date: 10/84


AJPO Presentation - 19 August 1982

Abstract: A briefing on SofTech's capabilities and its involvement in the Ada Language System project.

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

Producing Organization: SofTech, Inc.

Publication Date: 8/82


SofTech Ada Press Tutorial - Presentation by Lt. Col. Larry Druffel, Director, Ada Joint Program Office

Abstract: A briefing on the Ada Joint Program Office and the Ada Language System for DoD programs.

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

Producing Organization: AJPO

Publication Date: 10/82


ALS Design Presentation - January 13, 1983

Abstract: Briefing on the Ada Language System design.

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

Producing Organization: SofTech, Inc

Publication Date: 1/83


Comments on RM Chapters

Abstract: Comments on the proposed Ada Language Reference Manual.

Publication Date: 6/82


Strategic Defense Initiative Architecture Dataflow Modeling Technique, Version 1.5

Abstract: This paper presents the SDI Architecture Dataflow Modeling Technique (SADMT), a uniform formal notation for the description of SDI system architectures and BM/C3 architectures. It defines SADMT and the programming interface to the SADMT Simulation Facility.

Author: Linn, Joseph L., et al.

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

Reference Number: IDA Paper P-2035

Sponsoring Organization: SDIO - Strategic Defense Initiative Organization

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 4/88


SAGEN User's Guide Version 1.5

Abstract: This documents a tool that can facilitate the description of processes for Strategic Defense System and BM/C3 architectures. The process descriptions generated by this tool conform to the SADMT.

Author: Kappel, Michael R., et al.

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

Reference Number: IDA Paper P-2028

Sponsoring Organization: SDIO - Strategic Defense Initiative Organization

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 4/88


A Simple Example of an SADMT Architecture Specification, Version 1.5

Abstract: This paper presents a simple SADMT architecture. The example code given is the SADMT Generator (SAGEN) Language.

Author: Ardoin, Cy D., et al.

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

Reference Number: IDA Paper P-2036

Sponsoring Organization: SDIO - Strategic Defense Initiative Organization

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 4/88


Report of the Rights in Data Technical Working Group (RTWG) Volume 1: Executive Summary

Abstract: The recommendations contained herein, if aggressively implemented, will enhance the effective transfer of technology from industry to government. Members agreed that the rights in data issues are but a symptom. The larger problem to be addressed is the entire process involved in the government acquisition of software.

Author: Probert, Thomas H., et al.

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

Reference Number: IDA Document D-52 (Volume I)

Sponsoring Organization: OUSDR&E - Office of the Under Secretary of Defense for Research and Engineering

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 1/84


Stars Glossary - A Supplement to the IEEE Standard Glossary of Software Engineering Terminology

Abstract: This draft glossary was prepared at the request of the STARS Joint Program Office to define a recognized supplement set of terms that will be used by the STARS task areas. It augments the terms and definitions of the IEEE Standard Glossary of Software Engineering Terminology, which is the basic terminology standard for all STARS programs. This draft was based on various DoD standards, dictionaries, and glossaries. This glossary should be used as a supplement to the IEEE Glossary. Therefore, related terms not included in this publication may be found in the IEEE glossary.

Author: McDonald, Catherine and Samuel T. Redwine

Publisher: Institute for Defense Analyses

Reference Number: IDA #: P-1846

Sponsoring Organization: OUSDRE

Producing Organization: IDA

Publication Date: 1/86


Need and Rationale for the Software Technology for Adaptable Reliable Systems (STARS) Program

Abstract: This document summarizes the arguments in favor of the STARS program and cites 122 references to supporting evidence.

Author: Redwine, Samuel T. and Sarah H. Nash

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

Reference Number: IDA Memorandum Report M-57

Sponsoring Organization: OUSDR&E - Office of the Under Secretary of Defense for Research and Engineering

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 3/85


Statement of Work - Software Technology for Adaptable Reliable Systems Software Engineering Environment (STARS-SEE)

Abstract: SOW for the proposed contract to develop a software engineering environment. The purpose is to enhance the ability of the DoD to cost effectively acquire, deploy, and support mission critical computer resources software of improved quality.

Publisher: Department of Defense, STARS Joint Program Office, 1211 S. Fern Street, Arlington, VA 22202

Reference Number: SEE-SOW-001

Publication Date: 1/86


CAIS Reader's Guide for DOD-STD-1838

Abstract: The CAIS Reader's Guide for DOD-STD-1838 has been produced to aid readers in understanding DOD-STD-1838, the Military Standard Common Ada Programming Support Environment (APSE) Interface Set (CAIS). DOD-STD-1838 defines a set of interfaces that allows software tools resident in an APSE access to common operating system services and facilities. APSE tools are Ada programs, each of which is used for a specific software development task. These tools need facilities to communicate with their environments, including other tools in that environment, which the Ada language does not provide. The CAIS can thus be regarded as providing extended interfaces between an external environment and a host system. The contents of this guide are arranged into 6 chapters: 1- Introduction, 2- The CAIS Node Model, 3- General Node Management, 4- CAIS Process Nodes, 5- CAIS Input and Output, and 6- References.

Author: Kramer, John F., et al.

Publisher: IDA

Reference Number: IDA Paper P-2034

Sponsoring Organization: AJPO

Producing Organization: IDA

Publication Date: 8/87


Kernel Ada Programming Support Environment (KAPSE) Interface Team: Public Report, Volume IV - Interim Report for 1 July 1983 - 30 April 1984

Abstract: The continuing activities of the KAPSE interface team and its industy/academia auxilary are reported.

Author: Oberndorf, Patricia A.; et al.

Publisher: NOSC - Naval Ocean Systems Center, San Diego, CA 92152

Reference Number: NOSC TD 552

Sponsoring Organization: AJPO - Ada Joint Program Office

Producing Organization: NOSC - Naval Ocean Systems Center, San Diego, CA 92152

Publication Date: 4/84


The Impact of Ada on COCOMO Cost Estimates as Applied to the World Wide Military Command and Control (WWMCCS) Information System (WIS)

Abstract: This paper provides the results of a workshop held to examine the issues of costing the development of the WIS using the Constructive Cost Model (COCOMO).

Author: Douville, Anne A., John Salasin, and Thomas H. Probert

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

Reference Number: IDA Paper P-1810

Sponsoring Organization: ASDC3I - Office of the Assistant Secretary of Defense for C3I

Producing Organization: IDA - Institute for Defense Analyses

Publication Date: 1/85


Catalogue of Ada Runtime Implementation Dependencies

Abstract: This catalogue describes those features of the Ada language that are allowed to vary among different implementations. The purpose of the document is to clearly identify those areas of the language that are implementation dependent and therefore are most likely to cause difficulties and limit the transportability of programs. It has been cross-indexed to the Ada Reference Manual and a document index added to make it more usable and complete.

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

Reference Number: CIN: C02 092JB 0001

Sponsoring Organization: CECOM - U.S. Army Center for Software Engineering, Ft. Monmouth, NJ

Producing Organization: LabTek Corporation

Publication Date: 2/89


Documentation for Real-Time Performance Benchmarks for Ada

Abstract: Contains notes pertaining to the real-time benchmarks that have been developed. It supplements the discussion of the benchmarks in the report titled "Real-Time Performance Benchmarks for Ada".

Author: Goel, Arvind

Publisher: TAMSCO, 145 Wyckoff Road, Eatontown, NJ 07724

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

Producing Organization: TAMSCO

Publication Date: 10/88


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

Back to FAQ