理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- platform supply vessel
- platform transfer
- platform weigher
- plating
- plating coating material of precious metal
- plating efficiency
- plating production line
- platinic
- platinode
- platinotron
- platinum
- platinum black electrode
- platinum catalyst
- platinum dichloride
- platinum dioxide
- platinum electrode
- platinum group
- platinum group element
- platinum group element metal resources
- platinum group metal
- platinum - iridium alloy rule for construction
- platinum-iridium alloy standard weight for ‘liang’
- platinum magnetic recording material
- platinum metals metallurgy
- Platinum Originality International University Students Graphic Design Competition