A domain specific language and methodology for control systems GUI specification, verification and prototyping
Matteo Risoldi, Didier Buchs · 2007
A work-in-progress domain-specific language and methodology for modeling complex control systems GUIs is presented. MDA techniques are applied for language design and verification, simulation and prototyping.