理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- mortality rate of cancer
- mortality table
- mortality transition
- Mortal Little Things
- mortar
- mortar bowl unearthed from Yang Jianchen's tomb
- mortar finite element method
- Morte accidentale di un anarchico
- Morten Nielsen
- mortgage
- mortgage market
- mortgage of land-use right
- mortgage right of land
- Mortimer Taube
- Mortimer Wheeler
- mortise and tenon joint
- mortise of cap block
- Morton A.Kaplan
- Morton Feldman
- Morton number
- morton's effect
- morula
- morula stage
- Mo Ruzhong
- MORVEL relative plate tectonics model