One major advantage of executable models is that once constructed, they can be run,
checked, validated and improved in short incremental and iterative cycles. In the field of …

In the context of MDE (Model-Driven Engineering), our objective is to define the semantics
for a given DSL (Domain Specific Language) either to simulate its models or to check …

Continuous Integration is a development process where developers and integrators push
code into a shared tools belonging to a toolchain. This is a kind of practive that permit build …

Nous proposons dans cette thèse une démarche permettant de décrire un DSML (Domain
Specific Modeling Language) et les outils nécessaires à l'exécution, la vérification et la …

Todas las organizaciones involucradas en el desarrollo de software necesitan establecer,
gestionar y soportar el trabajo de desarrollo. El término “proceso de desarrollo de software” …

More and more, models, through Domain Specific Languages (DSL), tend to be the solution
to define complex systems. Expressing properties specific to these metamodels, and …

Domain-Specific Language (DSL) are getting more and more popular and are being used in
critical systems like aerospace and car industries. Methods for simulating and validating …

The ecosystem of the Internet of Things is a set of physical devices such as sensors and
actuators. It includes a set of servers and gateways that provide connectivity. These devices …

Abstract Domain Specific Modeling Languages (DSML) are more and more used to handle
high level concepts, and thus bring complex software development under control. The …

More and more, models, through Domain Specific Languages (DSL), tend to be the solution
to define complex systems. Expressing properties specific to these metamodels and …