The virtue of quality is not itself a subject; it depends on a subject. In the software
engineering field, quality means good software products that meet customer expectations …

Abstract Model driven engineering aims to shorten the development cycle by focusing on
abstractions and partially automating code generation. We long lived in the myth of …

End-user programming may utilize Domain-Specific Modeling Languages (DSMLs) to
develop applications in the form of models, using only abstractions found in a specific …

The quality of the specifications used for test generation plays an important role in the quality
of the generated tests. One approach to improve the quality of the UML specification is the …

A Multi-Paradigm Modelling Approach for Engineering Model Debugging Environments Page 1
Universiteit Antwerpen A Multi-Paradigm Modelling Approach for Engineering Model Debugging …

Software gets increasing matter in control systems such as cyber-physical systems and
pervasive computing. Beyond the reliability and performance requirements, the software …

One of the major advantages of Model-Driven Engineering is the possibility to early assess
crucial system properties, in order to identify issues that are easier and cheaper to solve at …

Le logiciel prend une place de plus en plus prépondérante dans les systèmes cyber-
physiques, notamment grâce aux performances accrues des réseaux. Dans l'industrie du …

Abstract System developers spend a significant part of their time debugging systems (ie,
locating and fixing the cause of failures observed through verification and validation (V&V)) …

Logiciel et communication par les réseaux sont devenus incontournables dans les systèmes
cyberphysiques et les systèmes réactifs. Capteurs, actionneurs et contrôle peuvent être …