英语词汇specification verification怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

specification verification

释义

specification verification

简明释义

规格验证：一种检查产品或系统是否符合预定规格的过程，以确保其满足设计要求和客户需求。

网络释义

1
?规范验证
?规范验证(Specification Verification）?正确性(Correctness）?可用性(Usability）?边界条件(Boundary Condition）?性能(Performance) ?压力测试(Stress...
2
?规格说明验证
... 规格说明语言 sPecification language 规格说明验证 sPecification verification 稳定性 stability ...

短语

1
Software Specification & Verification
软件规格及核查 ; 软件规格及验证
2
Room Specification Verification
房间参数的确认
3
Geometrical Product Specification and Verification
产品几何技术规范 ; 几何产品量技术规范

双语例句

1
A verification specification is required to maintain the transformation's integrity in light of downstream changes.
依据下游的变更，要维持转换的完整性就需要一个验证规范。
2
In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。
3
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。

随便看

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

单词	specification verification
释义	specification verification 简明释义规格验证：一种检查产品或系统是否符合预定规格的过程，以确保其满足设计要求和客户需求。网络释义 1 ?规范验证 ?规范验证(Specification Verification）?正确性(Correctness）?可用性(Usability）?边界条件(Boundary Condition）?性能(Performance) ?压力测试(Stress... 2 ?规格说明验证 ... 规格说明语言 sPecification language 规格说明验证 sPecification verification 稳定性 stability ... 短语 1 Software Specification & Verification 软件规格及核查 ; 软件规格及验证 2 Room Specification Verification 房间参数的确认 3 Geometrical Product Specification and Verification 产品几何技术规范 ; 几何产品量技术规范双语例句 1 A verification specification is required to maintain the transformation's integrity in light of downstream changes. 依据下游的变更，要维持转换的完整性就需要一个验证规范。 2 In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification. 特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。 3 These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
随便看	cable terminal rack cable terminal cable terminating box cable terminating equipment cable terminating procedure cable terminating resistance cable terminating ressistance cable terminating set cable termination cable termination equipment cable termination network cable test cable test bridge cable test circuit cable tester cable testing cable testing apparatus cable testing bridge cable testing car cable testing set cable text cable theory cable thermocouple cable thread cable tie