理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- Succession planning
- Succession Regulation
- succession sere
- succession stage
- successive
- successive adjunction
- successive application
- successive approximation
- successive approximation method
- successive approximation shaping
- successive consequent
- successive derivatives
- successive diagonalization
- successive differences
- successive division
- Successive Eight-trigram Palms
- successive elimination
- successive emission
- successive glare
- successive injection
- successive integers
- successive intersections
- successive iteration
- successive line
- successive minima