理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- sheaf of semigroups
- sheaf of sets
- sheaf of spheres
- sheaf of total quotient ring
- sheaf space
- sheaf theory
- shear
- shear Alfven wave
- shear Alfvén wave
- shear angle
- shear band
- shear center
- shear deformation
- shear deformation characteristics of rock mass
- shear difference method
- shear dilation effect
- shear dilution of drilling fluid
- shear distortion
- shear-dominated encounter
- shearer-loader
- shearer's pyrrosia leaf
- shear factor
- shear failure of pier and abutment
- shear field
- shear-flocculation flotation