理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- pseudo-effective cone
- pseudo-elasticity
- pseudoelasticity
- pseudo-elastic stress-strain relationship
- pseudo-elementary class
- pseudo-elliptic
- pseudo-elliptic equation
- pseudo-elliptic function
- pseudo-elliptic integral
- pseudo-environment
- pseudo equatorial
- pseudo-equatorial
- pseudo-equivalence
- pseudo-equivalent potential temperature
- pseudo-Euclidean geometry
- pseudo-Euclidean metric
- pseudo-Euclidean plane
- pseudo-Euclidean space
- pseudoeutectic
- pseudoextinction
- pseudo-extremal
- pseudofermion
- pseudo-field
- pseudofilament
- pseudo-filtered