LEADER 03868nam  22007695  450 
001 996198271503316
005 20200629172407.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$b[electronic resource] $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 ;$v8569
300   $aIncludes index.
311   $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 ;$v8569
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer communication systems
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer communication systems.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputer Communication Networks.
615 24$aManagement of Computing and Information Systems.
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   $a996198271503316
996   $aModelling Foundations and Applications$92112800
997   $aUNISA