Rechercher

Frédéric Gervais

Doctorant(e)
Equipe SYS
Parti depuis le 01/06/2007
Mail : gervaisensiie.fr
Tel : (33)15880
Fax : (33)15880
http://www.univ-paris12.fr/lacl/gervais/

De 2003 à 2006, j'ai fait une thèse en cotutelle entre le CNAM et l'Université de Sherbrooke (Québec). Mes directeurs de thèse sont Véronique Donzeau-Gouge (CNAM), Marc Frappier (Université de Sherbrooke) et Régine Laleau (Université Paris 12). Mes travaux portent sur la combinaison de spécifications formelles pour modéliser des systèmes d'information. L'objectif est de profiter des avantages de deux formes de modélisation complémentaires. En 2002, j'ai fait un stage de DEA au sein de l'équipe CPR sur la réutilisation de composants de spécification en B. Mes responsables de stage étaient Sandrine Blazy et Régine Laleau.

Publications

2007

2006

2005

2004

2003

2002