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