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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
towards runtime plug-and-play software [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Wang Tao; Zhou Xiaowei; Wei Jun; Zhang Wenbo
  |  
 
data unpredictability in software defect-fixing effort prediction [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
He Zhimin; Shu Fengdi; Yang Ye; Zhang Wen; Wang Qing
  |  
 
generating provably correct algorithmic programs from formal specifications [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Shi Haihe; Xue Jinyun
  |  
 

1

 

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