理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- Marshall Space Flight Center
- Marshall Warren Nirenberg
- Marshal Zhang's Mansion Museum
- marshes in China
- marsh gas
- Marsh Harbour
- marsh hydrology
- marshland microbes
- marshland, river, pond
- marsh-marigold
- marsh plant
- marsh snail
- Marsic
- Marsiglio of Padua/Marsilius of Padua
- Marsik
- Marsilius da Padua
- Marsilius of Padua
- Mars InSight
- Mars landing
- Mars Observer
- Mars Observer probe
- Mars Odyssey probe
- Mars Orbiter Mission
- Mars Pathfinder
- Mars photogrammetry