Software specification/synthesis using meta-modelling
Year span: 
2004 - ...
Research lab: 

Currently focused on the automatic generation of GUIs from Statechart specifications (modelling in AToM3, simulation in SVM and code generation using SCC). This will allow bootstrapping of the AToM3 GUI. There is extensive documentation on SVM and SCC. For those interested in more in-depth information on SVM and SCC, have a look at Thomas Feng's M.Sc. thesis.

A pertinent example of the use of Statecharts is in Denis Dubé's M.Sc thesis (Chapter 3). It describes how hierarchies of Statecharts can be used to synthesize visual modelling environments, including layout.