Formal verification of a UML class diagram annotated with OCL constraints has been a long-
standing challenge in Model-driven Engineering. In the past decades, many tools and …

Digital twins constitute virtual representations of physically existing systems. However, their
inherent complexity makes them difficult to develop and prove correct. In this paper we …

Abstract Context Model Driven Software Engineering (MDSE) and low-code/no-code
software development tools promise to increase quality and productivity by modelling …

System-level testing of avionics software systems requires compliance with different
international safety standards such as DO-178C. An important consideration of the avionics …

Automatically synthesizing consistent models is a key prerequisite for many testing
scenarios in autonomous driving or software tool validation where model-based systems …

Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for
many different engineering tasks, especially those involving transitioning from design to …

Adaptive systems manage and regulate the behavior of devices or other systems using
control loops to automatically adjust the value of some measured variables to equal the …

Modeling the behavior of complex systems that operate in real environments, deal with
physical elements, or interact with humans is a challenging task. It involves the explicit …

The EMF framework is the main meta-modelling framework used nowadays. It has a rich
ecosystem of plug-ins and tools built with and for it, including the option of enriching meta …

In order to achieve effective support for software development, the transition between an
informal and provisional mode of tool operation, which is conducive to design exploration …