A domain specific language and methodology for control systems GUI specification, verification and prototyping

V
VLHCC
2007
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007)
Abstract - A domain specific language and methodology for control systems GUI specification, verification and prototyping

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Matteo Risoldi Articles by Didier Buchs

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007)

Coeur d?Al?ne, Idaho

September 23-September 27

ISBN: 0-7695-2987-9

	ASCII Text	x
	Matteo Risoldi, Didier Buchs, "A domain specific language and methodology for control systems GUI specification, verification and prototyping," Visual Languages and Human-Centric Computing, IEEE Symposium on, pp. 179-182, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007.

	BibTex	x
	@article{ 10.1109/VLHCC.2007.21, author = {Matteo Risoldi and Didier Buchs}, title = {A domain specific language and methodology for control systems GUI specification, verification and prototyping}, journal ={Visual Languages and Human-Centric Computing, IEEE Symposium on}, volume = {0}, year = {2007}, isbn = {0-7695-2987-9}, pages = {179-182}, doi = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.21}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Visual Languages and Human-Centric Computing, IEEE Symposium on TI - A domain specific language and methodology for control systems GUI specification, verification and prototyping SN - 0-7695-2987-9 SP179 EP182 A1 - Matteo Risoldi, A1 - Didier Buchs, PY - 2007 KW - null VL - 0 JA - Visual Languages and Human-Centric Computing, IEEE Symposium on ER -

Matteo Risoldi, Universite de Geneve, Switzerland

Didier Buchs, Universite de Geneve, Switzerland

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.21

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.

Citation:

Matteo Risoldi, Didier Buchs, "A domain specific language and methodology for control systems GUI specification, verification and prototyping," vlhcc, pp.179-182, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.