理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- chemical energy storage
- chemical engineering
- chemical engineering ceramics
- Chemical Engineering Design
- Chemical Engineering Journal
- chemical engineering liability insurance
- chemical engineering risk assessment
- chemical engineering risk control
- chemical engineering risk identification
- chemical engineering risk transference
- Chemical Engineering Science
- chemical engineering security
- chemical engineering security management
- chemical engineering security production standardization
- chemical enrichment
- chemical enterprise
- chemical enucleation method
- chemical equation
- chemical equilibrium
- chemical equilibrium condition
- [chemical] equilibrium constant
- chemical equilibrium constant
- chemical equilibrium method
- chemical equivalence
- chemical erosion