LEADER 03977nam  22007575  450 
001 9910483040703321
005 20251226202224.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,$x2945-9168 ;$v5634
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9168 ;$v5634
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
701   $aBergel$b Alexandre$0952640
701   $aFabry$b Johan$0949183
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483040703321
996   $aSoftware composition$94186678
997   $aUNINA