03697nam 22007335 450 991048362780332120200629220748.03-319-21155-210.1007/978-3-319-21155-8(CKB)3710000000454183(SSID)ssj0001558642(PQKBManifestationID)16183496(PQKBTitleCode)TC0001558642(PQKBWorkID)14818725(PQKB)11720090(DE-He213)978-3-319-21155-8(MiAaPQ)EBC5591646(PPN)187688680(EXLCZ)99371000000045418320150715d2015 u| 0engurnn|008mamaatxtccrTheory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /edited by Dimitris Kolovos, Manuel Wimmer1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XIV, 231 p. 99 illus.) Programming and Software Engineering ;9152Bibliographic Level Mode of Issuance: Monograph3-319-21154-4 Includes bibliographical references and index.Change Management -- Reuse and industrial applications -- New paradigms for model Transformation -- Transformation validation and verification.- Foundations of model transformation.This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.Programming and Software Engineering ;9152Software engineeringComputer logicProgramming languages (Electronic computers)Management information systemsComputer scienceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software engineering.Computer logic.Programming languages (Electronic computers).Management information systems.Computer science.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Management of Computing and Information Systems.005.1Kolovos Dimitrisedthttp://id.loc.gov/vocabulary/relators/edtWimmer Manueledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483627803321Theory and Practice of Model Transformations774212UNINA