理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- orthonormality
- orthonormality condition
- orthonormality relation
- orthonormality theorem in elastic scattering
- orthonormalization
- orthonormalization process
- orthonormalized functions
- orthonormalized polynomials
- orthonormal moving frame
- orthonormal polynomials
- orthonormal sequence
- orthonormal set
- orthonormal system
- orthonormal system of functions
- orthonormal system of vectors
- orthonormal tetrad
- orthonormal transformation
- orthonormal vectors
- orthonormal wavelet
- orthopaedic polymer
- orthopanchromatic film
- ortho-para conversion
- ortho/para directing
- ortho para directing group
- ortho-para directing group