机译:ada编译器验证摘要报告:证书编号890829W1.10143。 Telesoft,TeleGen2 sun-3 ada开发系统4.0版,sun microsystems sun-3工作站(68020,基于sun-3/280)。
Compilers; Programming languages; Test and evaluation; Ada programming language; Validation summary reports; Standards;
机译:基于Metadata XBRL分类的印度尼西亚电子报告系统开发的金融服务权威
机译:十年基于工具的Ada编译器验证经验报告