理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- Debiprasad Chattopadhyaya
- debituminization
- deblade
- deblocking
- deblocking bolt
- deblooming
- deblurring
- debond
- deboost
- Deborah Baron
- Deborah Kerr
- Deborah number
- Deborah Stone
- Debouchment of Sishui River
- De Bouelles
- De Bragelogne
- debranching enzyme
- De Branges
- de Branges
- de Branges space
- de Branges theorem
- Debrecen
- Debre Law
- Debreu
- debridement