理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- terminology management
- terminology of basic music theory
- terminology service
- terminology standardization of minority languages of China
- terminus
- termipoint
- termite control in water conservancy project
- termites
- term life insurance
- term mismatch risk
- term model
- term of a fraction
- term of a logical language
- term of an equation
- term of a polynomial
- term of a predicate logic
- term of a progression
- term of a proportion
- term of a ratio
- term of a sequence
- term of a series
- term of a sum
- term of higher degree
- term of higher order
- term of inverted spectrum