LEADER 04608nam 22007455 450 001 996465768903316 005 20200702042619.0 010 $a3-642-02655-9 024 7 $a10.1007/978-3-642-02655-3 035 $a(CKB)1000000000761271 035 $a(SSID)ssj0000320098 035 $a(PQKBManifestationID)11263711 035 $a(PQKBTitleCode)TC0000320098 035 $a(PQKBWorkID)10348115 035 $a(PQKB)11478074 035 $a(DE-He213)978-3-642-02655-3 035 $a(MiAaPQ)EBC3064355 035 $a(PPN)136307035 035 $a(EXLCZ)991000000000761271 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware Composition $e8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /$fedited by Alexandre Bergel, Johan Fabry 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (IX, 177 p.) 225 1 $aProgramming and Software Engineering ;$v5634 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-02654-0 320 $aIncludes bibliographical references and index. 327 $aLanguage Design for Meta-programming in the Software Composition Domain -- Putting Traits in Perspective -- Feature (De)composition in Functional Programming -- I-Java: An Extension of Java with Incomplete Objects and Object Composition -- Language-Independent Quantification and Weaving for Feature Composition -- Lazy Composition of Representations in Java -- Specifying and Composing Non-functional Requirements in Model-Based Development -- Round-Trip Support for Invasive Software Composition Systems -- Implicit First Class Genericity -- A Framework for Testing Model Composition Engines -- Composing RESTful Services with JOpera -- Writing Composable Software with InterpreterLib. 330 $aThis book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009. The workshop has been organized as an event co-located with the TOOLS Europe 2009 conference. The 10 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 34 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect- and service-oriented programming, specification of component contracts and protocols, methods of correct components composition, as well as verification, validation and testing techniques - even in pervasive computing environments and for the Web. 410 0$aProgramming and Software Engineering ;$v5634 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 $aBergel$b Alexandre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFabry$b Johan$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465768903316 996 $aSoftware Composition$9771974 997 $aUNISA