机构

• 软件研究所 [10]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [8]
• 学位论文 [2]

发表日期

• 2012 [1]
• 2010 [4]
• 2009 [1]
• 2007 [2]
• 2006 [2]

学科主题

• 计算机软件 [1]
• 计算机软件::软件工... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于PAR的排序算法自动生成研究 期刊论文  OAI收割 软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260 石海鹤; 薛锦云   |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17 排序算法  自动生成  领域特定语言  形式化模型  PAR方法   基于PAR的置换和查找类算法的自动生成研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2010 石海鹤   |  收藏  |  浏览/下载：9/0  |  提交时间：2012/01/12 PAR方法  置换  查找  算法生成   循环不变式开发技术研究 期刊论文  OAI收割 计算机工程与科学, 2010, 卷号: 32, 期号: 9, 页码: 84-88,94 万松松; 薛锦云; 谢武平   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/05/23 循环不变式  PAR方法  高可靠性软件  谓词抽象   后序遍历二叉树非递归算法的推导及形式化证明 期刊论文  OAI收割 计算机工程与科学, 2010, 卷号: 32, 期号: 3, 页码: 119-123 左正康; 游珍; 薛锦云   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/05/23 后序遍历二叉树  循环不变式  PAR方法  非线性数据结构  Dijkstra-Gries标准程序证明法   Huffman算法程序的形式化推导 期刊论文  OAI收割 计算机工程, 2010, 卷号: 36, 期号: 5, 页码: 49-51 王昌晶; 罗海梅; 左正康; 薛锦云   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/05/23 PAR方法  形式化推导  最优编码  Huffman算法   基于PAR的高可信装备保障算法推演 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2009 郑宇军   |  收藏  |  浏览/下载：22/0  |  提交时间：2010/01/15 PAR 方法，装备保障，组合优化，算法形式化推演   形式化开发Hanoi塔问题非递归算法 期刊论文  OAI收割 计算机工程与应用, 2007, 期号: 11, 页码: 96-99 石海鹤; 石海鹏; 薛锦云 收藏  |  浏览/下载：77/12  |  提交时间：2011/07/01 Hanoi塔问题  形式化方法  非递归  PAR方法  循环不变式   形式化开发Hanoi塔问题非递归算法 期刊论文  OAI收割 计算机工程与应用, 2007, 期号: 11, 页码: 96-99 石海鹤; 石海鹏; 薛锦云   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/01 Hanoi塔问题  形式化方法  非递归  PAR方法  循环不变式   循环不变式开发新策略及其应用 期刊论文  OAI收割 计算机工程与应用, 2006, 期号: 4, 页码: 105-107,161 石海鹤; 肖正兴; 薛锦云   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/13 循环不变式  算法程序  形式化方法  PAR方法   形式化开发若干组合数学问题的算法 期刊论文  OAI收割 江西师范大学学报(自然科学版), 2006, 期号: 5, 页码: 423-427 石海鹤; 石海鹏; 薛锦云   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/07/13 形式化推导  PAR方法  算法程序