This can require iterative refinements of the data-flow specification and applying the specification in test environments to prove the correctness.
这可能需要对数据流规范进行反复的细化，并在测试环境中应用该规范以证实其正确性。
The process of certification ensures the correctness of service contracts created as part of service specification.
认证过程确保服务规格说明中服务合约的正确性。
Hie correctness of the specification of a software is the precondition of the correctness of the destination code.
软件规格说明的正确性是软件目标代码正确性的前提。
Depending on the difficulty of the specification and code, the group may also write a correctness proof for the code.
随著各个专题规格与程序的难度不同，小组可能需要写出程序正确性的证明。
The main concepts of cleanroom software engineering are increment planning, box structure specification, correctness verification and statistical test planning.
净室软件工程中包含的主要概念有增量计划、盒构说明、正确的验证和统计测试计划。
The main concepts of cleanroom software engineering are increment planning, box structure specification, correctness verification and statistical test planning.
净室软件工程中包含的主要概念有增量计划、盒构说明、正确的验证和统计测试计划。
应用推荐