中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 81-90 of 92)

Items/Page:    Sort:
evaluation of sat-based bounded model checking of actl properties [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui
  |  
 
automated large-scale simulation test-data generation for object-oriented software systems [会议论文]
1st International Symposium on Data, Privacy and E-Commerce (ISDPE 2007), Chengdu, PEOPLES R CHINA, NOV 01-03,
Zheng Yujun; Ma Yan; Xue Jinyan
  |  
 
a new approach for overload management in content-based publish/subscribe [会议论文]
2nd International Conference on Software Engineering Advances - ICSEA 2007, Cap Esterel, France, August 25,
Guo Xiangfeng; Zhong Hua; Wei Jun; Han Dongli
  |  
 
基于SPEM2XPDL模型转换的软件过程执行 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 9, 页码: 2141-2152
袁峰; 李明树
  |  
 
qscm: engineering qos in web-based software configuration management system [会议论文]
IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006), Hong Kong, PEOPLES R CHINA, DEC 18-22,
Wang Xiuli; Wang Yongji; Zhou Hui
  |  
 
Development of Software Engineering: A Research Perspective [期刊论文]
计算机科学技术学报(英文版), 2006-01-01, 卷号: 21, 期号: 5, 页码: 682-696
Hong Mei; Dong-Gang Cao; Fu-Qing Yang
  |  
 
support vector regression for software reliability growth modeling and prediction [会议论文]
2nd International Symposium on Neural Networks, Chongqing, PEOPLES R CHINA, MAY 30-JUN
Xing F; Guo P
  |  
 
conformance testing of bdi properties in agent-based software systems [会议论文]
12th Asia-Pacific Software Engineering Conference, APSEC'05, Taipei, Taiwan, 40878
Zheng M.; Alagar V.S.
  |  
 
path-oriented test data generation using symbolic execution and constraint solving techniques [会议论文]
2nd International Conference on Software Engineering and Formal Methods, Beijing, PEOPLES R CHINA, SEP 28-30,
Zhang J; Xu C; Wang XL
  |  
 
ERP系统中持久对象动态性研究 [期刊论文]
计算机集成制造系统, 2003-01-01, 卷号: 9, 期号: 5, 页码: 378-383
边世红; 薛劲松; 宋学艳
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace