CORC

在结果中检索

CORC

浏览/检索结果: 共19条，第1-10条 帮助

限定条件                    
已选(0)清除 条数/页：   排序方式：
一种软件特征模型扩展和演化分析方法 期刊论文
软件学报, 2016, 卷号: 27, 期号: 5, 页码: 1212-1229
胡洁; 王青
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
一种模型驱动的可视化生成系统 期刊论文
软件学报, 2016, 卷号: 27, 期号: 5, 页码: 1199-1211
杜一; 郭旦怀; 陈昕; 任磊; 戴国忠
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
基于网络的可信软件大规模协同开发与演化 期刊论文
中国科学. 信息科学, 2014, 卷号: 44, 期号: 1, 页码: 1-19
王怀民; 尹刚; 谢冰; 刘旭东; 魏峻; 刘江宁
收藏  |  浏览/下载：68/0  |  提交时间：2014/12/16
基于锁信息的多线程软件原子性错误检测方法 期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 1-4,94
王云飞; 刘剑; 马越
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
基于通用知识的软件设计安全性评估 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 1-6,80
戚荣波; 杜晶; 杨叶
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
基于概率模型检测的Web服务组合验证 期刊论文
计算机科学, 2012, 卷号: 39, 期号: 1, 页码: 120-123
王晶; 戎玫; 张广泉; 祝义
收藏  |  浏览/下载：7/0  |  提交时间：2012/11/12
面向行业应用的软件开发检查工具 期刊论文
计算机工程与设计, 2012, 卷号: 33, 期号: 4, 页码: 1595-1601
吴晓辉; 王致富; 张正
收藏  |  浏览/下载：13/0  |  提交时间：2012/11/12
基于约束理论的作业计划系统研究与实现 期刊论文
计算机工程与设计, 2011, 期号: 4, 页码: 1152-1156,1306
刘玉
收藏  |  浏览/下载：14/0  |  提交时间：2011/10/10
面向协作的软件开发环境及其构造方法 期刊论文
计算机科学与探索, 2011, 期号: 7, 页码: 624-632
窦文生; 王伟; 高楚舒; 魏峻
收藏  |  浏览/下载：29/0  |  提交时间：2011/10/10
一种基于UPPAAL的Web服务组合模型检测方法 期刊论文
计算机科学, 2010, 卷号: 37, 期号: 11, 页码: 122-125
何亚丽; 戎玫; 张广泉
收藏  |  浏览/下载：227/44  |  提交时间：2011/05/23

©版权所有 ©2017 CSpace - Powered by CSpace