Basic research in computer science and software engineering at SKLCS
作者： Jian Zhang , Wenhui Zhang , Naijun Zhan , Yidong Shen , Haiming Chen
DOI: 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. topics the laboratory include: concurrency theory, theory algorithms for real-time systems, formal specifications based on context-free grammars, semantics programming languages, model checking, automated reasoning, logic programming, testing, process improvement, middleware technology, parallel software, graphics human-computer interaction. This paper describes these some detail summarizes results obtained recent years.
springer.com
core.ac.uk
ios.ac.cn 
sci-hub.se 参考文章(108)
Alexander Wise, Junchao Xiao, Leon J. Osterweil, Qing Wang, Lei Zhang, Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM: Research Sections Software Process: Improvement and Practice. ,vol. 12, pp. 437- 448 ,(2007) , 10.1002/SPIP.V12:5
Chaochen Zhou, Michael R. Hansen, Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris) SpringerVerlag. ,(2004)
Feng Yuan, Mingshu Li, Zhigang Wan, SEM2XPDL: Towards SPEM Model Enactment. Software Engineering Research and Practice. pp. 240- 245 ,(2006)
Nao Li, Mingshu Li, Shuanzhu Du, Qing Wang, A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment. software engineering and knowledge engineering. pp. 664- 669 ,(2006)
Wenhui Zhang, Zhuo Huang, Jian Zhang, Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances pacific rim international conference on artificial intelligence. pp. 108- 117 ,(2002) , 10.1007/3-540-45683-X_14
Rongjie Yan, Guangyuan Li, Zhisong Tang, Symbolic Model Checking of Finite Precision Timed Automata Theoretical Aspects of Computing – ICTAC 2005. pp. 272- 287 ,(2005) , 10.1007/11560647_18
Qing Wang, Mingshu Li, Software process management: practices in china Lecture Notes in Computer Science. pp. 317- 331 ,(2005) , 10.1007/11608035_27
Mingshu Li, Assessing 3-D Integrated Software Development Processes: A New Benchmark Software Process Change. pp. 15- 38 ,(2006) , 10.1007/11754305_3
Mingshu Li, Expanding the horizons of software development processes: a 3-D integrated methodology Lecture Notes in Computer Science. pp. 54- 67 ,(2005) , 10.1007/11608035_6
Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang, On Mobility of Software Processes Software Process Change. pp. 105- 114 ,(2006) , 10.1007/11754305_12