理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- electron capture chemical ionization
- electron capture chemical ionization (ECCI)
- electron-capture decay
- electron capture detector
- electron capture detector (ECD)
- electron capture dissociation
- electron capture dissociation (ECD)
- electron capture (EC)
- electron carrier
- electron charge
- electron cloud
- electron compound
- electron concentration
- electron conductance
- electron conduction
- electron conductivity
- electron conductor
- electron configuration
- electron continuum
- electron cooling
- electron correlation
- electron correlation and correlation energy
- electron correlation calculations
- electron correlation energy
- electron correlation methods