规范验证(Specification Verification）正确性(Correctness）可用性(Usability）边界条件(Boundary Condition）性能(Performance) 压力测试(Stress...
基于30个网页-相关网页
... 规格说明语言 sPecification language 规格说明验证 sPecification verification 稳定性 stability ...
基于1个网页-相关网页
Software Specification & Verification 软件规格及核查 ; 软件规格及验证
Room Specification Verification 房间参数的确认
Geometrical Product Specification and Verification 产品几何技术规范
product verification specification 产品验证规格书
specification and verification 描述和验证
formal specification and verification 形式化描述与验证方法
A verification specification is required to maintain the transformation's integrity in light of downstream changes.
依据下游的变更，要维持转换的完整性就需要一个验证规范。
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的活动仍旧是不适当的。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
应用推荐