理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- anomeric carbon
- anomeric effect
- anomers
- anometic effect
- anomi
- anomia
- anomie information behavior
- anomie theory
- Anong language
- anonymity
- anonymization
- anonymous
- anonymous communication network
- anonymous file transfer protocol
- anonymous file transfer protocol, anonymous FTP
- anonymous FTP
- anonymous galaxy
- anonymous letter
- anonymous login
- anonymous memory
- anonymous networking
- anonymous pipe
- anonymous protection of data mining
- anonymous refereeing
- anonymous server