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

Authors:
Matteo Risoldi;Didier Buchs
Affiliations:
Universite de Geneve, Switzerland;Universite de Geneve, Switzerland
Venue:
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Year:
2007

Citing 5
Cited 1

Towards a general computational framework for model-based interface development systems

IUI '99 Proceedings of the 4th international conference on Intelligent user interfaces
Eclipse Modeling Framework

Eclipse Modeling Framework
Principles for System Prototype and Verification Using Metamodel Based Transformations

RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
OCL 2.0 - Implementing the Standard for Multiple Metamodels

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a formal, model-based framework for control systems interaction prototyping

RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques

Bridging the chasm between MDE and the world of compilation

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

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.