basic research in computer science and software engineering at sklcs
文献类型：期刊论文
| 作者 | Zhang Jian ; Zhang Wenhui ; Zhan Naijun ; Shen Yidong ; Chen Haiming ; Zhang Yunquan ; Wang Yongji ; Wu Enhua ; Wang Hongan ; Zhu Xueyang |
| 刊名 | Frontiers of Computer Science in China
 |
| 出版日期 | 2008 |
| 卷号 | 2期号:1页码:1-11 |
| 关键词 | concurrency theory real-time system automated reasoning formal specification parallel algorithms software process middleware computer graphics human-computer interaction |
| 中文摘要 | The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years. |
| 收录类别 | EI |
| 语种 | 英语 |
| 公开日期 | 2010-07-23 |
| 源URL | [http://124.16.136.157/handle/311060/2881]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | Zhang Jian,Zhang Wenhui,Zhan Naijun,et al. basic research in computer science and software engineering at sklcs[J]. Frontiers of Computer Science in China,2008,2(1):1-11. |
| APA | Zhang Jian.,Zhang Wenhui.,Zhan Naijun.,Shen Yidong.,Chen Haiming.,...&Zhu Xueyang.(2008).basic research in computer science and software engineering at sklcs.Frontiers of Computer Science in China,2(1),1-11. |
| MLA | Zhang Jian,et al."basic research in computer science and software engineering at sklcs".Frontiers of Computer Science in China 2.1(2008):1-11. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。