03820nam 22007695 450 99646555960331620200706091431.03-642-22045-210.1007/978-3-642-22045-6(CKB)2670000000095936(SSID)ssj0000530729(PQKBManifestationID)11301463(PQKBTitleCode)TC0000530729(PQKBWorkID)10568351(PQKB)11366776(DE-He213)978-3-642-22045-6(MiAaPQ)EBC3066890(PPN)153860278(EXLCZ)99267000000009593620110627d2011 u| 0engurnn|008mamaatxtccrSoftware Composition[electronic resource] 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings /edited by Sven Apel, Ethan Jackson1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (VIII, 181 p. 57 illus., 35 illus. in color.) Programming and Software Engineering ;6708Bibliographic Level Mode of Issuance: Monograph3-642-22044-4 Includes bibliographical references and index.The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences.The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications.Programming and Software Engineering ;6708Software 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/I16048Software 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.1Apel Svenedthttp://id.loc.gov/vocabulary/relators/edtJackson Ethanedthttp://id.loc.gov/vocabulary/relators/edtSC (Conference : Software Composition)BOOK996465559603316Software Composition771974UNISA