05673nam 22008175 450 99646541790331620200702192635.03-642-30564-410.1007/978-3-642-30564-1(CKB)3400000000085297(SSID)ssj0000697614(PQKBManifestationID)11460673(PQKBTitleCode)TC0000697614(PQKBWorkID)10692003(PQKB)11770856(DE-He213)978-3-642-30564-1(MiAaPQ)EBC3070174(PPN)168317095(EXLCZ)99340000000008529720120525d2012 u| 0engurnn|008mamaatxtccrSoftware Composition[electronic resource] 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XII, 195 p. 66 illus.) Programming and Software Engineering ;7306International conference proceedings.3-642-30563-6 Includes bibliographical references and author index.Modeling dynamic architectures using Dy-BIP /Marius Bozga,Mohamad Jaber,Nikolaos MarisandJoseph Sifakis --Defining composition operators for BPMN /Paul Istoan --Relaxing B sharing restrictions within CSP[bar][bar]B /Arnaud Lanoix,Olga Kouchnarenko,Samuel ColinandVincent Poirriez --PaCE: a data-flow coordination language for asynchronous network-based applications /Mauro Caporuscio,Marco FunaroandCarlo Ghezzi --Adaptation of legacy codes to context-aware composition using aspect-oriented programming /Antonina DanylenkoandWelf Löwe --Challenges for refinement and composition of instrumentations: position paper /Danilo Ansaloni,Walter Binder,Christoph Bockisch,Eric BoddenandKardelen Hatun,et al. --Constructing customized interpreters from reusable evaluators using GAME /Stijn Timbermont,Coen De RooverandTheo D'Hondt --Revising and extending the Uppaal communication mechanism /Abdeldjalil Boudjadar,Jean-Paul BodeveixandMamoun Filali --On the automated modularisation of Java programs using service locators /Syed Muhammad Ali Shah,Jens DietrichandCatherine McCartin --Touching factor: software development on tablets /Marc Hesenius,Carlos Dario Orozco MedinaandDominikus Herzberg --Domain-specific languages in few steps: the Neverlang approach /Walter Cazzola --Business process lines and decision tables driving flexibility by selection /Nicola Boffoli,Danilo Caivano,Daniela CastellucciaandGiuseppe Visaggio.The 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.Programming and Software Engineering ;7306Software engineeringComputer programmingComputer logicProgramming languages (Electronic computers)Computer communication systemsMathematical logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Conference proceedings.Software engineering.Computer programming.Computer logic.Programming languages (Electronic computers).Computer communication systems.Mathematical logic.Software Engineering.Programming Techniques.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Mathematical Logic and Formal Languages.005.1Gschwind Thomasedthttp://id.loc.gov/vocabulary/relators/edtDe Paoli Flavioedthttp://id.loc.gov/vocabulary/relators/edtGruhn Volkeredthttp://id.loc.gov/vocabulary/relators/edtBook Matthiasedthttp://id.loc.gov/vocabulary/relators/edtSC (Conference : Software composition)BOOK996465417903316Software Composition771974UNISA