理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- homomorphism of rings
- homomorphism of semigroups
- homomorphism of sheaves
- homomorphism of structures
- homomorphism of topalogical groups
- homomorphism of topological groups
- homomorphism of vector spaces
- homomorphism theorem
- homomorphous
- homomorphous group
- homomorphous mapping
- homomorphy
- homonology
- homonuclear
- homonuclear decoupling
- homonuclear molecule
- homonym
- homonymous term
- homonymy
- homopause
- homophase
- homophobia
- homophone
- homophone group in a rhyme dictionary
- Homophony