Skip to main content
SpringerLink
Log in

Model-Driven Engineering and Software Development

9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Luís Ferreira Pires

    1. University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Slimane Hammoudi

    1. ESEO, ERIS, Angers, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Edwin Seidewitz

    1. Model Driven Solutions, Herndon, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1708)

Included in the following conference series:

Conference proceedings info: MODELSWARD 2021. MODELSWARD 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8–10, 2021 and February 6–8, 2022.

The 11 full papers included in this book were carefully reviewed and selected from 121 submissions. The purpose of the International Conference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development.

Keywords

Table of contents (11 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. A Digital Twin Description Framework and Its Mapping to Asset Administration Shell

    • Bentley James Oakes, Ali Parsai, Bart Meyers, Istvan David, Simon Van Mierlo, Serge Demeyer et al.
    Pages 1-24

  3. Acknowledging Implementation Trade-Offs When Developing with Units of Measurement

    • Steve McKeever
    Pages 25-47

  4. HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments

    • Nezer Jacob Zaidenberg, Michael Kiperberg, Yael Elinav, Alex Moshinky, Lior Siag
    Pages 48-59

  5. Multi-view FMEA Re-validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering

    • Felix Rinker, Sebastian Kropatschek, Thorsten Steuer, Elmar Kiesling, Kristof Meixner, Laura Waltersdorfer et al.
    Pages 60-83

  6. PSCS4CPP: A Generative PSCS Implementation for C++

    • Maximilian Hammer, Ralph Maschotta, Alexander Wichmann, Tino Jungebloud, Francesco Bedini, Armin Zimmermann
    Pages 84-108

  7. Dependency Graphs to Boost the Verification of SysML Models

    • Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino
    Pages 109-134

  8. Decomposable and Executable Models for Verification of Real-Time Systems

    • Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel
    Pages 135-156

  9. Comparing Goal-Oriented Analysis Techniques: A Controlled Experiment

    • Carlos Cano-Genoves, Silvia Abrahão, Emilio Insfran
    Pages 157-178

  10. A Methodological Framework for SPL Engineering from DSML

    • Vincent Englebert, Maouaheb Belarbi
    Pages 179-202

  11. W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures

    • Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
    Pages 203-229

  12. Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies

    • Andrea Hillenbrand, Uta Störl
    Pages 230-253

  13. Back Matter

    Pages 255-255
    Download chapter PDF
Back to top

Other volumes

  1. Model-Driven Engineering and Software Development

Editors and Affiliations

  • University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

  • ESEO, ERIS, Angers, France

    Slimane Hammoudi

  • Model Driven Solutions, Herndon, USA

    Edwin Seidewitz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation