净室软件工程
- 网络cleanroom software engineering; Cleanroom; Roger S.Pressman
净室软件工程净室软件工程
cleanroom software engineering
这种方法的一个变型是净室软件工程（cleanroom software engineering）[Mil87, Dye92]，这一软件工程方法目前已应用于一些 …
Cleanroom
净室软件工程( Cleanroom )是软件开发的一种形式化方法，可以开发较高质量的软件。净室开发方法基于数学中的函数理论。
Roger S.Pressman
净室软件工程 (Roger S.Pressman博士)哥德尔不完备性定理(董世平) 20世纪数理逻辑的概貌（李娜） 形式化方法的发展及展望…
1