理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- Princely state
- Prince Milos
- Prince of Broadcasters
- Prince of Lan Ling
- Prince of Linchuan
- Prince of Shaoling
- Prince of the Sun: The Great Adventure of Horus
- Prince of the Woods
- Prince-of-Wales feather
- Prince of Wales Island (Alaska)
- Prince of Wales Island (Nunavut)
- Prince of Wales Strait
- prince on the frontier
- Prince or Secretary stay in the capital to take charge of executive work when The Emperor go out to battle or royal progress
- Prince O's Tallies
- Prince Philip Movement
- Prince Regent Conference
- Prince Regent's Mansion
- Prince Rupert
- Prince Rupert’s cube
- Prince Rupert’s problem
- Prince Rupprecht's larch
- princes and dukes
- princes and grand ministers
- prince's-feather fruit