理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- communicative competence of a second language
- Communicative Development Inventory
- communicative function
- Communicative Language Ability Test
- communicative lexicography
- communicative repertoire
- communicative space
- communicative translation
- communicative value
- communicator
- communion
- communique
- Communism Peak
- Communist
- Communist and Kuomintang Alliance
- communist morality
- Communist Party of Australia
- Communist Party of Brazil
- Communist Party of Burma
- Communist Party of Canada
- Communist Party of China's integrity and self-discipline guidelines
- Communist Party of El Salvador
- Communist Party of Germany
- Communist Party of Guatemala
- Communist Party of Nicaragua