English
Related papers

Related papers: Towards Automatic Model Completion: from Requireme…

200 papers

AutoML systems are currently rising in popularity, as they can build powerful models without human oversight. They often combine techniques from many different sub-fields of machine learning in order to find a model or set of models that…

Machine Learning · Statistics 2021-05-03 Florian Pfisterer , Stefan Coors , Janek Thomas , Bernd Bischl

System and software design benefits greatly from formal modeling, allowing for automated analysis and verification early in the design phase. Current methods excel at checking information flow and component interactions, ensuring…

Systems and Control · Electrical Eng. & Systems 2025-01-31 Candice Chambers , Summer Mueller , Parth Ganeriwala , Chiradeep Sen , Siddhartha Bhattacharyya

Producing accurate software models is crucial in model-driven software engineering (MDE). However, modeling complex systems is an error-prone task that requires deep application domain knowledge. In the past decade, several automated…

Software Engineering · Computer Science 2024-08-27 Vittoriano Muttillo , Claudio Di Sipio , Riccardo Rubei , Luca Berardinelli , MohammadHadi Dehghani

Automated machine learning (AutoML) strives for the automatic configuration of machine learning algorithms and their composition into an overall (software) solution - a machine learning pipeline - tailored to the learning task (dataset) at…

Machine Learning · Computer Science 2023-06-16 Tanja Tornede , Alexander Tornede , Jonas Hanselle , Marcel Wever , Felix Mohr , Eyke Hüllermeier

Time-delay systems are an important class of dynamical systems which provide a solid mathematical framework to deal with many application domains of interest ranging from biology, chemical, electrical, and mechanical engineering, to…

Dynamical Systems · Mathematics 2009-03-28 Giordano Pola , Pierdomenico Pepe , Maria D. Di Benedetto , Paulo Tabuada

Modeling the logical architecture is an often underestimated development step to gain an early insight into the fundamental functional properties of an automotive system. An architectural description supports developers in making design…

Software Engineering · Computer Science 2014-09-24 Hans Grönninger , Jochen Hartmann , Holger Krahn , Stefan Kriebel , Lutz Rothhart , Bernhard Rumpe

Recent large language models (LLMs) have demonstrated promising capabilities in modeling real-world knowledge and enhancing knowledge-based generation tasks. In this paper, we further explore the potential of using LLMs to aid in the design…

Robotics · Computer Science 2024-11-04 Weicheng Ma , Luyang Zhao , Chun-Yi She , Yitao Jiang , Alan Sun , Bo Zhu , Devin Balkcom , Soroush Vosoughi

Use case modeling employs user-centered scenarios to outline system requirements. These help to achieve consensus among relevant stakeholders. Because the manual creation of use case models is demanding and time-consuming, it is often…

Software Engineering · Computer Science 2025-11-14 Tobias Eisenreich , Nicholas Friedlaender , Stefan Wagner

Autonomous agents driven by Large Language Models (LLMs) offer enormous potential for automation. Early proof of this technology can be found in various demonstrations of agents solving complex tasks, interacting with external systems to…

As machine learning (ML) components become increasingly integrated into software systems, the emphasis on the ethical or responsible aspects of their use has grown significantly. This includes building ML-based systems that adhere to…

Software Engineering · Computer Science 2023-10-11 Hira Naveed

In the recent years, machine learning has made great advancements that have been at the root of many breakthroughs in different application domains. However, it is still an open issue how make them applicable to high-stakes or…

Machine Learning · Computer Science 2024-02-05 Eleonora Giunchiglia , Fergus Imrie , Mihaela van der Schaar , Thomas Lukasiewicz

Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches of modeling system safety requirements and interaction…

Software Engineering · Computer Science 2016-11-17 Zhe Chen , Gilles Motet

Nowadays, systems containing components based on machine learning (ML) methods are becoming more widespread. In order to ensure the intended behavior of a software system, there are standards that define necessary quality aspects of the…

Software Engineering · Computer Science 2020-08-26 Julien Siebert , Lisa Joeckel , Jens Heidrich , Koji Nakamichi , Kyoko Ohashi , Isao Namba , Rieko Yamamoto , Mikio Aoyama

This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts different target languages for modeling the state-transitions of a…

Formal Languages and Automata Theory · Computer Science 2023-07-28 Javier Segovia-Aguas , Jonathan Ferrer-Mestres , Sergio Jiménez

We present a framework for migrating production Large Language Model (LLM) based systems when the underlying model reaches end-of-life or requires replacement. The key contribution is a Bayesian statistical approach that calibrates…

Artificial Intelligence · Computer Science 2026-05-01 Emma Casey , David Roberts , David Sim , Ian Beaver

This paper explores a top-down approach to automating incremental advances in machine learning research through component-level innovation, facilitated by Large Language Models (LLMs). Our framework systematically generates novel…

Machine Learning · Computer Science 2024-09-10 Shervin Ardeshir

The use of Automated Machine Learning (AutoML) systems are highly open-ended and exploratory. While rigorously evaluating how end-users interact with AutoML is crucial, establishing a robust evaluation methodology for such exploratory…

Modeling structure and behavior of software systems plays a crucial role in the industrial practice of software engineering. As with other software engineering artifacts, software models are subject to evolution. Supporting modelers in…

Software Engineering · Computer Science 2026-01-21 Christof Tinnes , Alisa Welter , Sven Apel

The advent of Large Language Models (LLMs) has significantly transformed tasks across Software Engineering. In the context of Business Process Management, LLMs are now being explored as tools to derive process models directly from textual…

Software Engineering · Computer Science 2026-05-01 Pedro-Aarón Hernández-Ávalos , Luciano García-Bañuelos

The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these…

Software Engineering · Computer Science 2024-08-29 Sergio Morales , Robert Clarisó , Jordi Cabot