理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- statistical operator of micro canonical ensemble
- statistical operator of micro-canonical ensemble
- statistical optics
- statistical orbit-determination
- statistical parallax
- statistical parameter
- statistical parametric map, SPM
- statistical pattern recognition
- statistical physics
- statistical physics on fractal
- statistical point estimator
- statistical potential
- statistical power
- statistical probability
- statistical problem
- statistical process control
- statistical process control (SPC)
- Statistical Product and Service Solutions (SPSS) software
- statistical quality control
- statistical radio physics
- statistical range
- statistical rank
- statistical regularity
- statistical regularization
- statistical reporting system