LEADER 03813nam 22006735 450 001 996465534803316 005 20200701163000.0 010 $a3-642-39614-3 024 7 $a10.1007/978-3-642-39614-4 035 $a(CKB)2560000000105718 035 $a(DE-He213)978-3-642-39614-4 035 $a(SSID)ssj0000936710 035 $a(PQKBManifestationID)11504332 035 $a(PQKBTitleCode)TC0000936710 035 $a(PQKBWorkID)10974487 035 $a(PQKB)11326894 035 $a(MiAaPQ)EBC3101119 035 $a(PPN)170493369 035 $a(EXLCZ)992560000000105718 100 $a20130613d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Composition$b[electronic resource] $e12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /$fedited by Walter Binder, Eric Bodden, Welf Löwe 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 145 p. 38 illus.) 225 1 $aProgramming and Software Engineering ;$v8088 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-39613-5 320 $aIncludes bibliographical references and index. 327 $aComponentised Language Development for the JVM -- Preserving Confidentiality in Component Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches -- Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification -- Implementing Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a Customizable Business-Process-as-a-Service Application with current State-of-Practice -- Verifying Data Independent Programs Using Game Semantics.  . 330 $aThe book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for inclusion in the book. The papers reflect all current research in software composition, including but not limited to component-based software engineering; composition and adaption techniques; composition algebras, calculi, and type systems; feature-oriented software development; verification, validation, and testing; dynamic composition and reconfiguration. 410 0$aProgramming and Software Engineering ;$v8088 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aBinder$b Walter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBodden$b Eric$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLöwe$b Welf$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465534803316 996 $aSoftware Composition$9771974 997 $aUNISA