理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- management of new title proposals
- management of postoperative pain
- management of public health emergency events at sea
- management of pumping irrigation and drainage system
- management of radio and television archives
- management of regional economic
- management of reservoir operation
- management of run of mine
- management of sand mining in river & lake
- management of sand mining in Yangzi river
- management of school financial affairs
- management of science and technology
- Management of Scientific and Technical Archives
- management of sea use in China
- management of seed orchard
- management of soil and water conservation facilities
- management of staffing
- management of surveying and mapping archives
- management of technology
- management of the change of electronic records
- management of trees and shrubs
- management of urban-rural integration
- management of use ofpressure vessel
- management of water and soil resources
- management of water conservancy industry