bureau 2349
téléphone
1 (514) 343.7474
télécopieur
1 (514) 343.5834
courriel
lustman@iro.umontreal.ca
page personnelle
iro.umontreal.ca/~lustman

 
BIOGRAPHIE

Dr.-Ing. en mathématiques appliquées, Grenoble, 1966
 

RECHERCHE
intérêts de recherche

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.
 
 

ENSEIGNEMENT

Génie logiciel.