Congrats to Paolo Bocciarelli, Francis Bordeleau, Artur Boronat, Istvan David, Sybren de Kinderen, Emmanuel Grolleau, Robbert Jongeling, Alexander Kraus, Leen Lambers, Sander Leemans, Judith Michael, Elena Navarro, Bentley Oakes, Luise Pufahl, Hassan Sartaj, Allan Shtofenmakher & Andreas Wortmann!
January 19, 2026 at 3:07 PM
Congrats to Paolo Bocciarelli, Francis Bordeleau, Artur Boronat, Istvan David, Sybren de Kinderen, Emmanuel Grolleau, Robbert Jongeling, Alexander Kraus, Leen Lambers, Sander Leemans, Judith Michael, Elena Navarro, Bentley Oakes, Luise Pufahl, Hassan Sartaj, Allan Shtofenmakher & Andreas Wortmann!
Here is the full list of presented Journal-First papers: www.sosym.org/journal_first/
November 5, 2025 at 5:24 PM
Here is the full list of presented Journal-First papers: www.sosym.org/journal_first/
The article can be found here: link.springer.com/article/10.1...
A survey of approaches for verifying model transformations - Software and Systems Modeling
As with other software development artifacts, model transformations are not bug-free and so must be systematically verified. Their nature, however, means that transformations require specialist verifi...
link.springer.com
November 1, 2025 at 5:06 PM
The article can be found here: link.springer.com/article/10.1...