| 未雨绸缪——净室软件工程技术 |
| |
| 引用本文： | 何胜.未雨绸缪——净室软件工程技术[J].阜阳师范学院学报(自然科学版),2004,21(1):41-43. |
| |
| 作者姓名： | 何胜 |
| |
| 作者单位： | 中国科学技术大学软件学院,合肥,230000 |
| |
| 摘 要： | 净室软件工程是一种强调正确性的数学验证和软件可靠性的新型软件工程技术 ,本文介绍了净室软件工程的原理和净室参考模型 ,并就净室技术的—些问题进行了探讨 .
|
| 关 键 词： | 净室软件工程 净室技术可靠性 |
| 文章编号： | 1004-4329(2004)01-0041-03 |
| 修稿时间： | 2004年1月12日 |
Cleanroom Software Engineering Technology |
| |
| He,Sheng.Cleanroom Software Engineering Technology[J].Journal of Fuyang Teachers College:Natural Science,2004,21(1):41-43. |
| |
| Authors: | He Sheng |
| |
| 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. |
| |
| Keywords: | cleanroom software engineering cleanroom technology reliability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
