


default search action
MODELSWARD 2021 / 2022: Revised Selected Papers
- Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz:
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. Communications in Computer and Information Science 1708, Springer 2023, ISBN 978-3-031-38820-0 - Bentley James Oakes
, Ali Parsai
, Bart Meyers
, Istvan David
, Simon Van Mierlo
, Serge Demeyer
, Joachim Denil
, Paul De Meulenaere
, Hans Vangheluwe
:
A Digital Twin Description Framework and Its Mapping to Asset Administration Shell. 1-24 - Steve McKeever
:
Acknowledging Implementation Trade-Offs When Developing with Units of Measurement. 25-47 - Nezer Jacob Zaidenberg, Michael Kiperberg, Yael Elinav, Alex Moshinky, Lior Siag:
HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments. 48-59 - Felix Rinker
, Sebastian Kropatschek, Thorsten Steuer, Elmar Kiesling, Kristof Meixner, Laura Waltersdorfer, Patrik Sommer, Arndt Lüder, Dietmar Winkler, Stefan Biffl:
Multi-view FMEA Re-validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering. 60-83 - Maximilian Hammer
, Ralph Maschotta
, Alexander Wichmann, Tino Jungebloud
, Francesco Bedini
, Armin Zimmermann
:
PSCS4CPP: A Generative PSCS Implementation for C++. 84-108 - Ludovic Apvrille
, Pierre de Saqui-Sannes
, Oana Hotescu
, Alessandro Tempia Calvino
:
Dependency Graphs to Boost the Verification of SysML Models. 109-134 - Callum McColl
, Vladimir Estivill-Castro
, Morgan McColl
, René Hexel
:
Decomposable and Executable Models for Verification of Real-Time Systems. 135-156 - Carlos Cano-Genoves
, Silvia Abrahão
, Emilio Insfrán
:
Comparing Goal-Oriented Analysis Techniques: A Controlled Experiment. 157-178 - Vincent Englebert
, Maouaheb Belarbi
:
A Methodological Framework for SPL Engineering from DSML. 179-202 - Bastien Sultan
, Ludovic Apvrille
, Philippe Jaillon, Sophie Coudert:
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. 203-229 - Andrea Hillenbrand
, Uta Störl
:
Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies. 230-253

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.