|
|
|
|
LEADER |
02238nmm a2200397 u 4500 |
001 |
EB001840996 |
003 |
EBX01000000000000001004985 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
180702 ||| eng |
020 |
|
|
|a 9783319929972
|
100 |
1 |
|
|a Pierantonio, Alfonso
|e [editor]
|
245 |
0 |
0 |
|a Modelling Foundations and Applications
|h Elektronische Ressource
|b 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
|c edited by Alfonso Pierantonio, Salvador Trujillo
|
250 |
|
|
|a 1st ed. 2018
|
260 |
|
|
|a Cham
|b Springer International Publishing
|c 2018, 2018
|
300 |
|
|
|a XVI, 311 p. 102 illus
|b online resource
|
505 |
0 |
|
|a Model management -- Re-engineering -- Modelling environments -- Verification and validation -- Domain-specific modelling w.r.t. business processes -- Automotive software -- Safety-critical software
|
653 |
|
|
|a Electronic digital computers / Evaluation
|
653 |
|
|
|a Compilers (Computer programs)
|
653 |
|
|
|a Compilers and Interpreters
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Programming Techniques
|
653 |
|
|
|a System Performance and Evaluation
|
653 |
|
|
|a Computer programming
|
653 |
|
|
|a Professions
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a The Computing Profession
|
653 |
|
|
|a Computers
|
700 |
1 |
|
|a Trujillo, Salvador
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Programming and Software Engineering
|
028 |
5 |
0 |
|a 10.1007/978-3-319-92997-2
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-92997-2?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.1
|
520 |
|
|
|a This 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
|