LEADER 05669nam 22007455 450 001 9910299308903321 005 20200630112215.0 010 $a3-319-94764-8 024 7 $a10.1007/978-3-319-94764-8 035 $a(CKB)4100000005323403 035 $a(DE-He213)978-3-319-94764-8 035 $a(MiAaPQ)EBC6244317 035 $a(PPN)229503225 035 $a(EXLCZ)994100000005323403 100 $a20180707d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-Driven Engineering and Software Development $e5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /$fedited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XII, 507 p. 181 illus.) 225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v880 311 $a3-319-94763-X 320 $aIncludes bibliographical references and index. 327 $aSommelier: A Tool for Validating TOSCA Application TopologiesSommelier: A Tool for Validating TOSCA Application Topologies -- Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems -- A Model based Approach for Complex Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime Verification -- A Consistency-preserving Editing Model for Dynamic Filtered Engineering of Model-driven Product Lines -- Model-driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information -- A Model Driven Engineering Approach for Heterogeneous Model Composition -- Generative versus Interpretive Model-Driven Development: Moving Past `It Depends' -- Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems -- A Domain-Specific Modeling Approach for Testing Environment Emulation -- A Framework for UML-based Component-based Design and Code Generation for Reactive Systems -- Automatic UI Generation for Aggregated Linked Data Applications by using Sharable Application Ontologies -- Surveying Co-Evolution in Modeling Ecosystems -- Functional Decomposition for Software Architecture Evolution -- Model-Driven Approach to Handle Evolutions of OLAP Requirements and Data Source Model -- Complex Event Processing for User-Centric Management of IoT Systems -- Efficient Distributed Execution of Multi-component Scenario-Based Models -- Modelling the World of a Smart Room for Robotic Co-working. 330 $aThis book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017. The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as methodologies for MDD development and exploitation, model-based testing, model simulation, domain-specific modeling, code generation from models, new MDD tools, multi-model management, model evolution, and industrial applications of model-based methods and technologies. 410 0$aCommunications in Computer and Information Science,$x1865-0929 ;$v880 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aProgramming languages (Electronic computers) 606 $aLogic design 606 $aComputer system failures 606 $aArchitecture, Computer 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 615 0$aSoftware engineering. 615 0$aOperating systems (Computers). 615 0$aProgramming languages (Electronic computers). 615 0$aLogic design. 615 0$aComputer system failures. 615 0$aArchitecture, Computer. 615 14$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogic Design. 615 24$aSystem Performance and Evaluation. 615 24$aComputer System Implementation. 676 $a005.1 702 $aPires$b Luís Ferreira$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHammoudi$b Slimane$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSelic$b Bran$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299308903321 996 $aModel-Driven Engineering and Software Development$91959951 997 $aUNINA