LEADER 05673nam 22008175 450 001 996465417903316 005 20200702192635.0 010 $a3-642-30564-4 024 7 $a10.1007/978-3-642-30564-1 035 $a(CKB)3400000000085297 035 $a(SSID)ssj0000697614 035 $a(PQKBManifestationID)11460673 035 $a(PQKBTitleCode)TC0000697614 035 $a(PQKBWorkID)10692003 035 $a(PQKB)11770856 035 $a(DE-He213)978-3-642-30564-1 035 $a(MiAaPQ)EBC3070174 035 $a(PPN)168317095 035 $a(EXLCZ)993400000000085297 100 $a20120525d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware Composition$b[electronic resource] $e11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /$fedited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XII, 195 p. 66 illus.) 225 1 $aProgramming and Software Engineering ;$v7306 300 $aInternational conference proceedings. 311 $a3-642-30563-6 320 $aIncludes bibliographical references and author index. 327 $tModeling dynamic architectures using Dy-BIP /$rMarius Bozga,$rMohamad Jaber,$rNikolaos Maris$gand$rJoseph Sifakis --$tDefining composition operators for BPMN /$rPaul Istoan --$tRelaxing B sharing restrictions within CSP[bar][bar]B /$rArnaud Lanoix,$rOlga Kouchnarenko,$rSamuel Colin$gand$rVincent Poirriez --$tPaCE: a data-flow coordination language for asynchronous network-based applications /$rMauro Caporuscio,$rMarco Funaro$gand$rCarlo Ghezzi --$tAdaptation of legacy codes to context-aware composition using aspect-oriented programming /$rAntonina Danylenko$gand$rWelf Lo?we --$tChallenges for refinement and composition of instrumentations: position paper /$rDanilo Ansaloni,$rWalter Binder,$rChristoph Bockisch,$rEric Bodden$gand$rKardelen Hatun,$get al. --$tConstructing customized interpreters from reusable evaluators using GAME /$rStijn Timbermont,$rCoen De Roover$gand$rTheo D'Hondt --$tRevising and extending the Uppaal communication mechanism /$rAbdeldjalil Boudjadar,$rJean-Paul Bodeveix$gand$rMamoun Filali --$tOn the automated modularisation of Java programs using service locators /$rSyed Muhammad Ali Shah,$rJens Dietrich$gand$rCatherine McCartin --$tTouching factor: software development on tablets /$rMarc Hesenius,$rCarlos Dario Orozco Medina$gand$rDominikus Herzberg --$tDomain-specific languages in few steps: the Neverlang approach /$rWalter Cazzola --$tBusiness process lines and decision tables driving flexibility by selection /$rNicola Boffoli,$rDanilo Caivano,$rDaniela Castelluccia$gand$rGiuseppe Visaggio. 330 $aThe book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in software development; and applications of software composition. 410 0$aProgramming and Software Engineering ;$v7306 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer communication systems 606 $aMathematical logic 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 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 608 $aConference proceedings. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer communication systems. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Communication Networks. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aGschwind$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDe Paoli$b Flavio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGruhn$b Volker$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBook$b Matthias$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSC (Conference : Software composition) 906 $aBOOK 912 $a996465417903316 996 $aSoftware Composition$9771974 997 $aUNISA