理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- document information source
- document management
- document microform storage and retrieval system
- document microphotography technology
- document object model
- document object model, DOM
- document of health supervision
- document ordering
- document organization
- document paste on memorial to the throne in Ming dynasty
- document preservation education
- document preservation plan
- document preservation policy
- document purchasing through public bidding
- document registration
- document relevancy ranking
- document reorganizing method
- document representation
- document research
- document resources building
- document retrieval
- Documents about Chu Ci on the Bamboo Slips Collected by Shanghai Museum
- Documents Concerning Zunyi Conference
- documents delivery
- documents distribute