In model-driven software engineering, models are used in all phases of the development process. These models must hold a high quality since the implementation of the systems they represent relies on them. Models may get broken due to various editions throughout their life-cycle, and preserving their quality is crucial. Several existing tools reduce the burden of manually dealing with issues that affect models’ quality, such as syntax errors, model smells, and inadequate structures. However, the same issues might not have the same solutions in all contexts due to different user preferences and business policies. Personalization would enhance the usability of automatic repairs in different contexts while reusing the experience from previous r...
This paper proposes a probabilistic reachability repair solution that enables abstract machines to a...
Process models are important for supporting organizations in documenting, understanding and monitori...
Automated program fixing consists of generating source code in order to fix bugs in an automated man...
Large language models (LMs), while powerful, are not immune to mistakes, but can be difficult to ret...
Consistency management, the ability to detect, diagnose and handle inconsistencies, is crucial durin...
Models are core artifacts of modern software engineering processes, and they are subject to evolutio...
Machine learning models have many applications, being used for example in pattern analysis, image cl...
Model repair is a formal method that aims at fixing bugs in models automatically. Typically, these m...
International audienceSoftware models, often comprise of interconnected diagrams, change continuousl...
With the importance gained by Service-Oriented Architectures (SOA) to simplify and decompose complex...
National audienceAutomated program fixing consists of generating source code in order to fix bugs in...
Process models often do not adequately reect the behavior of real-life systems. In the general case,...
With the immense progress in Machine Learning in the past decades, General Machine Learning(GLM) mod...
Dissertação de mestrado em Engenharia InformáticaModel-Driven Engineering (MDE) is a well known appr...
Models are paramount in model-driven engineering. In a software project many models may coexist, cap...
This paper proposes a probabilistic reachability repair solution that enables abstract machines to a...
Process models are important for supporting organizations in documenting, understanding and monitori...
Automated program fixing consists of generating source code in order to fix bugs in an automated man...
Large language models (LMs), while powerful, are not immune to mistakes, but can be difficult to ret...
Consistency management, the ability to detect, diagnose and handle inconsistencies, is crucial durin...
Models are core artifacts of modern software engineering processes, and they are subject to evolutio...
Machine learning models have many applications, being used for example in pattern analysis, image cl...
Model repair is a formal method that aims at fixing bugs in models automatically. Typically, these m...
International audienceSoftware models, often comprise of interconnected diagrams, change continuousl...
With the importance gained by Service-Oriented Architectures (SOA) to simplify and decompose complex...
National audienceAutomated program fixing consists of generating source code in order to fix bugs in...
Process models often do not adequately reect the behavior of real-life systems. In the general case,...
With the immense progress in Machine Learning in the past decades, General Machine Learning(GLM) mod...
Dissertação de mestrado em Engenharia InformáticaModel-Driven Engineering (MDE) is a well known appr...
Models are paramount in model-driven engineering. In a software project many models may coexist, cap...
This paper proposes a probabilistic reachability repair solution that enables abstract machines to a...
Process models are important for supporting organizations in documenting, understanding and monitori...
Automated program fixing consists of generating source code in order to fix bugs in an automated man...