理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- The Entomological Society of China
- The Environmental and Resource Protsction Committee of the National People's Congress
- the environmental behaviors of rodenticides
- the environmental impacts of mega construction project
- the environmental nutrition of aquatic animal
- The Envoy's Journey in Song Dynasty
- The Eolian Harp
- The Epicenter is in the Hearts of the People
- the epidemic intensity of disease
- the epigenetic mark
- The Equation of Love and Death
- the equation of Young and Laplace
- the equations of front secondary circulation
- the Erlangen School
- The Esoterica of Master Dou
- the essay of calligraphy strokes discussion
- The Essence of Chinese crosstalk
- The Essence of Christianity
- The Essence of Religion
- The Essence of the Novel
- The Essence Set of Acupuncture Classic
- The Essential Keys of Ancient Proses
- The Essentials of Government during the Reigns of Three Emperors of Late Song Dynasty
- The Essentials of Painting
- The Essentials of the Mongolian Language