理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- ferruginosity
- ferruginous mass flow in steel manufacturing process
- Ferry
- ferry
- ferry-boat
- ferry station
- ferry transport
- Fersman, Aleksander Yevgenyivich
- Fersman crater
- Fert, Albert
- fertigation
- fertigation/chemigation integration
- fertile
- fertile absorber
- fertile cropping
- fertile cross-section
- fertile eye
- fertile frond
- fertile isotope
- fertile leaf
- fertile nuclide
- fertile soil project
- fertility
- Fertility Desire
- fertility factor