机构

• 软件研究所 [11]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [6]
• 会议论文 [5]

发表日期

• 2014 [1]
• 2008 [1]
• 2006 [6]
• 2005 [1]
• 2002 [1]
• 2001 [1]
• 更多

学科主题

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

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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 HM; Dong YM   |  收藏  |   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   |  收藏  |   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   |  收藏  |