User interface design with matrix algebra

ACM Transactions on Computer-Human Interaction

Volumn 11, Issue 2, 2004, Pages 181-236

  Thimbleby, Harold ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Feature interaction; Matrix algebra; Usability analysis; User interface design

Indexed keywords

FEATURE INTERACTION; INFORMATION INTERFACES; USABILITY ANALYSIS; USER INTERFACE SYSTEMS;

ALGORITHMS; COMPUTATIONAL METHODS; HAND HELD COMPUTERS; HUMAN COMPUTER INTERACTION; HUMAN ENGINEERING; LOGIC DESIGN; MATRIX ALGEBRA;

USER INTERFACES;

EID: 3042713353     PISSN: 10730516     EISSN: None     Source Type: Journal    
DOI: 10.1145/1005361.1005364     Document Type: Review

References (40)

1. ADDISON, M. A. AND THIMBLEBY, H. 1996. Intelligent adaptive assistance and its automatic generation, Interact. Comput. 8, 1, 51-68.
2. ALTY, J. L. 1984. The application of path algebras to interactive dialogue design. Behav. Infor. Tech., 3, 2, 119-132.
3. ANDERSON, J. R. AND LEBIERE, C. 1998. The Atomic Components of Thought, Lawrence Erlbaum Associates.
4. BLANDFORD, A. AND YOUNG, R. M. 1996. Specifying user knowledge for the design of interactive systems, Soft. Eng. J. 11, 6, 323-833.
5. BROWN, J. R. 1999. Philosophy of Mathematics, Routledge.
6. BROYDEN, C. G. 1975. Basic Matrices, Macmillan.
7. CARD, S. K., MORAN, T. P., AND NEWELL, A. 1983. The Psychology of Human-Computer Interaction, Lawrence Erlbaum Associates, Hillsdale, NJ.
8. CLARKE, Jr., E. M., GRUMBERG, O., AND PELED, D. A., 1999. Model Checking, MIT Press.
9. CURZON, P. AND BLANDFORD, A. 2001. Detecting Multiple Classes of User Errors. M. Reed Little & L. Nigay, eds. Engineering for Human-Computer Interaction, Springer Verlag, LNCS 2254, 57-71.
10. DIX, A., FINLAY, J., ABOWD, G., AND BEALE, R. 1998. Human-Computer Interaction, 2nd. ed., Prentice Hall.
11. GATHEN, J. VON ZUR AND GERHARD, J. 2003. Modern Computer Algebra, Cambridge University Press.
12. GOW, J. AND THIMBLEBY, H. 2004. MAUI: An interface design tool based on matrix algebra. ACM Conference on Computer Aided Design of User Interfaces, CADUI IV, R. J. K. Jacob, Q. Limbourg & J. Vanderdonckt, Eds. 81-94 (pre-proceedings page numbers).
13. HARTSON, H. R., SIOCHI, A., AND HIX, D. 1990. The UAN: A user oriented representation for direct manipulation interface designs. ACM Trans. Infor. Syst. 8, 3, 181-203.
14. HORROCKS, I. 1999. Constructing the User Interface with Statecharts, Addison-Wesley,
15. IVORY, M. Y. AND HEARST, M. A. 2001. The state of the art in automating usability evaluation of user interfaces. ACM Comput. Surv. 33, 4, 470-516.
16. JOHNSON, S. C. 1979. Yacc: Yet another compiler-compiler. UNIX Programmer's Manual, 2, Holt, Rinehart, and Winston, New York, NY, 353-387.
17. KIERAS, D. AND POLSON, P. G. 1985. An approach to the formal analysis of user complexity. Int. J. Man-Mach. Studies 22, 4, 365-394.
18. KNUTH, D. E. 1992. Two notes on notation. Am. Math. Monthly, 99, 5, 403-422.
19. LAMPORT, L. 1995. TLA in pictures. IEEE Trans. Soft. Eng. 21, 9, 768-775.
20. LIEBLER, R. A. 2003. Basic Matrix Algebra with Algorithms and Applications, Chapman & Hall/CRC.
21. MAGEE, J. AND KRAMER, J. 1999. Concurrency: State Models & Java Programs, John Wiley and Sons.
22. MYERS, B. 2002. Past, present, and future of user interface software tools. J. M. Carroll. In Human-Computer Interaction in the New Millenium, Ed. Addison-Wesley.
23. NEWMAN, W. M. 1969. A system for interactive graphical programming. In Proceedings 1968 Spring Joint Computer Conference. American Federation of Information Processing Societies, 47-54.
24. PARNAS, D. L. 1964. On the use of transition diagrams in the design of a user interface for an interactive computer system. In Proceedings of the 24th. ACM National Conference, 379-385.
25. PAYNE, S. J. 1991. Display-based action at the user interface, Int. J. Man-Mach. Studies 35, 3, 275-289.
26. PIROLLI, P. AND CARD, S. K. 1998. Information foraging models of browsers for very large document spaces. ACM Proceedings Advanced Visual Interfaces, AVI'98, 83-93.
27. RASKIN, J. 2000. The Humane Interface, Addison-Wesley.
28. SMITH, D. C. S., IRBY, C., KIMBALL, R., VERPLANK, B., AND HARLEM, E. 1982. Designing the star user interface. Byte 7, 4, 242-282.
29. THIMBLEBY, H. 1990. User Interface Design, ACM Press Frontier Series, Addison-Wesley.
30. THIMBLEBY, H. 1999. Specification-led design for interface simulation, collecting use-data, interactive help, writing manuals, analysis, comparing alternative designs, etc. Pers. Tech. 4, 2, 241-254.
31. THIMBLEBY, H. 2000. Calculators are needlessly bad. Int. J. Human-Comput. Studies 52, 6, 1031-1069.
32. THIMBLEBY, H., CAIRNS, P., AND JONES, M. 2001. Usability analysis with markov models. ACM Trans. Comput. Human Inter. 8, 2, 99-132.
33. THIMBLEBY, H. 2000. Analysis and simulation of user interfaces. Human Computer Interaction 2000, S. McDonald, Y. Waern and G. Cockton, Eds. BCS Conference on Human-Computer Interaction, XIV, 221-237.
34. THIMBLEBY, H. 2001. Permissive user interfaces, Int. J. Human-Comput. Studies 54, 3, 333-350.
35. THIMBLEBY, H. 2002. Reflections on symmetry. Proceedings on Advanced Visual Interfaces, AVI2002, 28-33.
36. THIMBLEBY, H. AND GOW, J. 2004. Computer algebra in interface design research, ACM/SIGCHI International Conference on Intelligent User Interfaces, IUI 04, N. J. Nunes & C. Rich, Eds. 366-367.
37. WASSERMAN, A. I. 1985. Extending state transition diagrams for the specification of human computer interaction. IEEE Trans. Soft. Eng. SE-11, 8, 699-713.
38. WOLFRAM, S. 1999. The Mathematica Book, 4th. ed., Cambridge University Press.
39. YOUNG, R. M. 1983. Surrogates and Mappings: Two Kinds of Conceptual Models for Interactive, Mental models, Devices, D. Gentner and A. L. Stevens. Hillsdale, NJ: Lawrence Erlbaum Assoc., 35-52.
40. YOUNG, R. M., GREEN, T. R. G., AND SIMON, T. 1989. Programmable user models for predictive evaluation of interface designs. ACM Proceedings CHI'89, 15-19.