Validation de propriétés par exécution de modèles
Contact : Marie-Pierre.Gervais (at) nulllip6.frFrom 01/19/2004 to 01/18/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èsThalès
Marie-Pierre GERVAIS