Trace-Directed Modeling - Polytechnique Montréal

Agenda Current status Quick overview of subproject intent State of the art Verification and analysis using state machines Reverse engineering from traces State machine generation and modeling Umple: A modeling infrastructure Plans and potential directions Current Status Project considerably delayed...

Uploaded by: Murkka Svensdottir
Filesize: 1 MB