LEADER 05161nam 22007455 450 001 9910299308903321 005 20251225203633.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-0937 ;$v880 311 08$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-0937 ;$v880 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aCompilers (Computer programs) 606 $aLogic design 606 $aElectronic digital computers$xEvaluation 606 $aComputer systems 606 $aSoftware Engineering 606 $aOperating Systems 606 $aCompilers and Interpreters 606 $aLogic Design 606 $aSystem Performance and Evaluation 606 $aComputer System Implementation 615 0$aSoftware engineering. 615 0$aOperating systems (Computers). 615 0$aCompilers (Computer programs). 615 0$aLogic design. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputer systems. 615 14$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aCompilers and 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