basic research in computer science and software engineering at sklcs

	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
发表期刊	Frontiers of Computer Science in China
卷号	2 期号:1 页码:1-11
摘要	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
关键词	Concurrency Theory Real-time System Automated Reasoning Formal Specification Parallel Algorithms Software Process Middleware Computer Graphics Human-computer Interaction
部门归属	计算机科学国家重点实验室
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/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.