modeling verification and validation 建模与验模
modeling and verification 建模及验证
System Modeling and Verification 系统建模与校验
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的活动仍旧是不适当的。
In addition to an intuitive appearance, graph grammars provide a well-established foundation for defining visual languages with the power of precise modeling and verification on computers.
除了具有直观易见的特点之外，图文法在计算机上的精确建模和验证能力，为设计可视化语言提供了一个坚实的理论基础。
The process modeling is described for the model-based verification method. The performance of the method is demonstrated by experiment.
还描述了这种基于模型的验证方法的过程建模，实例说明这种方法的性能。
应用推荐