模型验证
- 网络Model Validation; model verification; Model Checking
模型验证模型验证
Model Validation
模型验证（Model Validation）可利用对象约束语言（OCL）根据已知的 UML规则和模型中定义的许多约束条件对UML模型进 …
model verification
电工专业英语词汇(J-M) ... model variable 模型变量 model verification 模型验证 modeling 建模 ...
Model Checking
模型验证（Model Checking）技术是安全协议形式化分析的一项重要技术，它最早应用于硬件的性能验 证中。随着信息安全技 …
MPV
...剃须刀盖分型 4.2 知识要点 4.2.1 模型验证（MPV） 4.2.2 提取区域与分型线 4.2.3 创建／删除补片面 4.2.4 编辑分型线 4...
Model Verifier
Telelogic Tau3.0是Telelogic的支持uml2.0的建模工具，同时提供了模型验证（Model Verifier），代码生成（code generator） …
Molded Part Validation
... 10.6 分型几何体 318 10.6.1 模型验证(Molded Part Validation) 318 10.6.2 提取区域(Extract Regions)和分型线(Parting Lin...
Pattern evaluation
模型验证(Pattern evaluation)-基於一些定义好的衡量标准上，验证出可以表现出此知识的特徵模型知识表现(Knowledge present…