Ada (Trade Name) Compiler Validation Summary Report: Encore Computer Corporation. Verdix Ada Development System (VADS), Version 5.41. Encore Multimax.

Abstract

This Validation Summary Report (VSR) summarizes the results and conclusions of validation testing performed on the Verdix Ada Development System (VADS), Version 5.41, using Version 1.8 of the Ada Compiler Validation Capability (ACVC). Keywords: Ada programming language, Ada compiler validation summary report, Ada compiler validation capability, ACVC, Validation testing, Ada validation office, AVO, Ada validation facility, AVF, ANSI/MIL-STD-1815A, Ada joint program office.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 19, 1987
Accession Number
ADA189794

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Conformity
  • Corporations
  • Department Of Defense
  • Governments
  • High Level Languages
  • Law
  • Magnetic Tape
  • Operating Systems
  • Programming Languages
  • Standards
  • Test Methods
  • United States
  • United States Government

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Verification and Validation.