净室软件工程探讨  

作　　者：游新娥[1] 

机构地区：[1]湖南娄底职业技术学院,湖南娄底417000

出　　处：《湘潭师范学院学报（自然科学版）》2005年第1期31-34,共4页Journal of Xiangtan Normal University (Natural Science Edition)

摘　　要：净室软件工程是软件开发的一种形式化方法 ,它使用盒结构规约进行分析和设计建模 ,强调将正确性验证作为发现和消除错误的主要机制 ,从而大大提高了软件的质量。论述了净室软件工程的理论基础及所使用的主要技术 。

关 键 词：净室软件工程 形式化方法 软件开发 建模 正确性验证 规约 过程 错误 理论基础 实践 

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