Pour voir la version Française

...François Lustman

Professor, Department of Computer Science and Operations Research
University of Montral
Montreal, Quebec, Canada



Research Interests

Key Words:Software engineering, formal methods, specifications, analysis, design, Information systems.
I am interested in using formal methods to automate the analysis and design of information systems. In requirements engineering, we are trying to formalize the requirements elicitation process, to detect and locate errors, to convert requirements into formal specifications. In particular, we are using the scenario technique for requirements engineering, and for integrating partial requirements into one consolidated specification.
Another project focuses on software quality. We are investigating the potential relationship between software architecture and changeability.

Last update: August, 18, 1999
lustman@iro.umontreal.ca