-
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... -
Garantir la complétude des cartes de patrons à l'aide de méta-patrons
International audience -
Proposition d'un modèle d'auto-coordination en situation de conception, appli...
This paper intends to propose a conceptual model able to describe the cooperative processes which appears during the building design. This model has been implemented... -
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...
