云南高校图书馆联盟文献共享服务平台- 国际科技合作与交流专项项目(2008DFA11940)

国际科技合作与交流专项项目(2008DFA11940): 作品数：11被引量：63H指数：5; 导出分析报告; 相关作者：薛锦云石海鹤游珍王昌晶杨乐更多>>; 相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院江西农业大学更多>>; 相关期刊：《中国科学：信息科学》《计算机与现代化》《武汉大学学报（理学版）》《计算机研究与发展》更多>>; 相关主题：PAR方法PAR形式化方法形式化推导规约更多>>; 相关领域：自动化与计算机技术农业科学更多>>

-

在结果中检索

检索结果分析

结果分析中...

选择条件：

基金=国家重点基础研究发展计划（2003CCA02800）

共条记录，以下是1-1

全选清除导出

参考文献引证文献引用追踪

视图：

排序：

循环不变式开发技术研究被引量：5: 《计算机工程与科学》2010年第9期84-88,94,共6页万松松薛锦云谢武平; 国家自然科学基金资助项目(60773054);国家973计划资助项目(2003CCA02800);科技部国际科技合作项目(2008DFA11940); 高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也...; 关键词：循环不变式 PAR方法高可靠性软件谓词抽象

全选清除导出

共1页<1>

检索报告对象比较聚类工具使用帮助返回顶部