未雨绸缪——净室软件工程技术  

Cleanroom Software Engineering Technology

作　　者：何胜[1] 

机构地区：[1]中国科学技术大学软件学院,合肥230000

出　　处：《阜阳师范学院学报（自然科学版）》2004年第1期41-43,共3页Journal of Fuyang Normal University(Natural Science)

摘　　要：净室软件工程是一种强调正确性的数学验证和软件可靠性的新型软件工程技术 ,本文介绍了净室软件工程的原理和净室参考模型 ,并就净室技术的—些问题进行了探讨 .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.

关 键 词：净室软件工程 净室技术 软件可靠性 面向对象 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]