Ada Compiler Validation Summary Report: Certificate Number: 951017W2.O-OOl Intermetrics Inc. AdaMagic, Version 2.0 SPARCstation 5 under SUNOS, 4.1.4 => Raytheon Extended Weapons Control Computer (EWCC) (Bare Machine).
AERONAUTICAL SYSTEMS DIV WRIGHT-PATTERSON AFB OH ADA VALIDATION FACILITY
Pagination or Media Count:
This report documents the validation testing of an Ada 95 implementation. This testing was conducted according to the Ada Compiler Validation Procedures Version 4.0, using Ada Compiler Validation Capability test suite version 2.0, and completed 17 October 1995.
- Computer Programming and Software