中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
_filter
_filter
_filter
筛选

浏览/检索结果: 共9条,第1-9条 帮助

条数/页: 排序方式:
SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
  |  收藏  |  浏览/下载:33/0  |  提交时间:2014/12/16
quantitative analysis of requirements evolution across multiple versions of an industrial software product 会议论文  OAI收割
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Hailong Wang; Juan Li; Qing Wang; Ye Yang
  |  收藏  |  浏览/下载:24/0  |  提交时间:2011/03/31
a mechanical approach for deriving algorithmic programs 会议论文  OAI收割
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
  |  收藏  |  浏览/下载:21/0  |  提交时间:2011/06/13
basic research in computer science and software engineering at sklcs 期刊论文  OAI收割
Frontiers of Computer Science in China, 2008, 卷号: 2, 期号: 1, 页码: 1-11
Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang
  |  收藏  |  浏览/下载:20/0  |  提交时间:2010/07/23
distinguishing between automatic and manual aspects of model driven development 会议论文  OAI收割
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu
  |  收藏  |  浏览/下载:26/0  |  提交时间:2011/07/28
distinguishing between automatic and manual aspects of model driven development 会议论文  OAI收割
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu
  |  收藏  |  浏览/下载:26/0  |  提交时间:2011/07/28
a metamodel based model transformation approach 会议论文  OAI收割
3rd International Conference on Software Engineering Research, Management and Applications, Mt Pleasant, MI, AUG 11-13,
Duan YC; Cheung SC; Fu XL; Gu YQ
  |  收藏  |  浏览/下载:25/0  |  提交时间:2011/07/28
validating objected-oriented prototype of real-time systems with timed automata 会议论文  OAI收割
13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03,
Shu GQ; Li C; Wang Q; Li MS
  |  收藏  |  浏览/下载:18/0  |  提交时间:2011/07/29
specification analysis and test data generation by solving boolean combinations of numeric constraints 会议论文  OAI收割
1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31,
Zhang J
  |  收藏  |  浏览/下载:17/0  |  提交时间:2011/07/29
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页