To see English version

...François Lustman

Professeur, Département d'informatique et de recherche opérationnelle
Université de Montréal
Montréal, Québec, Canada



Intérets de recherche

Mots clefs:génie logiciel, méthodes formelles, spécifications, analyse, qualite du logiciel.
Ma recherche porte sur l'utilisation des méthodes formelles pour automatiser l'analyse et la conception des systèmes d'information. En ingéniérie des besoins, nos efforts se concentrent sur la formalisation du processus d'extraction des besoins, la détection et la localisation des erreurs en cours d'extraction, la conversion des besoins en spécifications. Nous étudions en particulier la technique des scénarios pour l'ingéniérie des besoins et l'intégration de spécifications partielles. Dans un projet en cours, nous tentons de construire la spécification d'un système, à partir d'un ensemble de scénarios, formalisés par des machines à transitions.
Un autre projet porte sur la qualite du logiciel. Nous etuions les relations qu'il peut y avoir entre l'architecture d'un logiciel et sa changeabilité
Dernière mise à jour: 18 aout 1999
lustman@iro.umontreal.ca