Model-driven GUI & interaction design using emulation

Authors:
Annika Hinze;Judy Bowen;Yuting Wang;Robi Malik
Affiliations:
University of Waikato, Hamilton, New Zealand;University of Waikato, Hamilton, New Zealand;University of Waikato, Hamilton, New Zealand;University of Waikato, Hamilton, New Zealand
Venue:
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Year:
2010

Citing 8
Cited 0

Applying model-based techniques to the development of UIs for mobile computers

Proceedings of the 6th international conference on Intelligent user interfaces
XIML: a common representation for interaction data

Proceedings of the 7th international conference on Intelligent user interfaces
Interaction design for a mobile context-aware system using discrete event modelling

ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
GrafiXML, a Multi-target User Interface Builder Based on UsiXML

ICAS '08 Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems
Event-based communication for location-based service collaboration

ADC '09 Proceedings of the Twentieth Australasian Conference on Australasian Database - Volume 92
USIXML: a language supporting multi-path development of user interfaces

EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Including design guidelines in the formal specification of interfaces in z

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a model-driven emulator for the interaction and GUI design of complex interacting systems. It allows systems that are engineered using formal methods and modelling to be tested with users before the final implementation. The user interface requirements are also specified in a formal model, which can be tested manually and automatically as required.