A Framework to formalise the MDE Foundations

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 DSL models are now necessary in order to make the new software generation …

Expérimentation pour la définition d'une sémantique dans l'IDM

Spécification et Vérification par Interprétation Abstraite d'Aspects pour la Distribution

Analyse statique d'un calcul d'acteur par interprétation abstraite

Static Analysis of Actors: From Type Systems to Abstract Interpretation