United States Air Force Program Office Guide to Ada. Edition 3

Abstract

The purpose of the Program Office Guide to Ada is to discuss issues affecting the selection development and maintenance of systems whose software is written in the Ada language. Each edition focuses on a different set of topics and their implications for managers. This edition concentrates on: Maintenance and revision of the Ada standard, Ada Education and Training Study (ADETS), program proving and verification, environments, tools, interfaces and Computer Aided Software Engineering. Keywords: Interfaces, Tools, Verification, Computer aided software engineering(CASE).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 31, 1987
Accession Number
ADA189651

Entities

People

  • Christine Ausnit
  • Ernesto Guerrieri
  • Nancy Ingwersen
  • Suzanne Ruegsegger

Organizations

  • SofTech, Inc.

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Application Software
  • Artificial Intelligence
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Information Systems
  • Operating Systems
  • Programming Languages
  • Software Design
  • Software Development
  • Software Development Tools
  • Software Testing

Fields of Study

  • Computer science
  • Engineering

Readers

  • Library and Information Science
  • Software Engineering.
  • Software Verification and Validation.