Basic research in computer science and software engineering at SKLCS

被引：0

作者：

Zhang J. ^{[1
]}

Zhang W. ^{[1
]}

Zhan N. ^{[1
]}

Shen Y. ^{[1
]}

Chen H. ^{[1
]}

Zhang Y. ^{[1
]}

Wang Y. ^{[1
]}

Wu E. ^{[1
]}

Wang H. ^{[1
]}

Zhu X. ^{[1
]}

机构：

[1] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

来源：

Frontiers of Computer Science in China | 2008年 / 2卷 / 1期

关键词：

Automated reasoning; Computer graphics; Concurrency theory; Formal specification; Human-computer interaction; Middleware; Parallel algorithms; Real-time system; Software process;

D O I：

10.1007/s11704-008-0001-3

中图分类号：

学科分类号：

摘要：

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. © 2008 Higher Education Press.

引用

页码：1 / 11

页数：10

共 50 条

[1] Science, Mathematics, Computer Science, Software Engineering†
Hamlet, Dick
[J]. COMPUTER JOURNAL, 2012, 55 (01): : 99 - 110
[2] SOFTWARE ENGINEERING AND COMPUTER-SCIENCE
HSIA, P
[J]. COMPUTER, 1979, 12 (10) : 87 - 88
[3] SOFTWARE ENGINEERING IS NOT COMPUTER-SCIENCE
ENGLE, CB
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 376 : 257 - 262
[4] Research on the Reverse Engineering of Computer Software
Wang, Yanwei
[J]. 2015 SSR INTERNATIONAL CONFERENCE ON SOCIAL SCIENCES AND INFORMATION (SSR-SSI 2015), PT 2, 2015, 11 : 788 - 792
[5] Research Software Science: Expanding the Impact of Research Software Engineering
Heroux, Michael A.
[J]. COMPUTING IN SCIENCE & ENGINEERING, 2022, 24 (06) : 22 - 27
[6] Software engineering programmes are not computer science programmes
Parnas, DL
[J]. ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 19 - 37
[7] The Software Engineering Analysis in Computer Science and Technology
Zhou Shanguo
[J]. PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, COMPUTER AND SOCIETY, 2016, 37 : 1429 - 1432
[8] Software engineering practice in computer science courses
Chatterjee, Shoma
[J]. ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 611 - 616
[9] Signs of a revolution in computer science and software engineering
Zambonelli, F
Van Dyke, PH
[J]. ENGINEERING SOCIETIES IN THE AGENTS WORLD III, 2003, 2577 : 13 - 28
[10] SOFTWARE ENGINEERING IN A BS IN COMPUTER-SCIENCE
WEIS, RL
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 376 : 304 - 309

← 1 2 3 4 5 →