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.
软件规格说明的正确性是软件目标代码正确性的前提。
应用推荐