LEADER 03320nam 22007455 450 001 9910483278503321 005 20251226195754.0 010 $a3-319-09195-6 024 7 $a10.1007/978-3-319-09195-2 035 $a(CKB)3710000000219416 035 $a(SSID)ssj0001297679 035 $a(PQKBManifestationID)11739657 035 $a(PQKBTitleCode)TC0001297679 035 $a(PQKBWorkID)11229182 035 $a(PQKB)10886343 035 $a(DE-He213)978-3-319-09195-2 035 $a(MiAaPQ)EBC5595654 035 $a(PPN)179925849 035 $a(EXLCZ)993710000000219416 100 $a20140709d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModelling Foundations and Applications $e10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /$fedited by Jordi Cabot, Julia Rubin 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XVIII, 267 p. 129 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8569 300 $aIncludes index. 311 08$a3-319-09194-8 327 $aModel provenance -- Model transformations and code generation -- Model synthesis -- Model-driven testing -- Formal modeling approaches -- Business modeling -- Usability of models. 330 $aThis 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. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v8569 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aComputer networks 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aComputer Communication Networks 606 $aIT Operations 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aComputer networks. 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aComputer Communication Networks. 615 24$aIT Operations. 676 $a005.10285 702 $aCabot$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRubin$b Julia$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483278503321 996 $aModelling Foundations and Applications$92112800 997 $aUNINA