We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach to interface specification [11]. We also present a novel algorithm for automatically identifying modes in state-based interface designs, allowing a significant level of automated tool support for our methodology. The present paper extends and generalises our previous work on improving state-based interface designs [4].
Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns