Abstract is missing.
- The Role of Models at the Heart of the Digital TransformationFrancis Bordeleau. 5
- The Secret Recipe to the Perfect Low-Code PlatformJordi Cabot. 7
- Model Execution: From a Retrospective on Code Generation to a Perspective on Model CompilationFederico Ciccozzi. 9
- The Lifecycle of Data Clumps: A Longitudinal Case Study in Open-Source ProjectsNils Baumgartner, Elke Pulvermüller. 15-26
- System Architects Are not Alone Anymore: Automatic System Modeling with AILudovic Apvrille, Bastien Sultan. 27-38
- Fault Tree Reliability Analysis via Squarefree PolynomialsMilan Lopuhaä-Zwakenberg. 39-49
- An Analysis and Simulation Framework for Systems with Classification ComponentsFrancesco Bedini, Tino Jungebloud, Ralph Maschotta, Armin Zimmermann. 50-61
- Kant: A Domain-Specific Language for Modeling Security ProtocolsChiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba. 62-73
- Large Language Models in Enterprise Modeling: Case Study and ExperiencesLeon Görgen, Eric Müller, Marcus Triller, Benjamin Nast, Kurt Sandkuhl. 74-85
- DecSup: An Architecture Description Language for Specifying and Simulating the Decision Support System ArchitecturesMert Ozkaya, Mehmet Alp Kose, Egehan Asal. 89-98
- A Model-Based Framework for News Content AnalysisFazle Rabbi 0001, Bahareh Fatemi, Yngve Lamo, Andreas L. Opdahl. 99-107
- Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax DiagramsVanessa Tietz, Björn Annighöfer. 108-116
- Model-Based Assessment of Conformance to Acknowledged Security-Related Software Architecture Good PracticesMonica Buitrago, Isabelle Borne, Jérémy Buisson. 117-124
- Comparative Evaluation of NLP Approaches for Requirements FormalisationShekoufeh Kolahdouz Rahimi, Kevin Lano, Sobhan Yassipour Tehrani, Chenghua Lin, Yiqi Liu, Muhammad Aminu Umar. 125-132
- Torque not Work, Representing Kinds of QuantitiesSteve McKeever. 133-140
- MDE-Based Graphical Tool for Modeling Data Provenance According to the W3C PROV StandardMarcos Alves Vieira, Sérgio T. Carvalho. 141-148
- Coding by Design: GPT-4 Empowers Agile Model Driven DevelopmentAhmed R. Sadik, Sebastian Brulin, Markus Olhofer. 149-156
- Virtual61850: A Model-Driven Tool to Support the Design and Validation of Virtualized Controllers in Power IndustryNadine Kabbara, Timothe Grisot, Jérôme Cantenot. 157-168
- Defining KPIs for Executable DSLs: A Manufacturing System Case StudyHiba Ajabri, Jean-Marie Mottu, Erwan Bousse. 169-178
- Multi-Dimensional Process Analysis of Software Development ProjectsThanh Nguyen, Saimir Bala, Jan Mendling. 179-186
- Cycle-Accurate Virtual Prototyping with MultiplicityDaniela Genius, Ludovic Apvrille. 187-194
- Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application IntegrationMailson Borges Teles, José Bocanegra, Eldair F. Dornelles, Sandro Sawicki, Antonia M. Reina Quintero, Carlos Molina-Jiménez, Fabricia Roos-Frantz, Rafael Z. Frantz. 195-202
- Qualitative Reasoning and Design Space ExplorationBaptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. 203-210
- Constructive Assertions with Abstract ModelsYoonsik Cheon. 211-218
- Single-Sourcing for Desktop and Web Applications with EMF ParsleyLorenzo Bettini. 219-226
- AI-Based Recognition of Sketched Class DiagramsThomas Buchmann, Jonas Fraas. 227-234
- On Augmenting Scenario-Based Modeling with Generative AIDavid Harel, Guy Katz, Assaf Marron, Smadar Szekely. 235-246
- Model-Driven Methodology for Developing Chatbots Based on Microservice ArchitectureAdel Vahdati, Raman Ramsin. 247-254
- Using Personalised Authentication Flows to Address Issues with Traditional Authentication MethodsJack Holden, Deniz Cetinkaya. 255-263
- A Tool for Modeling and Tailoring Hybrid Software ProcessesAnders Wallberg, Daniel González, Luis Silvestre, María Cecilia Bastarrica. 264-271
- Automatic Generation of Models from Their Metamodels Using Multilayer Perceptron NetworkKarima Berramla, El Abbassia Deba, Abou El Hassan Benyamina. 272-279
- MBSE to Support Engineering of Trustworthy AI-Based Critical SystemsAfef Awadid, Boris Robert, Benoît Langlois. 280-287
- Towards a Domain Model for Learning and TeachingOleg Shvets, Kristina Murtazin, Martijn Meeter, Gunnar Piho. 288-296
- Collaborative Computing Paradigms: A Software Systems Architecture for Dynamic IoT EnvironmentsPrashant G. Joshi, Bharat M. Deshpande. 297-306
- On the Formal Robustness Evaluation for AI-based Industrial SystemsMohamed Ibn Khedher, Afef Awadid, Augustin Lemesle, Zakaria Chihani. 311-321
- AI Systems Trustworthiness Assessment: State of the ArtAfef Awadid, Kahina Amokrane-Ferka, Henri Sohier, Juliette Mattioli, Faouzi Adjed, Martin Gonzalez, Souhaiel Khalfaoui. 322-333
- Bringing Systems Engineering Models to Large Language Models: An Integration of OPM with an LLM for Design AssistantsRamón María García Alarcia, Pietro Russo, Alfredo Renga, Alessandro Golkar. 334-345
- MBSE-Enhanced LSTM Framework for Satellite System Reliability and Failure PredictionM. Amin Alandihallaj, Mahya Ramezani, Andreas Makoto Hein. 349-356
- AI Engineering for Trust by DesignAndré Meyer-Vitali. 357-364
- Compliance by Design for Cyber-Physical Energy Systems: The Role of Model-Based Systems Engineering in Complying with the EU AI ActDominik Vereno, Katharina Polanec, Christian Neureiter. 365-370
- Facilitating User-Centric Model-Based Systems Engineering Using Generative AIElias Bader, Dominik Vereno, Christian Neureiter. 371-377
- On the Artificial Reasoning with Chess: A CBR vs PBR ViewZahira Ghalem, Karima Berramla, Thouraya Bouabana-Tebibel, Djamel Eddine Zegour. 378-385
- On Some Artificial Intelligence Methods in the V-Model of Model-Based Systems EngineeringStephan Rudolph. 386-393