Industrial Context
Motivation
Formalization Essential for Automation
The Semi-Automated Process
Advantages
Disseminating Results
Expected Results & Status
Email: mdonat@cs.ubc.ca
Home Page: http://www.cs.ubc.ca/spider/donat