模块验证

Associative

关联的

(2)关联的(Associative)通过创建零件、装配、绘图等方式,可利用Proe/ENGINEER验证模型. 由于各功能模块之间是相互关联的,如果改变装配中的某一零件,系统将会自动地在该装配中的其他零件与绘图上反映该变化. (3)参数化(Parametric) Pro/ENGINEER为一参数化系统,

conformance

符合性

何谓 ECMAScript 符合性在 ECMA-262 中,ECMAScript 符合性(conformance)有明确的定义. 一个脚本语言必须满足以下四项基本原则:符合的实现必须支持 Unicode 字符标准(UCS)DOM 遍历和范围 - 描述遍历和操作文档树的接口 DOM Level 3 引入了以统一的方式载入和保持文档的方法(包含在新模块 DOM Load and Save)以及验证文档(DOM

correctness proof

正确性证明

Kodosky介绍了一个名为"自动程序框图验证"的研究,以期能将"正确性证明(correctness proof)"加入到虚拟仪器程序框图源代码之中. 用户可以通过名为定理模块的图形结构用正确性断言(correctness assertion)来评注他的程序框图. 用LabVIEW编译程序框图时,

modified workweek

变动的工作周

modified replication 修改型验证实验 | modified workweek 变动的工作周 | modularity 模块化

Proxy Proxy：代理

Protocol: Protocol: 通訊協定: | Proxy Proxy 代理 | Re-request Authorization Re-request Authorization 重新請求批准

insurmountable odds：这里指不可战胜的神话

go before the cameras:开拍 | insurmountable odds:这里指不可战胜的神话 | flick:[俚]电影