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.