【摘要】 净室软件工程是一种强调正确性的数学验证和软件可靠性的新型软件工程技术 ,本文介绍了净室软件工程的原理和净室参考模型 ,并就净室技术的—些问题进行了探讨 .更多还原

【Abstract】 Cleanroom software Engineering is a new software Engineering technology which emphasizes correct math verification and software reliability.In this paper,we introduces the principle of cleanroom software engineering and cleanroom reference model.and then gives some discussions about problems of the cleanroom technology.更多还原