The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking
A Rigorous View of Mode Confusion
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Systematic Analysis of Control Panel Interfaces Using Formal Tools
Interactive Systems. Design, Specification, and Verification
Considering Context and Users in Interactive Systems Analysis
Engineering Interactive Systems
Names and reference in user interfaces
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 2
Social network analysis and interactive device design analysis
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Applying theorem discovery to automatically find and check usability heuristics
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Hi-index | 0.00 |
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 [12]. 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 generalises our previous work on improving state-based interface designs [5].