Integrating model checking into a live modeling environment

Source
18th International Conference on Software Language, Engineering-SLE-Annual, JUN 12-13, 2025, Koblenz, Germany- (2025) p. 128-133
Author(s)

Model-driven engineering for digital twins : opportunities and challenges

Source
Systems engineering - ISSN 1098-1241-28:5 (2025) p. 659-670
Author(s)
    Judith Michael, Loek Cleophas, Steffen Zschaler, Tony Clark, Benoit Combemale, Thomas Godfrey, Djamel Eddine Khelladi, Vinay Kulkarni, Daniel Lehner, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann, Shaukat Ali, Balbir Barn, Ion Barosan, Nelly Bencomo, Francis Bordeleau, Georg Grossmann, Gabor Karsai, Oliver Kopp, Bernhard Mitschang, Paula Munoz Ariza, Alfonso Pierantonio, Fiona A.C. Polack, Matthias Riebisch, Holger Schlingloff, Markus Stumptner, Antonio Vallecillo, Mark van den Brand, Hans Vangheluwe

A multi-paradigm modelling foundation for twinning within the context of systems engineering

Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,xxviii, 171 p.

Operation-based versioning as a foundation for live executable models

Source
Software and systems modeling - ISSN 1619-1366-24:3 (2025) p. 721-739
Author(s)

SCCD debugger : a debugger for statecharts and class diagrams

Source
ACM/IEEE 27th International Conference on Model Driven Engineering, Languages and Systems: Companion Proceedings (MODELS), SEP 22-27, 2024, Linz, Austria- (2024) p. 61-65
Author(s)