机构

• 软件研究所 [18]

采集方式

• OAI收割 [18]

内容类型

• 会议论文 [11]
• 期刊论文 [7]

发表日期

• 2014 [1]
• 2010 [2]
• 2008 [3]
• 2006 [7]
• 2005 [1]
• 2002 [2]
• 更多

学科主题

• Artificial... [3]
• Computer S... [3]

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |   knowledge-theoretic approach to formal verification of web services protocols 会议论文  OAI收割 2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2010, Beijing, China, 37453 Yao Guoxiang; Chen Qingliang; Liu Chanjuan; Yang Zhuolin   |  收藏  |   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   |  收藏  |   generating algorithms plus loop invariants by formal derivation 会议论文  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; Du Dawei; Xue Jinyun   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 Knowledge-Based Systems, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen Haiming; Yunmei Dong   |  收藏  |