理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- liquid-phase oxidation
- liquid phase oxidation reduction method
- liquid phase plasma electrolytic impregnation
- liquid phase process
- liquid-phase reaction time
- liquid-phase sintering
- liquid plasma electrolytic technology
- liquid polymerization
- liquid preparations
- liquid production profile
- liquid production rate
- liquid propellant
- liquid-propellant rocket
- liquid propellant rocket engine
- liquid propellant rocket engine test
- liquid propulsion system
- liquid ramjet
- liquid ramjet assembly
- liquid ramjet combustion chamber
- liquid ramjet engine test
- liquid ramjet fuel regulator unit
- liquid ramjet ignition unit
- liquid ramjet inlet
- liquid ramjet nozzle
- liquid ramjet performance parameter