Research on novel tools for model-based development differs from a mere engineering task
by not only develo** a new tool, but by providing some form of evidence that it is effective …

Simulink is an example of a successful application of the paradigm of model-based
development into industrial practice. Numerous companies create and maintain Simulink …

Having readily available corpora is crucial for performing replication, reproduction,
extension, and verification studies of existing research tools and techniques. MAT …

In the domain of CPPS, long-term maintenance of software is necessary. Refactoring, a
technique used to improve maintainability is a viable solution. However, there is a scarcity of …

Producing graphical views from software and system models is often desirable for
communication and comprehension purposes, even when graphical model editing …

Research on novel tools for model-based development differs from a mere engineering task
by providing some form of evidence that a tool is effective. This is typically achieved by …

Rolls-Royce Control Systems supplies engine control and monitoring systems for aviation
applications, and is required to design, certify, and deliver these to the highest level of safety …

Adoption of low-code engineering in complex enterprise applications also increases the size
of the underlying models. In such cases, the increasing complexity of the applications and …

YAML is a widely used textual format for capturing structured data. Despite its widespread
use by software engineering practitioners, there is little support for YAML in model …

Open-source model management frameworks such as OCL and ATL tend to focus on
manipulating models built atop the Eclipse Modelling Framework (EMF), a de facto standard …