A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications

This publication has 8 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• A Theory of User-interaction Objects
  Journal of Visual Languages & Computing, 1994
• Abstract Interaction Objects
  Computer Graphics Forum, 1993
• Knowledge-based evaluation as design support for graphical user interfaces
  Published by Association for Computing Machinery (ACM) ,1992
• Computer analysis of user interfaces based on repetition in transcripts of user sessions
  ACM Transactions on Information Systems, 1991
• Defining interfaces at a high level of abstraction
  IEEE Software, 1989
• PAC, an Object Oriented Model for Dialog Design
  Published by Elsevier ,1987
• An approach to the formal analysis of user complexity
  International Journal of Man-Machine Studies, 1985