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

Search Results

Help

Item hits: (Results 11-20 of 28)

Filters    
Items/Page:    Sort:
a mechanical approach for deriving algorithmic programs [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Xue Jinyun; Du Dawei
  |  
 
test data generation for c programs with string-handling functions [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Ruan Hui; Zhang Jian; Yan Jun
  |  
 
reasoning with recursive loops under the plp framework [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008-01-01, 卷号: 9, 期号: 4, 页码: -
Shen Yi-Dong
  |  
 
双重软件体系结构描述框架XYZ/ADL [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
 
what semantic equivalences are suitable for non-interference properties in computer security [会议论文]
9th International Conference on Information and Communications Security, ICICS 2007, Zhengzhou, China, 40878
Huang Xiaowei; Jiao Li; Lu Weiming
  |  
 
efficient state space reduction for automata by fair simulation [会议论文]
International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19,
Yi Jin; Zhang Wenhui
  |  
 
a high performance solution for automated computer examination systems [会议论文]
2007 1st International Symposium on Information Technologies and Applications in Education, ISITAE 2007, Kunming, China, 40849
Zheng Yujun; Wang Lianlai; Xue Jinyun
  |  
 
towards semi-automatic generation of provably correct algorithmic programs [会议论文]
8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing/3rd ACIS International Workshop on Self-Assembling Wireless Networks, Qungdao, PEOPLES R CHINA, JUL 30-AUG
Shi Haihe; Xue Jinyun
  |  
 
from mathematics to software engineering: introducing category theory into the computer science curriculum [会议论文]
7th International Conference on Computational Science (ICCS 2007), Beijing, PEOPLES R CHINA, MAY 27-30,
Zheng Yujun; Shi Haihe; Xue Jinyun
  |  
 
towards practical computable functions on context-free languages [会议论文]
3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20,
Chen Haiming; Dong Yunmei
  |  
 

previous 1 2 3 next

 

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