×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [9]
内容类型
期刊论文 [5]
会议论文 [3]
学位论文 [1]
发表日期
2010 [9]
学科主题
Computer S... [4]
Artificial... [1]
Electrical... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共9条,第1-9条
帮助
限定条件
发表日期:2010
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
SRL→Radl生成系统及其相关理论研究
学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2012/06/20
结构化需求语言
形式化软件规约
生成系统
范畴论
规约相对正确性
an algebraic approach to mechanical tabu search algorithm generation
会议论文
2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878
Zheng Yujun
;
Shi Haihe
;
Xue Jinyun
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/03/31
Algebra
Automatic programming
Combinatorial optimization
Information science
Learning algorithms
Machinery
Specifications
a robust dynamic niching genetic algorithm with niche migration for automatic clustering problem
期刊论文
PATTERN RECOGNITION, 2010, 卷号: 43, 期号: 4, 页码: 1346-1360
Chang Dong-Xia
;
Zhang Xian-Da
;
Zheng Chang-Wen
;
Zhang Dao-Ming
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/05/24
Clustering
Genetic algorithms
Niching method
Niche migration
Remote sensing image
基于二进制补丁比对的软件输入数据自动构造
期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 14, 页码: 3169-3173
沈亚楠
;
赵荣彩
;
任华
;
王小芹
;
刘振华
;
张新宇
;
李鹏飞
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/05/23
软件二进制补丁比对
函数调用图
遗传算法
适应值函数
软件输入数据自动构造software binary path difference
function call graph
evolutionary algorithm
fitness function
automatic software input data construct
constraint solving techniques for software testing and analysis
会议论文
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Ma Feifei
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/03/31
Automatic programming
Computer software selection and evaluation
Software engineering
Software testing
JUTA:一个Java自动化单元测试工具
期刊论文
计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊
;
郭涛
;
阮辉
;
玄跻峰
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/05/23
Java单元测试
动态测试
静态测试
程序分析
符号执行Automatic testing
Data flow analysis
Errors
Java programming language
Regression analysis
Steel bridges
基于pCTL的循环优化测试用例自动生成方法
期刊论文
小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440
余侠
;
薛云志
;
陶秋铭
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/05/23
pCTL
循环优化
测试用例生成
覆盖率pCTL
loop optimization
test case generation
coverage test
an automatic testing approach for compiler based on metamorphic testing technique
会议论文
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Tao Qiuming
;
Wu Wei
;
Zhao Chen
;
Shen Wuwei
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/03/31
Automation
Errors
Fault detection
Program compilers
Semantics
Software design
Testing
一种基于适应度函数遗传算法的公平交换协议自动生成方法
期刊论文
电子学报, 2010, 卷号: 38, 期号: 5, 页码: 1089-1094
刘冬梅
;
卿斯汉
;
侯玉文
;
李鹏飞
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2011/05/23
公平交换协议
协议自动生成
公平性Function evaluation
Genetic algorithms
Network protocols
©版权所有 ©2017 CSpace - Powered by
CSpace