Ausgabe 2/2025
Inhalt (16 Artikel)
Formal methods in the scope of the Software and Systems Modeling journal
- Open Access
- Editorial
Marsha Chechik, Benoit Combemale, Jeff Gray, Bernhard Rumpe
An elucidation of blended modeling from an industrial perspective
- Open Access
- Expert Voice
Jörg Holtmann, Federico Ciccozzi, Wim Bast, Joost van Pinxten
Adaptive caching for operation-based versioning of models
- Open Access
- Theme Section Paper
Jakob Pietron, Heiko Raab, Matthias Tichy
A framework for evaluating tool support for co-evolution of modeling languages, tools and models
- Open Access
- Theme Section Paper
Juha-Pekka Tolvanen, Steven Kelly, Juri Di Rocco, Alfonso Pierantonio, Giordano Tinella
Theme section on modeling and sustainability
- Guest Editorial
Istvan David, Ankica Barišić, Dominik Bork
The sustainability assessment framework toolkit: a decade of modeling experience
- Theme Section Paper
Patricia Lago, Nelly Condori Fernandez, Iffat Fatima, Markus Funke, Ivano Malavolta
SustainScrum: integrating sustainability assessment in a tailored Scrum process for computing quantitative sustainability indicators
- Open Access
- Theme Section Paper
Alexandra Mazak-Huemer, Michael Vierhauser, Iris Groher
A model template for reachability-based containment checking of imprecise observations in timed automata
- Open Access
- Regular Paper
Sascha Lehmann, Sibylle Schupp
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering
- Open Access
- Regular Paper
Simon Rädler, Luca Berardinelli, Karolin Winter, Abbas Rahimi, Stefanie Rinderle-Ma
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections
- Open Access
- Regular Paper
Martin Rindarøy, Håvard Nordahl, Severin Sadjina, Stian Skjong, Marianne Hagaseth
Model-based verification of data protection mechanisms in collaborative business processes
- Regular Paper
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen-Raudvere, Barbara Re, Francesco Tiezzi
Modeling with Gentleman: a web-based projectional editor
- Regular Paper
Louis-Edouard Lafontant, Eugene Syriani
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration
- Regular Paper
Ioannis Korontanis, Antonios Makris, Konstantinos Tserpes
Automated testing of metamodels and code co-evolution
- Regular Paper
Zohra Kaouter Kebaili, Djamel Eddine Khelladi, Mathieu Acher, Olivier Barais
