LEADER 05296nam 22007935 450 001 9910484155503321 005 20251226203157.0 010 $a3-540-28749-3 024 7 $a10.1007/11550679 035 $a(CKB)1000000000213226 035 $a(SSID)ssj0000320099 035 $a(PQKBManifestationID)11258297 035 $a(PQKBTitleCode)TC0000320099 035 $a(PQKBWorkID)10342364 035 $a(PQKB)10808597 035 $a(DE-He213)978-3-540-28749-0 035 $a(MiAaPQ)EBC3068396 035 $a(PPN)123097223 035 $a(EXLCZ)991000000000213226 100 $a20101025d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware Composition $e4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /$fedited by Thomas Gschwind, Uwe Assmann, Oscar Nierstrasz 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 202 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3628 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-28748-5 320 $aIncludes bibliographical references and index. 327 $aDynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -- Analysis of Compositional Conflicts in Component-Based Systems -- A Lambda Calculus with Forms -- A Model of Components with Non-regular Protocols -- A Java Implementation of a Component Model with Explicit Symbolic Protocols -- Towards Distributed Contract Negotiation in Component-Based Systems -- Component Adaptation and Configuration -- On Typesafe Aspect Implementations in C++ -- Flexible Binding for Reusable Composition of Web Services -- Stateful Aspects in JAsCo -- Invasive Configuration of Generic Components. 330 $aComponent-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These advantages have also been identi?ed by the industry, and consequently, over the past years, a large number of component-based techniques and processes have been adopted in many of these organizations. A visible result of this is the number ofcomponentmodels thathavebeendevelopedandstandardized.These models de?ne how individual software components interact with each other and simplify the design process of software systems by allowing developers to choose from previously existing components. The development of component models is a ?rst step in the right direction, but there are many challenges that cannot be solved by the development of a new component model alone. Such challengesare the adaptation of components, and their development and veri?cation. Software Composition is the premiere workshop to advance the research in component-based software engineering and its related ?elds. SC 2005 was the fourth workshop in this series. As in previous years, SC 2005 was organized as an event co-located with the ETAPS conference. This year?s program consisted of a keynote on the revival of dynamic l- guages given by Prof. Oscar Nierstrasz and 13 technical paper presentations (9 full and 4 short papers). The technical papers were carefully selected from a total of 41 submitted papers. Each paper was thoroughly peer reviewed by at leastthreemembers oftheprogramcommittee andconsensusonacceptancewas achieved by means of an electronic PC discussion. This LNCS volume contains the revised versions of the papers presented at SC 2005. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3628 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aComputer networks 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Communication Networks 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs) 615 0$aComputer science. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Communication Networks. 676 $a005.1 686 $a54.52$2bcl 701 $aGschwind$b Thomas$01757017 701 $aAssmann$b Uwe$f1963-$01757018 701 $aNierstrasz$b Oscar Marius$f1957-$0771220 712 12$aETAPS 2005$f(2005 :$eEdinburgh, Scotland) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484155503321 996 $aSoftware composition$94194653 997 $aUNINA