Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Programmable user models for predictive evaluation of interface designs
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
User interface design
The UAN: a user-oriented representation for direct manipulation interface designs
ACM Transactions on Information Systems (TOIS)
Display-based action at the user interface
International Journal of Man-Machine Studies
American Mathematical Monthly
Human-computer interaction (2nd ed.)
Human-computer interaction (2nd ed.)
The Mathematica book (4th edition)
The Mathematica book (4th edition)
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Model checking
Calculators are needlessly bad
International Journal of Human-Computer Studies
International Journal of Human-Computer Studies
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
The state of the art in automating usability evaluation of user interfaces
ACM Computing Surveys (CSUR)
Constructing the User Interface with Statecharts
Constructing the User Interface with Statecharts
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
IEEE Transactions on Software Engineering
Detecting Multiple Classes of User Errors
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
ACM '69 Proceedings of the 1969 24th national conference
Modern Computer Algebra
Information foraging models of browsers for very large document spaces
AVI '98 Proceedings of the working conference on Advanced visual interfaces
Computer algebra in interface design research
Proceedings of the 9th international conference on Intelligent user interfaces
Proceedings of the Working Conference on Advanced Visual Interfaces
Human guided evolution of XUL user interfaces
CHI '07 Extended Abstracts on Human Factors in Computing Systems
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive evolution of XUL user interfaces
Proceedings of the 9th annual conference on Genetic and evolutionary computation
There's always one!: modelling outlying user performance
CHI '08 Extended Abstracts on Human Factors in Computing Systems
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Usability analysis and design structure matrix
International Journal of Business Information Systems
Considering Context and Users in Interactive Systems Analysis
Engineering Interactive Systems
Social network analysis and interactive device design analysis
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Validity and cross-validity in HCI publications
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Interaction walkthrough: evaluation of safety critical interactive systems
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
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
Constrained data acquisition for mobile citizen science applications
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Including design guidelines in the formal specification of interfaces in z
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Automatic critiques of interface modes
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
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 |
It is usually very hard, both for designers and users, to reason reliably about user interfaces. This article shows that 'push button' and 'point and click' user interfaces are algebraic structures. Users effectively do algebra when they interact, and therefore we can be precise about some important design issues and issues of usability. Matrix algebra, in particular, is useful for explicit calculation and for proof of various user interface properties.With matrix algebra, we are able to undertake with ease unusally thorough reviews of real user interfaces: this article examines a mobile phone, a handheld calculator and a digital multimeter as case studies, and draws general conclusions about the approach and its relevance to design.