Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Communications of the ACM
Designing the user interface (videotape)
Designing the user interface (videotape)
An empirical study of the reliability of UNIX utilities
Communications of the ACM
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
ACM SIGCHI Bulletin
Discount dialogue modelling with action simulator
HCI '94 Proceedings of the conference on People and computers IX
The Mathematica book (3rd ed.)
The Mathematica book (3rd ed.)
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
"On-the-Fly" Solution Techniques for Stochastic Petri Nets and Extensions
IEEE Transactions on Software Engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Predicting text entry speed on mobile phones
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Interactive System Design
Elements of the Theory of Computation
Elements of the Theory of Computation
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Feynman Lectures on Computation
Feynman Lectures on Computation
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Using Markov models for web site link prediction
Proceedings of the thirteenth ACM conference on Hypertext and hypermedia
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Interaction design for a mobile context-aware system using discrete event modelling
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Use of formal computational models for designing intelligent mobile device interfaces
Proceedings of the 9th international conference on Human computer interaction with mobile devices and services
Graph theory application and web page ranking for website link structure improvement
Behaviour & Information Technology
Usability analysis and design structure matrix
International Journal of Business Information Systems
Formal Testing of Multimodal Interactive Systems
Engineering Interactive Systems
Applying Graph Theory to Interaction Design
Engineering Interactive Systems
Social network analysis and interactive device design analysis
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Scalable analysis of collective behaviour in smart service systems
Proceedings of the 2010 ACM Symposium on Applied Computing
User-centered methods are insufficient for safety critical systems
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
A Meta-Analytical Review of Empirical Mobile Usability Studies
Journal of Usability Studies
Towards model checking stochastic aspects of the thinkteam user interface
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
SYFSA: A framework for Systematic Yet Flexible Systems Analysis
Journal of Biomedical Informatics
Hi-index | 0.01 |
How hard to users to find interactive devices to use to achieve their goals, and how can we get this information early enough to influence design? We show that Markov modeling can obtain suitable measures, and we provide formulas that can be used for a large class of systems. We analyze and consider alternative designs for various real examples. We introduce a “knowledege/usability graph,” which shows the impact of even a smaller amount of knowledge for the user, and the extent to which designers' knowledge may bias their views of usability. Markov models can be built into design tools, and can therefore be made very convenient for designers to utilize. One would hope that in the future, design tools would include such mathematical analysis, and no new design skills would be required to evaluate devices. A particular concern of this paper is to make the approach accessible. Complete program code and all the underlying mathematics are provided in appendices to enable others to replicate and test all results shown.