理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- coal geological mapping
- coal geology
- coal geology drilling
- coal geophysical exploration
- coal-hosted ore deposits of rare metals
- coal hydro liquefaction
- coal hydro-liquefaction
- coalification
- coalified wood
- coalignment
- coal industrial wastewater treatment
- coal industry
- Coal Industry Law of the People's Republic of China
- coalition
- coalitional
- coalitional game
- coalitionally rational configuration
- coalitional strategy
- coalition core
- Coalition for Clean and Fair Elections
- coalition formation
- coalition-free game
- coalition of action
- coalition of interests
- coalition of parties