LEADER 07718nam 22008055 450 001 996465750403316 005 20200703190915.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 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComponent-Based Software Engineering$b[electronic resource] $e9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /$fedited by Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 396 p.) 225 1 $aProgramming and Software Engineering ;$v4063 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$aProgramming and Software Engineering ;$v4063 606 $aSoftware engineering 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aComputer communication systems 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aComputer communication systems. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aComputer Communication Networks. 676 $a005.1 702 $aGorton$b Ian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHeinemann$b George T$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCrnkovic$b Ivica$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchmidt$b Heinz W$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStafford$b Judith A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSzyperski$b Clemens$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWallnau$b Kurt$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465750403316 996 $aComponent-Based Software Engineering$9772376 997 $aUNISA