Basic research in computer science and software engineering at SKLCS

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, sema...

Full description

Saved in:
Bibliographic Details
Published in:Frontiers of Computer Science Vol. 2; no. 1; pp. 1 - 11
Main Authors: Zhang, Jian, Zhang, Wenhui, Zhan, Naijun, Shen, Yidong, Chen, Haiming, Zhang, Yunquan, Wang, Yongji, Wu, Enhua, Wang, Hongan, Zhu, Xueyang
Format: Journal Article
Language:English
Published: Heidelberg SP Higher Education Press 01.03.2008
Springer Nature B.V
Subjects:
Algorithms
Automated reasoning
Computer graphics
Computer Science
Formal specifications
Grammars
Logic programming
Middleware
Programming languages
Review Article
Semantics
Software engineering
Software testing
parallel algorithms
computer graphics
human-computer interaction
automated reasoning
concurrency theory
real-time system
formal specification
software process
middleware
ISSN:1673-7350, 2095-2228, 1673-7466, 2095-2236
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1673-7350
2095-2228
1673-7466
2095-2236
DOI:10.1007/s11704-008-0001-3