|
|||||
|
|
| 净室软件工程探讨 | |
| 作者姓名： | 游新娥 |
| 作者单位： | 湖南娄底职业技术学院,湖南,娄底,417000 |
| 摘 要： | 净室软件工程是软件开发的一种形式化方法，它使用盒结构规约进行分析和设计建模，强调将正确性验证作为发现和消除错误的主要机制，从而大大提高了软件的质量。论述了净室软件工程的理论基础及所使用的主要技术，并阐述了净室过程与其他软件工程实践的关系。 |
| 关 键 词： | 净室软件工程 形式化方法 软件开发 建模 正确性验证 规约 过程 错误 理论基础 实践 |
| 文章编号： | 1671-0231(2005)01-0031-04 |
| 修稿时间： | 2004-10-26 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |