理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- schizoaffective disorder
- schizocarp
- schizochroal eye
- schizocoel
- schizogenesis
- schizogeny
- schizonepeta
- schizonepetae herba
- schizont
- schizophrenia
- schizophrenia spectrum disorders
- schizophyte
- schizotypal personality
- schizotypal personality disorder
- Schlegel Brothers
- Schlegel's Japanese gecko
- Schlenk line
- Schlenk线
- Schlesinger
- Schlesinger crater
- Schlesinger equations
- Schleswig-Holstein
- Schleswig-Holstein question
- schlicht
- schlichtartig