Ausgabe 5/2023
Inhalt (16 Artikel)
Large language models as an “operating” system for software and systems modeling
Benoit Combemale, Jeff Gray, Bernhard Rumpe
Design and evaluation of a collaborative UML modeling environment in virtual reality
Enes Yigitbas, Simon Gorissen, Nils Weidmann, Gregor Engels
MORGAN: a modeling recommender system based on graph kernel
Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, Phuong T. Nguyen
Synthesizing verified components for cyber assured systems engineering
Eric Mercer, Konrad Slind, Isaac Amundson, Darren Cofer, Junaid Babar, David Hardin
The ForeMoSt approach to building valid model-based safety arguments
Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
RaQuN: a generic and scalable n-way model matching algorithm
Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer
Execution trace analysis for a precise understanding of latency violations
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty
Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development
Majid Babaei, Juergen Dingel
Involving users in the development of a modeling language for customer journeys
Ragnhild Halvorsrud, Odnan Ref Sanchez, Costas Boletsis, Marita Skjuve
Assessing the usefulness of a visual programming IDE for large-scale automation software
Bianca Wiesmayr, Alois Zoitl, Rick Rabiser
OSTRICH: a rich template language for low-code development (extended version)
Hugo Lourenço, Carla Ferreira, João Costa Seco, Joana Parreira
Model-driven design space exploration for multi-robot systems in simulation
James Harbin, Simos Gerasimou, Nicholas Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
Reasoning over time into models with DataTime
Gauthier Lyan, Jean-Marc Jézéquel, David Gross-Amblard, Romain Lefeuvre, Benoit Combemale
Repository mining for changes in Simulink and Stateflow models
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford