理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- agricultural
- Agricultural Adjustment Act
- Agricultural Adjustment Administration
- Agricultural and Forest Meteorology
- agricultural and forest residues
- agricultural and forestry waste energy and chemical industry system
- agricultural and forestry waste poly-generation system
- agricultural and rural archives work
- agricultural animal growth model
- agricultural antibiotic
- agricultural aoil and water engineering
- Agricultural Archaeology
- agricultural archaeology
- agricultural archives management
- agricultural aviation
- agricultural bidding rent curve
- agricultural bioenergy
- agricultural bioenergy development complete sets of equipment
- agricultural biological
- agricultural biological weapons
- agricultural biomass energy end product
- agricultural biomass energy poly-generation products
- agricultural biomass materials logistic system
- agricultural biomass technology and equipment
- agricultural biometeorology