理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- Gaia Astrometry Satellite
- Gaia astronomical satellite
- GAIA hypothesis
- Gaia hypothesis
- Gaifman-Koons' paradox
- Gaihu
- Gaijiaotian
- Gai Jiaotian art of the stage
- Gai Junyi
- GAIL
- GAIM
- gain
- gain bandwidth product
- gain-bandwidth product
- gain clamp
- gain-clamping
- gain coefficient
- gain control
- gain coupling
- gain distribution
- gain efficiency
- gain error
- gain factor
- gain fiber manufacturing technique
- gain flatness