Validation de propriétés par exécution de modèles

Contact : Marie-Pierre.Gervais (at) nulllip6.fr
Du 19/01/2004 au 18/01/2007

L'objectif de la thèse est d'une part de proposer une façon d'attacher une sémantique aux différents niveaux d'abstraction et d'autre part de permettre d'identifier les relations existantes entre niveaux adjacents en fonction des transformations réalisées. Ce travail sera fait en se basant sur une étude de cas.

Thalès
Thalès

Marie-Pierre GERVAIS