Ausgabe 4/2025
Inhalt (15 Artikel)
On theory and management of dependencies between models
- Open Access
- Editorial
Marsha Chechik, Benoit Combemale, Jeff Gray, Bernhard Rumpe
Guest editorial for the special section on MODELS 2022
- Guest Editorial
Nelly Bencomo, Houari Sahraoui, Eugene Syriani, Manuel Wimmer
Modular language product lines: concept, tool and analysis
- Open Access
- Special Section Paper
Juan de Lara, Esther Guerra, Paolo Bottoni
Accelerating similarity-based model matching using dual hashing
- Special Section Paper
Xiao He, Yi Liu, Huihong He
ModelXGlue: a benchmarking framework for ML tools in MDE
- Open Access
- Special Section Paper
José Antonio Hernández López, Jesús Sánchez Cuadrado, Riccardo Rubei, Davide Di Ruscio
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games
- Open Access
- Special Section Paper
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games
- Open Access
- Correction
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
SymboleoPC: checking properties of legal contracts
- Special Section Paper
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Automated generation of smart contract code from legal contract specifications with Symboleo2SC
- Special Section Paper
Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
Boosting bug localization in software models of video games with simulations and component-specific genetic operations
- Open Access
- Special Section Paper
Rodrigo Casamayor, Lorena Arcega, Francisca Pérez, Carlos Cetina
A language-parametric test amplification framework for executable domain-specific languages
- Special Section Paper
Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Djamel Eddine Khelladi, Pablo Gómez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan de Lara
Using reactive links to propagate changes across engineering models
- Open Access
- Special Section Paper
Cosmina-Cristina Raţiu, Wesley K. G. Assunção, Edvin Herac, Rainer Haas, Christophe Lauwerys, Alexander Egyed
Going beyond templates: composition and evolution in nested OSTRICH
- Open Access
- Special Section Paper
João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira
Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system
- Special Section Paper
Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau
Extract, model, refine: improved modelling of program verification tools through data enrichment
- Open Access
- Special Section Paper
Sophie Lathouwers, Yujie Liu, Vadim Zaytsev
