000 03774nam a22006015i 4500
001 978-3-642-02655-3
003 DE-He213
005 20240730190608.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642026553
_9978-3-642-02655-3
024 7 _a10.1007/978-3-642-02655-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aSoftware Composition
_h[electronic resource] :
_b8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
_cedited by Alexandre Bergel, Johan Fabry.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aIX, 177 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5634
505 0 _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.
520 _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.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer programming.
_94169
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aComputer networks .
_931572
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aProgramming Techniques.
_9143126
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aComputer Communication Networks.
_9143127
700 1 _aBergel, Alexandre.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9143128
700 1 _aFabry, Johan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9143129
710 2 _aSpringerLink (Online service)
_9143130
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642026546
776 0 8 _iPrinted edition:
_z9783642026560
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5634
_9143131
856 4 0 _uhttps://doi.org/10.1007/978-3-642-02655-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93341
_d93341