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的活动仍旧是不适当的。
Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
The paper presents a modular design based on object-oriented technology for extensible digital oscilloscope automatic verification system.
本文讨论应用面向对象技术实现可扩展数字示波器自动检定系统的模块化设计。
应用推荐