Institutional Repository
| 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 | |
| 2008 | |
| Source | Frontiers of Computer Science in China
 |
| Volume | 2Issue:1Pages:1-11 |
| English Abstract | 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. |
| Indexed Type | ei |
| Keyword | Concurrency Theory Real-time System Automated Reasoning Formal Specification Parallel Algorithms Software Process Middleware Computer Graphics Human-computer Interaction |
| Department | 计算机科学国家重点实验室 |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/2881 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment