首页> 美国政府科技报告 >Ada Compiler Validation Summary Report: Certificate Number: 940305W1.11335 TLD Systems, Ltd. TLD Comanche VAX/1960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1.

【24h】

Ada Compiler Validation Summary Report: Certificate Number: 940305W1.11335 TLD Systems, Ltd. TLD Comanche VAX/1960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1.

机译：ada编译器验证摘要报告：证书编号：940305W1.11335 TLD systems，Ltd。TLD Comanche VaX / 1960 ada编译器系统，版本4.1.1 Vms 5.5下的VaX集群=＆gt; TLD实时执行，版本4.1.1下的Tronix JIaWG执行车辆（i960mX）。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Contents: Use of this validation summary report; ACVC test classes; Definition of terms; Implementation dependencies; Withdrawn tests; Inapplicable tests; Test modification; Processing information; Testing environment; Summary of test results; Test execution.

著录项

作者

展开▼
作者单位

展开▼
年度 1994
页码 1-96
总页数 96
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Compilers; Ada programming language; Standards; Validation summary reports; Computer program verification;

机译：编译器; ada编程语言;标准;验证摘要报告;计算机程序验证;

相似文献

外文文献

1. Ada Compiler Validation Summary Report: Certificate Number: 940305W1.11335 TLD Systems, Ltd. TLD Comanche VAX/i960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1. [R] . 1994

机译：ada编译器验证摘要报告：证书编号：940305W1.11335 TLD系统有限公司TLD Comanche VaX / i960 ada编译器系统，版本4.1.1 Vms 5.5下的VaX集群=> TLD实时执行下的Tronix JIaWG执行工具（i960mX），版本4.1.1。

Ada Compiler Validation Summary Report: Certificate Number: 940305W1.11335 TLD Systems, Ltd. TLD Comanche VAX/1960 Ada Compiler System, Version 4.1.1 VAX Cluster under VMS 5.5 => Tronix JIAWG Execution Vehicle (i960MX) under TLD Real Time Executive, Version 4.1.1.

摘要

著录项

相似文献

相关主题

期刊订阅