LEADER 05952nam 2200589 a 450 001 9910483076403321 005 20200520144314.0 010 $a3-540-35629-0 024 7 $a10.1007/11783565 035 $a(CKB)1000000000233035 035 $a(SSID)ssj0000316752 035 $a(PQKBManifestationID)11258260 035 $a(PQKBTitleCode)TC0000316752 035 $a(PQKBWorkID)10275488 035 $a(PQKB)11430448 035 $a(DE-He213)978-3-540-35629-5 035 $a(MiAaPQ)EBC3068102 035 $a(PPN)123136261 035 $a(EXLCZ)991000000000233035 100 $a20060518d2006 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComponent-based software engineering $e9th international symposium, CBSE 2006, Vasteras, Sweden, June 29 - July 1, 2006 : proceedings /$fIan Gorton ... [et al.] (eds.) 205 $a1st ed. 2006. 210 $aBerlin $cSpringer$dc2006 215 $a1 online resource (XII, 396 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v4063 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $a"... 2006 Symposium on Component-Based Software Engineering (CBSE)."--Pref. 311 $a3-540-35628-2 320 $aIncludes bibliographical references and index. 327 $aFull Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions -- Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System -- Verification of Component-Based Software Application Families -- Multi Criteria Selection of Components Using the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine Architecture -- Architectural Building Blocks for Plug-and-Play System Design -- A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development -- Designing Software Architectures with an Aspect-Oriented Architecture Description Language -- A Component Model Engineered with Components and Aspects -- CBSE in Small and Medium-Sized Enterprise: Experience Report -- Supervising Distributed Black Boxes -- Generic Component Lookup -- Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture -- A Formal Component Framework for Distributed Embedded Systems -- A Prototype Tool for Software Component Services in Embedded Real-Time Systems -- Service Policy Enhancements for the OSGi Service Platform -- A Process for Resolving Performance Trade-Offs in Component-Based Architectures -- A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems -- Impact of Virtual Memory Managers on Performance of J2EE Applications -- On-Demand Quality-Oriented Assistance in Component-Based Software Evolution -- Components Have Test Buddies -- Short Papers -- Defining ?Predictable Assembly? -- A Tool to Generate an Adapter for the Integration of Web Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access to Services in Hierarchical Component Models -- MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications -- Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring -- Towards Encapsulating Data in Component-Based Software Systems -- Virtualization of Service Gateways in Multi-provider Environments. 330 $aOn behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. CBSE 2006 was the ninth in a series of events that 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. We were fortunate to have a dedicated Program Committee comprising 27 internationally recognized researchers and industrial practitioners. We received 77 submissions and each paper was reviewed by at least three Program Committee members (four for papers with an author on the Program Committee). The entire reviewing process was supported by Microsoft?s CMT technology. In total, 22 submissions were accepted as full papers and 9 submissions were accepted as short papers. This was the first time CBSE was not held as a co-located event at ICSE. Hence special thanks are due to Ivica Crnkovic for hosting the event. We also wish to thank the ACM Special Interest Group on Software Engineering (SIGSOFT) for their sponsorship of CBSE 2005. The proceedings you now hold were published by Springer and we are grateful for their support. Finally, we must thank the many authors who contributed the high-quality papers contained within these proceedings. 410 0$aLecture notes in computer science ;$v4063. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 517 3 $aCBSE 2006 606 $aSoftware engineering$vCongresses 606 $aComputer software$xDevelopment$vCongresses 615 0$aSoftware engineering 615 0$aComputer software$xDevelopment 676 $a005.1 701 $aGorton$b Ian$0893352 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483076403321 996 $aComponent-based software engineering$94187520 997 $aUNINA