Computer Program Development Specification for Ada Integrated Environment: KAPSE (Kernel Ada Programming Support Environment)/Database, Type B5, B5-AIE(1).KAPSE(1).

Abstract

This specification establishes the requirements for performance, design, test, and qualification of a set of computer program modules identified as the Kernel Ada Programming Support Environment (KAPSE) of the Ada Integrated Environment. The KAPSE provides several facilities to the Ada Programming Support Environment, which can be grouped into the following five Computer Program Configuration Items: (1) SIMPCOMP - Database Operations on Simple and Composite Objects; (2) ACCECAT - Access Control and Categorization of Database Objects, and the Manipulation of User-Defined Attributes; (3) MULTPROG - Invocation of and Communication Between Multiple Ada Programs, plus Multi-User and Multi-KAPSE Support and Synchronization; (4) HISTARCH - Configuration and System Management, with History, Archiving, Backup, and Recovery; and (5) RTS - Run-Time Support for the Execution of Ada Programs, including Language-Defined Input/Output Packages. This specification identifies the functional capabilities of the various KAPSE computer program components and describes the KAPSE/tool interfaces as well as the KAPSE/Host computer interfaces.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 12, 1982
Accession Number
ADA134092

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Application Software
  • Artificial Intelligence
  • Computer Access Control
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computers
  • Configuration Management
  • Control
  • Databases
  • Debugging
  • Device Drivers
  • Identification
  • Machine Languages
  • Operating Systems
  • Virtual Machines

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Software Engineering.
  • Software Verification and Validation.