QQ客服 官方微博 反馈留言

浏览/检索结果: 共10条，第1-10条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 SRLtoRadl生成系统及其范畴论语义 期刊论文 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康 收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   Radl 形式规格说明相对正确性研究 期刊论文 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun 收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   Radl形式规格说明相对正确性研究 期刊论文 软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云 收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   基于问题模式的形式化软件规格说明生成方法 期刊论文 计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康 收藏  |  浏览/下载：7/0  |  提交时间：2013/09/17 形式化软件规格说明  生成方法  问题模式  模型精化演算  算法程序   基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文 计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873 王昌晶 收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 循环优化  可信编译  扩展逻辑变换系统  循环变换  辅助证明算法   automatically generated formal specification based on the problem decomposition tree 期刊论文 Qinghua Daxue Xuebao/Journal of Tsinghua University, 2012, 卷号: 52, 期号: SUPPL.1, 页码: 88-92 Wang Changjing 收藏  |  浏览/下载：9/0  |  提交时间：2013/09/17 Forestry  Knowledge based systems   SRL→Radl生成系统及其相关理论研究 学位论文 博士, 北京: 中国科学院研究生院, 2010 王昌晶 收藏  |  浏览/下载：10/0  |  提交时间：2012/06/20 结构化需求语言  形式化软件规约  生成系统  范畴论  规约相对正确性   Huffman算法程序的形式化推导 期刊论文 计算机工程, 2010, 卷号: 36, 期号: 5, 页码: 49-51 王昌晶; 罗海梅; 左正康; 薛锦云 收藏  |  浏览/下载：5/0  |  提交时间：2011/05/23 PAR方法  形式化推导  最优编码  Huffman算法   一类0-1背包问题算法程序的形式化推导 期刊论文 武汉大学学报(理学版), 2009, 期号: 6, 页码: 674-680 王昌晶; 薛锦云 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/18 形式化推导,高可信,组合优化,0-1背包问题   formal derivation of a high-trustworthy generic algorithmic program for solving a class of path problems 会议论文 3rd International Frontiers of Algorithmics Workshop, FAW 2009, Hefei, China, 37427 Wang Changjing; Xue Jinyun 收藏  |  浏览/下载：9/0  |  提交时间：2011/03/20 Algorithms  Computer software