×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [23]
内容类型
会议论文 [9]
学位论文 [8]
期刊论文 [6]
发表日期
2013 [2]
2012 [1]
2011 [4]
2010 [4]
2009 [4]
2008 [1]
更多...
学科主题
Computer S... [4]
Artificial... [3]
Computer S... [1]
计算机软件::软件工... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共23条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Cascade: A test generation tool for combinatorial testing
会议论文
IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, March 18, 2013 - March 20, 2013
Zhao, Yong (1)
;
Zhang, Zhiqiang (1)
;
Yan, Jun (2)
;
Zhang, Jian (1)
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
combinatorial testing
test generation
constrained optimization
parameter constraints
hGuard: A Framework to Measure Hypervisor Critical Files
会议论文
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013
Ding, Baozeng
;
He, Yeping
;
Zhou, Qiming
;
Wu, Yanjun
;
Wu, Jingzheng
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2014/12/16
Hypervisor
critical files
integrity
measurement
combinatorial testing on id3v2 tags of mp3 files
会议论文
5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17, 2012 - April 21, 2012
Zhang Zhiqiang
;
Liu Xiaojian
;
Zhang Jian
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/22
Models
Software testing
一种电子政务应用软件的第三方测评策略及工具
学位论文
硕士, 北京: 中国科学院研究生院, 2011
陈心光
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2011/06/08
计算机软件::软件工程
stable cohesion metrics for evolving ontologies
期刊论文
Journal of Software Maintenance and Evolution, 2011, 卷号: 23, 期号: 5, 页码: 343-359
Ma Yinglong
;
Wu Haijiang
;
Ma Xinyu
;
Jin Beihong
;
Huang Tao
;
Wei Jun
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/10/08
Adhesion
Project management
Semantics
estimating software maintenance effort from use cases: an industrial case study
会议论文
27th IEEE International Conference on Software Maintenance, ICSM 2011, Williamsburg, VA, United states, September
Ku Yan
;
Du Jing
;
Yang Ye
;
Wang Qing
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/10/08
Estimation
Industrial applications
Industry
Life cycle
Regression analysis
a property-based attestation scheme with the variable privacy
会议论文
10th IEEE Int. Conf. on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, 8th IEEE Int. Conf. on Embedded Software and Systems, ICESS 2011, 6th Int. Conf. on Frontier of Computer Science and Technology, FCST 2011, Changsha, China, November 1
Qin Yu
;
Chang Dexian
;
Zhao Shijun
;
Zhang Qianying
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/10/08
Computer privacy
Embedded systems
Experiments
SRL→Radl生成系统及其相关理论研究
学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2012/06/20
结构化需求语言
形式化软件规约
生成系统
范畴论
规约相对正确性
软件项目资源优化调度研究
学位论文
博士, 北京: 中国科学院研究生院, 2010
谢利子
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2010/06/03
软件过程建模
软件项目管理
人员能力
资源调度
风险
项目缓冲
过程模拟
partial constraint checking for context consistency in pervasive computing
期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2010, 卷号: 19, 期号: 3, 页码: -
Xu Chang
;
Cheung S. C.
;
Chan W. K.
;
Ye Chunyang
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/05/23
Algorithms
Performances
Theory
Constraints
performance
pervasive computing
validation
©版权所有 ©2017 CSpace - Powered by
CSpace