05669nam 22007455 450 991029930890332120200630112215.03-319-94764-810.1007/978-3-319-94764-8(CKB)4100000005323403(DE-He213)978-3-319-94764-8(MiAaPQ)EBC6244317(PPN)229503225(EXLCZ)99410000000532340320180707d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierModel-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /edited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XII, 507 p. 181 illus.)Communications in Computer and Information Science,1865-0929 ;8803-319-94763-X Includes bibliographical references and index.Sommelier: 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.This 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.Communications in Computer and Information Science,1865-0929 ;880Software engineeringOperating systems (Computers)Programming languages (Electronic computers)Logic designComputer system failuresArchitecture, ComputerSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logic Designhttps://scigraph.springernature.com/ontologies/product-market-codes/I12050System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Software engineering.Operating systems (Computers).Programming languages (Electronic computers).Logic design.Computer system failures.Architecture, Computer.Software Engineering.Operating Systems.Programming Languages, Compilers, Interpreters.Logic Design.System Performance and Evaluation.Computer System Implementation.005.1Pires Luís Ferreiraedthttp://id.loc.gov/vocabulary/relators/edtHammoudi Slimaneedthttp://id.loc.gov/vocabulary/relators/edtSelic Branedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910299308903321Model-Driven Engineering and Software Development1959951UNINA