Algorithme incrémental  Alloy  Analyse de processus  Appariement des modèles  Apprentissage supervisé  Bogues  CMSPEM  Co-Évolution  Cohérence des modèles  Collaboration ad hoc  Conception orientée objets  Données contextuelles  Détection  Développement collaboratif  Environnement de développement  Exigences  Framework  Gestion d'entreprise  Gestion de la cohérence, approche incrémentale  Gestion de processus métier  Gremlin  Génie Logiciel  Génie logiciel  Générateurs  Hétérogénéité  IDM  Idm  Informatique sensible au contexte  Ingenierie dirigée par les modèles  Ingénierie de modèles  Ingénierie des modèles  Ingénierie des systèmes  Ingénierie dirigée par les Modèles [IDM]  Ingénierie dirigée par les modèles  Interopérabilité des outils AGL  L'approche par exemple  Logiciels -- Développement  Logiciels -- Vérification  Logiciels de groupe  Logique de premier-Ordre  Logique informatique  Logique temporelle  MDA [Model Driven Architecture]  MDE [Model driven engineering]  Machine learning  Maintenance  Model-Checking  Modèles  Modèles d'information  Modèles de procédés  Modèles mathématiques  Modélisation  Modélisation de procédés  Méta-modèle  Méta-modélisation  Métamodèle  Métiers  NoSQL  OCL  OCL  Passage à l’échelle  Plate-forme EJB [Enterprise Java-Beans]  Processus logiciel  Procédes de développement  Procédés  Propriétés structurelles  Requêtage de modèle  Règles de cohérence  Règles opérationelles  Réutilisation d'aplications  SPEM  Spécification  Systèmes complexes  Systèmes de grandes dimensions  Systèmes répartis  Systèmes, Conception de  Sémantique  Traces de transfomation  Traitement automatique des langues  Traitement automatique du langage naturel  Transformation de modèle  Transformation de modèles  Traçabilité  UML[Unified Modeling Language]  Uml  Vérification  Web sémantique  Évolution  

Marie-Pierre Gervais a rédigé la thèse suivante :


Marie-Pierre Gervais a dirigé les 12 thèses suivantes :

Systèmes informatiquesSystèmes informatiques
Soutenue en 2012
Thèse soutenue

Sciences pour l'ingénieur
Soutenue en 2010
Thèse soutenue

Systèmes informatiques
Soutenue en 2001
Thèse soutenue


Marie-Pierre Gervais a été président de jury de la thèse suivante :


Marie-Pierre Gervais a été rapporteur des 2 thèses suivantes :


Marie-Pierre Gervais a été membre de jury de la thèse suivante :