Designing for usability: key principles and what designers think
Communications of the ACM
Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
ACM SIGCHI Bulletin
Manuals as structured programs
HCI '94 Proceedings of the conference on People and computers IX
A proper explanation when you need one
HCI '95 Proceedings of the HCI'95 conference on People and computers X
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
International Journal of Human-Computer Studies
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
ACM '69 Proceedings of the 1969 24th national conference
Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica ®
Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica ®
The nature of device models: the yoked state space hypothesis and some experiments with text editors
Human-Computer Interaction
Learning system abstractions for human operators
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
International Journal of Human-Computer Studies
Improvements in interface design through implicit modeling
UAHCI'13 Proceedings of the 7th international conference on Universal Access in Human-Computer Interaction: design methods, tools, and interaction techniques for eInclusion - Volume Part I
Hi-index | 0.00 |
Graph theory provides a substantial resource for a diverse range of quantitative and qualitative usability measures that can be used for evaluating recovery from error, informing design tradeoffs, probing topics for user training, and so on. Graph theory is a straight-forward, practical and flexible way to implement real interactive systems. Hence, graph theory complements other approaches to formal HCI, such as theorem proving and model checking, which have a less direct relation to interaction. This paper gives concrete examples based on the analysis of a real non-trivial interactive device, a medical syringe pump, itself modelled as a graph. New ideas to HCI (such as small world graphs) are introduced, which may stimulate further research.