Formal Methods in HCI:
Moving Towards an Engineering Approach

Alan Dix

Paper presented at NDISD'93 - HCI: Making Software Usable, Wolverhampton, 1993.

Download full paper in PDF (216K) or compressed postscript (91K).

Download presentation slides (PDF, 478K)

Download full Proceedings of NDISD'93 (PDF, 2.9M)

Full reference:

A. Dix (1993).
Formal Methods in HCI: Moving Towards an Engineering Approach.
NDISD'93 - HCI: Making Software Usable, Wolverhampton.

For related work see Alan's topics pages on formal methods in HCI and undo



The author and others have been studying the interplay of formal methods and HCI for several years. In particular, much of this work has centred on the design of formal models of interactive systems which can be used to formalise properties of usability. Although this work has been successful, it requires quite a high level of mathematical sophistication and is thus hard to 'give away' to the practitioner. This paper will describe two methods which have their roots in formal analysis, but which do not require great formal expertise. Such methods can be thought of as operating at an `engineering level' as they have to some extent pre-packaged the results and insights of more sophisticated analysis into a form more readily applied to practical problems.

Alan Dix 2/10/2001