Summer's Schedule (...)

Fixing event broadcasting problems with SCC for the model simulator.
Discuss about Implementation of the event scheduler with processes and signals

Ways to check the correctness of the new compiler.
Target languages of the new compiler

Discussion about the compiler : Generic helper structures and calculations of transition priority.
Introduction of the Event Scheduler for real time / virtual time.

MSDL Meeting : Discussion about Statecharts and the "UML Statechats"

Presentation of Rehan's work on the Statecharts to C++ code generator
Introduction of Modelica for unified language and model checking

First course (COMP 763) : Modelling and Simulation Based Design about meta modeling and model transformation