Habilitation à Diriger des Recherches

Une solution: les méta-outils

spécification formelle

manipulation des spécifications

génération automatique d'outils

choix de la méthode

fondement sur des bases théoriques solides