期刊文献+

净室软件工程中的旋进策略

INCREMENT METHOD FOR CLEAN ROOM
下载PDF
导出
摘要 在阐述净室方法的基础上 ,给出了将旋进策略扩展到设计阶段细节的方法。研究证明 ,旋进策略不仅简化了一致性规约 。 Based on the explanation of the clean room method, this paper presents the increment method which is introduced to design details. Further study confirms that the increment method can not only simplify the consistent reduce, but also improve the flexibility of the engineering process locally.
出处 《青岛大学学报(工程技术版)》 CAS 2000年第3期29-32,共4页 Journal of Qingdao University(Engineering & Technology Edition)
基金 国家自然科学基金资助项目! ( 79570 0 4 7)
关键词 净室 规约 软件工程 旋进策略 cleanroom reduce increment
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部