理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- unsymmetrical three-phase circuit
- unsymmetrical top
- unsymmetry
- untensioned
- unterminated line
- untethered operated vehicle
- untextured
- untightness
- untitled
- untouchability
- untouchable number
- untranslated region
- untranslated regions
- untranslated regions (UTR)
- untuned
- untuned aerial
- untuned amplifier
- untwining rope pulse
- untwinned
- untwisted affine Kac Moody algebra
- untwisted affine Kac-Moody algebra
- U Nu
- UNU
- Unuk al Hai
- Unukalhai