LEADER 06003nam 22007815 450 001 996465380703316 005 20220603004303.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$b[electronic resource] $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 ;$v3628 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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 programming that promises to reduce complexity and improve reusability. These advantages have also been identified 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 of component models that have been developed and standardized. These models define 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 first step in the right direction, but there are many challenges that cannot be solved by the development of a new component model alone. Such challenges are the adaptation of components, and their development and verification. Software Composition is the premiere workshop to advance the research in component-based software engineering and its related fields. 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 languages 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 least three members of the program committee and consensus on acceptance was 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 ;$v3628 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 686 $a54.52$2bcl 702 $aGschwind$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAssmann$b Uwe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNierstrasz$b Oscar$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS 2005$f(2005 :$eEdinburgh, Scotland) 906 $aBOOK 912 $a996465380703316 996 $aSoftware Composition$9771974 997 $aUNISA