DocumentCode
1803392
Title
A domain specific language and methodology for control systems GUI specification, verification and prototyping
Author
Risoldi, Matteo ; Buchs, Didier
Author_Institution
Univ. de Geneve, Carouge
fYear
2007
fDate
23-27 Sept. 2007
Firstpage
179
Lastpage
182
Abstract
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.
Keywords
control engineering computing; digital simulation; formal specification; graphical user interfaces; large-scale systems; program verification; software prototyping; specification languages; GUI modeling; complex control systems; domain specific language; language design; language prototyping; language simulation; language verification; Control system synthesis; Control systems; DSL; Domain specific languages; Graphical user interfaces; Prototypes; Specification languages; Thermal variables control; User interfaces; Virtual prototyping;
fLanguage
English
Publisher
ieee
Conference_Titel
Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE Symposium on
Conference_Location
Coeur d´Alene, ID
Print_ISBN
978-0-7695-2987-5
Type
conf
DOI
10.1109/VLHCC.2007.21
Filename
4351345
Link To Document