理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- air transport costs
- air transport liberalization
- air transport logistics building
- Air transport market
- Air transport mode
- Air transport vehicle
- air tube
- air turbine rocket engine
- air valve
- airvane
- air volume
- air-water central air-conditioning system
- air-water interface of lakes
- air wave
- air wavelength
- airway
- air way bill
- airway microbes
- airway obstruction
- air welding material
- airworthiness
- airworthiness approval
- airworthiness certification
- airworthiness certification flight test
- airworthiness compliance verification