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).
Permanent Research Commons link: https://hdl.handle.net/10289/4114
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.