LEADER 03594nam 22006855 450 001 996465805203316 005 20200629114144.0 010 $a3-319-92997-6 024 7 $a10.1007/978-3-319-92997-2 035 $a(CKB)3810000000358661 035 $a(DE-He213)978-3-319-92997-2 035 $a(MiAaPQ)EBC6296853 035 $a(PPN)229494323 035 $a(EXLCZ)993810000000358661 100 $a20180528d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModelling Foundations and Applications$b[electronic resource] $e14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /$fedited by Alfonso Pierantonio, Salvador Trujillo 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVI, 311 p. 102 illus.) 225 1 $aProgramming and Software Engineering ;$v10890 300 $aIncludes index. 311 $a3-319-92996-8 327 $aModel management -- Re-engineering -- Modelling environments -- Verification and validation -- Domain-specific modelling w.r.t. business processes -- Automotive software -- Safety-critical software. 330 $aThis book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software. 410 0$aProgramming and Software Engineering ;$v10890 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputers 606 $aComputer system failures 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aThe Computing Profession$3https://scigraph.springernature.com/ontologies/product-market-codes/I24075 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aComputers. 615 0$aComputer system failures. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aThe Computing Profession. 615 24$aSystem Performance and Evaluation. 676 $a005.1 702 $aPierantonio$b Alfonso$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTrujillo$b Salvador$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465805203316 996 $aModelling Foundations and Applications$92112800 997 $aUNISA