Ausgabe 6/2025
Inhalt (14 Artikel)
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling
- Open Access
- Editorial
Marsha Chechik, Benoit Combemale, Jeff Gray, Bernhard Rumpe
Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)
- Open Access
- Guest Editorial
Antonio Cicchetti, Thomas Kühne, Alfonso Pierantonio, Gabriele Taentzer
Impromptu: a framework for model-driven prompt engineering
- Open Access
- Special Section Paper
Sergio Morales, Robert Clarisó, Jordi Cabot
Experimenting with modeling-specific word embeddings
- Special Section Paper
José Antonio Hernández López, Carlos Durá, Jesús Sánchez Cuadrado
gLTSdiff: a generalized framework for structural comparison of software behavior
- Special Section Paper
Dennis Hendriks, Wytse Oortwijn
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching
- Open Access
- Special Section Paper
Matthias Barkowsky, Holger Giese
Meet OCL, a relational object constraint language
- Open Access
- Special Section Paper
Friedrich Steimann, Robert Clarisó, Martin Gogolla
Automatic security-flaw detection - towards a fair evaluation and comparison
- Open Access
- Special Section Paper
Bernhard J. Berger, Christina Plump
An empirical study of manual abstraction between class diagrams and code of open-source systems
- Open Access
- Special Section Paper
Wenli Zhang, Weixing Zhang, Daniel Strüber, Regina Hebig
Model checking of spacecraft operational designs: a scalability analysis
- Open Access
- Special Section Paper
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp M. Fischer, Andreas Gerndt, Michael Felderer
Mutation testing for temporal alloy models (extended version)
- Special Section Paper
Ana Jovanovic, Allison Sullivan
A reference architecture for the development of GLSP-based web modeling tools
- Open Access
- Special Section Paper
Haydar Metin, Dominik Bork
Requirements specification using templates: a model-driven approach
- Special Section Paper
Ikram Darif, Ghizlane El Boussaidi, Sègla Kpodjedo
Models for formal methods and tools: the case of railway systems
- Open Access
- Expert Voice
M. H. ter Beek
