节点文献

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

Cleanroom Software Engineering Technology

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 何胜

【Author】 He Sheng (Software School of University of Science and Technology of China,Hefei230000)

【机构】 中国科学技术大学软件学院 合肥230000

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

【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.

  • 【文献出处】 阜阳师范学院学报(自然科学版) ,Journal of Fuyang Teachers College Natural Sciences , 编辑部邮箱 ,2004年01期
  • 【分类号】TP311.52
  • 【被引频次】3
  • 【下载频次】106
节点文献中: 

本文链接的文献网络图示:

本文的引文网络