计算机术语“automated verification system”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	automated verification system
释义	automated verification system 自动验证系统 In software engineering, a software tool that accepts as input a computer program and a representationof its specification, and produces, possibly with human help, a correctness proof or disproof of the program. 软件工程中的一种软件工具,它以计算机程序及其规格的表示作为输入,并(可能借助人的帮助)产生该程序的正确性证明或反驳。参阅automated verification tools。
随便看	computer-aided page make-up computer-aided part programming computer-aided phototypesetting computer-aided system engineering(CASE) computer-aided teaching computer-aided testing (CAT) computer-aided translation Computer and Control Abstracts computer animation computer application analyst computer applications computer applications engineer computer architecture computer art computer-assisted instruction computer-assisted interactive tutorial system computer-assisted learning(CAL) computer-assisted management computer-assisted teaching computer-augmented learning (CAL) computer-based automation (CBA) computer-based instruction (CBI) computer-based learning(CBL) computer-based message system computer-based training

计算机英汉双解词典包含21137条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。