理学 软件工程方法 释 cleanroom software engineering 净室软件工程 一种支持软件可靠性验证的软件工程方法。其主要特点是基于形式化方法进行软件规约和校验，以及基于统计进行软件质量控制和正确性测试。
软件工程 释文 cleanroom software engineering 净室软件工程
- AM screening
- Amsler
- Amsler planimeter
- Am star
- Amsterdam
- Amsterdam Circle of Chief Economists
- Amsterdam planning
- Amsterdam Royal Concertgebouw Orchestra
- AMTI radar
- A. M. Turing
- A. M. Turing (1912—1954)
- AMU
- Amu Darya
- Amu Darya Treasure
- Amud human remains
- A Multi-perspective Study on the Development of Opera Music in the 20th Century
- a multiphase transport model
- A Multitude of Melodies, Classified and Selected
- Amundsen Basin
- Amundsen crater
- Amundsen Gulf
- Amundsen-Scott Station
- Amundsen Sea
- Amur bush honeysuckle
- Amur corktree