Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the full software system's complexity. It allows software designers to get an overview on the system underdevelopmentandtoanalyzeitsproperties.Inthissense, modelsarethefoundation needed for software development to become a true engineering discipline. Especially when reasoning on a software system's extra-functional properties, its software architecture carries the necessary information for early, design-time analyses. These analyses take the software architecture as input and can be used to direct the design process by allowing a systematic evaluation of different design alternatives. For example, they can be used to cancel out decisions which would lead to architecture - signs whose implementation would not comply with extra-functionalrequirements like performance or reliability constraints. Besides such quality attributes directly visible to the end user, internal quality attributes, e.g., maintainability, also highly depend on the system's architecture. In addition to the above-mentioned technical aspects of software architecture m- els, non-technical aspects, especially project management-related activities, require an explicit software architecture model. The models are used as input for cost esti- tions, time-, deadline-, and resource planning for the development teams. They serve the project management activities of planning, executing, and controlling, which are necessary to deliver high-quality software systems in time and within the budget.

This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007.

The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed and selected from 283 submissions. The papers were organized in four topical tracks on foundations of computer science, multi-agent systems, emerging Web technologies, as well as dependable software and systems.

This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing.

This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.

Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri?cation and quality prediction, such as FMCO, CBSE, FESCA, FACS andQoSA. There are a plethoraof componentmodels published, all with speci?c merits and bene?ts. However, most often these models are not used for comparison, as each research group concentrates on di?erent aspects of formal component modelling and quality prediction. Like the famous pro- 1 duction cell approach of the FZI, Karlsruhe, which has served since 1995 as a common example for di?erent embedded systems safety veri?cation, in this v- ume we de?ne a commonexample for modelling approachesof component-based systems. This Common Component Modelling Example enables the compa- bility of di?erent approaches, the validation of existing models, a better focus of research to tackle aspects less frequently dealt within the classi?cation of - isting models and approaches, an eased interchange of research ideas, as well as a simpli?ed and increased coordination and research collaborations to join complementary models and approaches. In this volume we de?ne the Common Component Modelling Example and present the models in current modelling and analysis approaches. The book concludes with comments on each modelling approach by an international jury. August 2007 Andreas Rausch Ralf Reussner Ra?aela Mirandola Franti? sek Pl a? sil 1 Springer LNCS vol. 891. Organization The Dagstuhl research seminar for CoCoME (Common Component Modelling Example)modellingcontestispartofaseriesofseminarsorganizedwithsupport by the German Computer Science Society (Gesellschaft fu ]r Informatik, GI). It was held during August 1-3, 2007 at Schloss Dagstuhl, Germany, as event number 07312."