03870nam 22007695 450 991048327850332120200629172407.03-319-09195-610.1007/978-3-319-09195-2(CKB)3710000000219416(SSID)ssj0001297679(PQKBManifestationID)11739657(PQKBTitleCode)TC0001297679(PQKBWorkID)11229182(PQKB)10886343(DE-He213)978-3-319-09195-2(MiAaPQ)EBC5595654(PPN)179925849(EXLCZ)99371000000021941620140709d2014 u| 0engurnn|008mamaatxtccrModelling Foundations and Applications[electronic resource] 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /edited by Jordi Cabot, Julia Rubin1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XVIII, 267 p. 129 illus.) Programming and Software Engineering ;8569Includes index.3-319-09194-8 Model provenance -- Model transformations and code generation -- Model synthesis -- Model-driven testing -- Formal modeling approaches -- Business modeling -- Usability of models.This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions. They are on all aspects of MDE, including topics such as model provenance; model transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business modeling; and usability of models.Programming and Software Engineering ;8569Software engineeringComputer logicProgramming languages (Electronic computers)Computer communication systemsManagement 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/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software engineering.Computer logic.Programming languages (Electronic computers).Computer communication systems.Management information systems.Computer science.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Management of Computing and Information Systems.005.10285Cabot Jordiedthttp://id.loc.gov/vocabulary/relators/edtRubin Juliaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483278503321Modelling Foundations and Applications2112800UNINA