理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- cholecystokinin
- cholecystolithiasis
- choledochal cyst
- choledochoscope
- cholelithiasis
- cholera
- cholera enterotoxin
- Cholera like
- cholera vaccine
- choleretics
- Choles
- Cholesky
- Cholesky decomposition
- Cholesky factorization
- Cholesky method
- cholestane
- cholestane alkaloid
- cholestanol
- cholesteatoma of external acustce meatus
- cholesteatoma of middle ear
- cholestenone
- cholesteric liquid crystal
- cholesteric phase
- cholesterol
- cholesterol (Ch)