理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- housing tenure choice model
- housing types
- housing unit rate
- housing voucher
- housing welfare system
- Hou's process
- Houston
- Houston Chronicle
- Houston Museum of Fine Arts
- Houtaiping Sites Group
- Hou Tongzeng
- Hou-Tse Hsu
- Houwa
- Hou Wailu
- houxi
- Hou Xiangchuan
- Hou Xianglin
- Hou Xianguang
- Hou Xirui
- Houxuan HU
- Hou Xueyu
- Hou Xun
- Houyangguanzhuang
- Hou Yao
- Hou Yifan