05597nam 22007935 450 991048470880332120251226203829.01-280-38673-897866135646583-642-13238-310.1007/978-3-642-13238-4(CKB)2670000000028928(SSID)ssj0000446350(PQKBManifestationID)11325932(PQKBTitleCode)TC0000446350(PQKBWorkID)10495813(PQKB)11052216(DE-He213)978-3-642-13238-4(MiAaPQ)EBC3065370(PPN)149063490(EXLCZ)99267000000002892820100614d2010 u| 0engurnn#008mamaatxtccrComponent-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 253 p. 78 illus.)Programming and Software Engineering,2945-9168 ;6092Bibliographic Level Mode of Issuance: Monograph3-642-13237-5 Includes bibliographical references and index.Component-Based Embedded Systems -- Reliability Analysis of Component-Based Systems with Multiple Failure Modes -- Comparison of Component Frameworks for Real-Time Embedded Systems -- A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between Abstract Models of Embedded Systems -- Component-Based Adaptive Systems -- Reliable Dynamic Reconfigurations in a Reflective Component Model -- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model -- Enabling on Demand Deployment of Middleware Services in Componentized Middleware -- A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution -- Component Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case Study -- Automated Creation and Assessment of Component Adapters with Test Cases -- An Empirical Study of the Component Dependency Resolution Search Space -- Composition and (De)-composition of Component-Based Systems -- Component Composition Using Feature Models -- Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces -- (Behavioural) Design Patterns as Composition Operators.The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. In line with a broad interest, CBSE 2010 received 48 submissions. From these submissions, 14 were accepted after a careful peer-review process followed by an online program committee discussion. This resulted in an acceptance rate of 29%. The selected technical papers are published in this volume. For the fourth time, CBSE 2010 was held as part of the conference series: Fed- ated Events on Component-Based Software Engineering and Software Archit- ture (COMPARCH). The federated events were: the 13th International S- posium on Component-Based Software Engineering (CBSE 2010), the 6th - ternational Conference on the Quality of Software Architectures (QoSA 2010), andthe1stInternationalSymposium onArchitecting CriticalSystems(ISARCS 2010). Together with COMPARCH’s Industrial Experience Report Track and the co-located Workshop on Component-Oriented Programming (WCOP 2010), COMPARCH provided a broad spectrum of events related to components and architectures.Programming and Software Engineering,2945-9168 ;6092Software engineeringComputer scienceCompilers (Computer programs)Computer networksComputer programmingSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersComputer Communication NetworksProgramming TechniquesSoftware engineering.Computer science.Compilers (Computer programs).Computer networks.Computer programming.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Computer Communication Networks.Programming Techniques.005.1Grunske Lars1763081Reussner Ralf1210536Plášil František0CBSE 2010MiAaPQMiAaPQMiAaPQBOOK9910484708803321UNINA