The State Key Laboratory of Computer Science 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,...

We present the design of a small but efficient computer system, a software simulator with a graphical user interface, and supporting software designed to integrate the educational experience of students taking courses in Computer Organization and Architecture, Operating Systems, and Compiler Design. We demonstrate the essential links among these three areas of Computer Science, and discuss how ...

Computer systems can be used to propagate expertise within a professional community of practice, e.g. decision support systems, to drive standardization and systematization of processes, e.g. supply chain management systems. In this paper, we describe a case study that spans fifteen years and documents the co-evolution of a community of software users, which is distributed across continents, an...

Complex systems require an especially high level of coordination and integration. To address this need, the authors developed GenSIF, a generic framework to help developers understand software and integration issues in domain-specific, large-scale systems development. he software research community has expended much effort to identify and specify advanced process models , especially models of t...

1 Database and Information Systems, University of Paderborn, Paderborn, Germany 2 Software Systems Engineering, Brandenburg University of Technology, Cottbus, Germany 3 Software Engineering, University of Paderborn, Paderborn, Germany 4 Real-Time Systems Lab, Darmstadt University of Technology, Darmstadt, Germany 5 Applied Computer Science I (Software Engineering), University of Bayreuth, Bayre...

Computer hardware and software are resources without which the modern business of any organization, from manufacturing to services, is impossible. Not enough attention is being payed to maintenance of computer systems as an aspect of business. This paper gives some recommendations for the selection of the computer systems maintenance approach, based on many years of experience maintaining these...

A solid education in optical devices and optical communication systems must include an understanding of the basic building blocks of optical devices and networks as well as the interplay between them. Software vendors, such as Optiwave Systems Inc., provide free as well as for-purchase software tools that can be used in classroom and computer labs as an educational aid. This paper examines the ...