Model-driven GUI & interaction design using emulation

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.

Citation

Hinze, A., Bowen, J., Wang, Y. & Malik, R. (2010). Model-driven GUI & interaction design using emulation. In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Berlin, Germany, June 19-23, 2010. (pp. 273-278).

Series name

Date

Publisher

ACM

Degree

Type of thesis

Supervisor