理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- augmenting operator
- augmenting path
- augment reality
- augment reality, AR
- Augsburg
- Augsburg Confession
- auguestine grass
- August 1 Movie
- August 1st Air Demonstration Team of China PLA Air Force
- August 1st Declaration
- August 23 Armed Insurrection in Romania
- August 7th Conference
- Augusta
- Augusta family
- Augusta Jawara
- August Bournonville
- Auguste Camille Edmond Rateau
- Auguste Comte
- Auguste de Montferrand
- Auguste Laurent
- Auguste Perret
- Auguste Rodin
- Auguste Vestris
- August Ferdinand Hermann Kretschmar
- August Ferdinand Mobius