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žené v:
Podrobná bibliografia
Vydané v:Frontiers of Computer Science Ročník 2; číslo 1; s. 1 - 11
Hlavní autori: 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:English
Vydavateľské údaje: Heidelberg SP Higher Education Press 01.03.2008
Springer Nature B.V
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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.
Bibliografia: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