节点文献
未雨绸缪——净室软件工程技术
Cleanroom Software Engineering Technology
【摘要】 净室软件工程是一种强调正确性的数学验证和软件可靠性的新型软件工程技术 ,本文介绍了净室软件工程的原理和净室参考模型 ,并就净室技术的—些问题进行了探讨 .
【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.
【关键词】 净室软件工程;
净室技术可靠性;
【Key words】 cleanroom software engineering; cleanroom technology; reliability.;
【Key words】 cleanroom software engineering; cleanroom technology; reliability.;
- 【文献出处】 阜阳师范学院学报(自然科学版) ,Journal of Fuyang Teachers College Natural Sciences , 编辑部邮箱 ,2004年01期
- 【分类号】TP311.52
- 【被引频次】3
- 【下载频次】106