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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Frontiers of Computer Science Ročník 2; číslo 1; s. 1 - 11
Hlavní autoři: Zhang, Jian, Zhang, Wenhui, Zhan, Naijun, Shen, Yidong, Chen, Haiming, Zhang, Yunquan, Wang, Yongji, Wu, Enhua, Wang, Hongan, Zhu, Xueyang
Médium: Journal Article
Jazyk:angličtina
Vydáno: Heidelberg SP Higher Education Press 01.03.2008
Springer Nature B.V
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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