-
Ingénierie des processus : une approche à base de patrons
National audience -
Modern languages for modeling and verifying asynchronous systems
The work in this thesis is at the intersection of two major research domains~: Model-Driven Engineering (MDE) and formal methods, and has various fields of... -
Kriging as an alternative for a more precise analysis of output parameters in...
International audience -
Extending Enterprise Architecture Modeling Languages for Domain Specificity a...
International audience -
Contribution to the definition of a mathod for designing an ontology-based da...
Recently, ontologies have been widely adopted by small, medium and large companies in various domains. Theyhave become central components in many applications. These...
