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.
这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
By practice proving, the verification of hardware circuits is an effective method in property specification language.
通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。
A workflow model, which considers time related factors, requires time specification and verification before it goes into production so as to guarantee the time coordination in workflow executions.
一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调。
The main concepts of cleanroom software engineering are increment planning, box structure specification, correctness verification and statistical test planning.
净室软件工程中包含的主要概念有增量计划、盒构说明、正确的验证和统计测试计划。
Specification and verification of real-time system based on timed automata consist of constructing its timed automata and verifying its property.
使用时间自动机对实时系统规范和验证,主要包括对实时系统建模即构造系统的时间自动机和安全可靠性验证。
Verification results show that the USB Host Controller accords with USB 1. 1 specification.
验证结果表明设计的US B主控制器实现了USB 1.1规范所规定的功能。
Verification is the process confirming that something software meets its specification.
“验证”是检查软件是否符合《规格说明书》的过程。
Later, carry on the normal verification of traffic signal specification, in order to confirm the practicability of this asymmetry type LED.
之后,再进行号志灯规范的验证,以确认此非对称式LED的实用性。
It is confirmed that the result of the design meets the specification by the algorithmic verification and test of sample.
经过算法验证和样片测试,有效值电路设计完全满足设计规格。
EMS testing instruments are important instruments in EMC test. However, there are no verification regulation or calibration specification on tne calibration of these instruments.
电磁兼容抗干扰测试仪器是电磁兼容测试中重要的一类测试仪器,但对于这些仪器的校准测试仍然没有圈家计量检定规程或校准规范。
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究,针对网络协议的特性,给出了一种基于时态逻辑的模型系统。
Assert checks of Property Specification Language (PSL) are used to verify functions of the controller to decrease verification complexity and enhance verification quality and speed.
采用基于属性描述语言(psl)的断言检查对该控制器进行功能验证,以降低验证复杂度、提高验证速度和质量。
Objective Brief introduce the validation & verification of quality specification of import drug in China.
目的介绍我国进口药品注册检验工作。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题,计画的准确的描述和证实。
The principle, construction and technical specification as well as test items and results for verification are presented.
介绍了装置的原理、结构和技术条件,还列出了试验项目和结果。
The principle, construction and technical specification as well as test items and results for verification are presented.
介绍了装置的原理、结构和技术条件,还列出了试验项目和结果。
应用推荐