理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- thebaine
- The BaiSi Battle between Northern Wei and Yan of Murong
- the Baiyu Poets’ Club
- The Ballad of Narayama
- The Ball Shot by a Midjet
- The Baltic and International Maritime Council
- The Bangkok Recorder
- the banking hall
- The Bank of Amsterdam
- The Banquet
- the banquet given by Emperor Taizu of Song to divest his generals of their command
- The Baptism of Christ
- The Barbarian Invasions
- The Barber of Siberia
- The Bard
- The Barlow Report
- the barrier free facilities for disability
- The Bartered Bride
- The Bartolini Tondo
- The Baruch Plan
- the basal metabolic rate of livestock
- the base population in aquatic breeding
- The basic Commander known as Juangjiang in Northern Wei Dynasty
- the basic equation of the flow bed process
- the basic laws of the France