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 …

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 …

There is a general consensus on the importance of good requirements engineering for
achieving high-quality software. Functional requirements capture the intended behavior of …

We present the syntax and semantics of a past-and future-oriented temporal extension of the
Object Constraint Language (OCL). Our extension supports designers to express time …

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 …

There is a general consensus on the importance of good Requirements Engineering (RE)
for achieving high quality software. The modeling and analysis of requirements have been …

In the context of railway signalling systems, time related features play a relevant role at the
validation process and specialists are more and more confronted with the necessity of …

Software systems have become essential to many human activities and have proliferated
thanks to various hardware innovations such as mobile computing (laptops, personal digital …

In recent years, the Unified Modeling Language (UML) has received significant attention by
software designers to model object-oriented software systems. Complementary to UML …

Résumé L'ingénierie dirigée par les modèles (IDM) a permis plusieurs améliorations
significatives dans le développement de systèmes complexes en permettant de se …