理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- business flight
- Business incubation network
- Business Incubator
- business intelligence
- business intelligence, BI
- business intelligence dashboard
- business intelligence in chemical engineering
- business interruption insurance
- business jet FBO
- business judgment rule
- business law
- business leasing
- business license for broker house in ancient China
- business life cycle
- business loans
- business logic
- business management layer
- business management talent
- business media
- business model innovation
- business model of e-commerce
- business model of export credit insurance
- Business model reconstruction
- business newspaper
- business-opening opera