理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- algebra of sets
- algebra of subsets
- algebra of symmetric functions
- algebra of tensors
- algebra of transformations
- algebra over a field
- algebra over a ring
- algebra package
- algebra representation
- algebras
- algebra situs
- algebra solution of the harmonic oscillator
- algebra with associative powers
- algebra with identity
- algebra with involution
- algebra with operators
- algebra with ploynomial identities
- algebra with polynomial identities
- algebrist
- algebroid
- algebroidal function
- algebroid function
- algebroid singularity
- Algeciras Conference
- Algedi