Software Specification & Verification 软件规格及核查 ; 软件规格及验证
The main concepts of cleanroom software engineering are increment planning, box structure specification, correctness verification and statistical test planning.
净室软件工程中包含的主要概念有增量计划、盒构说明、正确的验证和统计测试计划。
Verification is the process confirming that something software meets its specification.
“验证”是检查软件是否符合《规格说明书》的过程。
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记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
应用推荐