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