Dr.-Ing.
en mathématiques appliquées, Grenoble, 1966
Ma recherche porte sur l’utilisation
des méthodes formelles pour automatiser l’analyse et la conception
des systèmes d’information.
En ingénierie des
besoins, mes efforts se concentrent sur la formalisation du processus,
la détection et la localisation des erreurs et la conversion des
besoins en spécifications. Par ailleurs, je travaille aussi sur
l’automatisation de la méthode d’analyse structurée.
Au niveau des spécifications,
je cherche à définir un langage formel satisfaisant à
deux critères: il est bien adapté à la spécification
des systèmes d’information et il permet un passage automatique à
une conception prouvée conforme.
Génie
logiciel. |