AMME: an Automatic Mental Model Evaluation to analyse user behaviour traced in a finite, discrete state space

References

• BAINBRIDGE , L. 1991 , The ‘cognitive’ in cognitive ergonomics , Le Travail humain , 54 , 337 – 343 .
   Web of Science ®Google Scholar
• BAUMAN , R. and TURANO , T. A. 1986 , Production-based language simulation of Petri nets , Simulation , 47 , 191 – 198 .
   Google Scholar
• CARD , S. K. , MORAN , T. P. and NEWELL , A. 1983 . The Psychology of Human-Computer Interaction ( Lawrence Erlbaum Associates , Indiana ).
   Google Scholar
• CHURCHILL , E. 1992 , The formation of mental models are ‘device instructions’ the source? in G. van der Veer, M. Tauber, S. Bagnara and M. Antalovits (eds) Human-Computer Interaction Tasks and Organisation ( CUD , Roma ), 3 – 16 .
   Google Scholar
• DÄHLER , J. 1989 , The Petri net simulator PACE ( Pace Inc. . Neptunstrasse 16, CH-8280 Kreuzlingen , Switzerland ).
   Google Scholar
• ERICSSON , K. A. and SIMON , H. A. 1984 , Protocol Analysis ( The MIT Press , Cambridge , MA ).
   Google Scholar
• GENRICH , H. J. , LAUTENBACH , K. and THIAGARAJAN , P. S. 1980 , Elements of general net theory , in W. Bauer (ed.) Lecture Notes in Computer Science vol. 84 ‘Net Theory and Applications” ( Springer , New York ), 21 – 163 .
   Google Scholar
• GREEN , T. R. G. and Hoc , J. M. 1991 , What is cognitive ergonomics? Le Travail humain , 54 , 291 – 304 .
   Web of Science ®Google Scholar
• INTERLINK , INC. 1991 . The KNOT software ( P.O. Box 4086 UPB , Las Cruces , NM 88003, USA ).
   Google Scholar
• KIERAS , D. E. and POLSON , P. G. 1985 , An approach to the formal analysis of user complexity , International Journal of Man-Machine Studies , 22 , 365 – 394 .
   Google Scholar
• MCCABE , T. 1976 , A complexity measure , IEEE Transactions on Software Engineering, SE-2 ( 6 ), 308 – 320 .
   Google Scholar
• MCDANIEL , E. , LAWRENCE , C. 1990 , Levels of Cognitive Complexity An Approach to the Measurement of Thinking ( Springer , New York ).
   Google Scholar
• MORAN , T. P. 1981 , The command language grammar a representation for the user interface of interactive computer systems , International Journal of Man-Machine Studies , 15 , 3 – 50 .
   Google Scholar
• PAYNE , S. J. and GREEN , T. G. R. 1986 , Task-action grammars a model of the mental representation of task languages , Human-Computer Interaction , 2 , 93 – 133 .
   Google Scholar
• PERVIN , L. A. 1984 , Personality ( John Wiley & Sons , New York ).
   Google Scholar
• PETERSON , S. J. 1981 , Petri Net Theory and the Modeling of Systems ( Prentice Hall , Englewood Cliffs ).
   Google Scholar
• PETRI , C. A. 1980 , Introduction to general net theory , in W. Bauer (ed.) Lecture Notes in Computer Science vol. 84 ‘Net Theory and Applications’ ( Springer , New York ), 1 – 19 .
   Google Scholar
• RAUTERBERG , M. 1992a , An empirical comparison of menu-selection (CUI) and desktop (GUI) computer programs carried out by beginners and experts , Behaviour & Information Technology , 11 , 227 – 236 .
   Web of Science ®Google Scholar
• RAUTERBERG , M. 1992b , A method of a quantitative measurement of cognitive complexity , in G. van der Veer, M. Tauber, S. Bagnara and M. Antalovits (eds) Human-Computer Interaction Tasks and Organisation ( CUD , Roma ). 295 – 307 .
   Google Scholar
• RAUTERBERG , M. , HOFMANN , J. , LEUCHTER , C. and RUDNIK , J. 1992c , AMME an automatic mental model evaluator , Technical Report, Work and Organizational Psychology Unit , Swiss Federal Institute of Technology , Zurich .
   Google Scholar
• REISNER , P. 1981 , Formal grammar and human factors design of an interactive graphics system , IEEE Transactions on Software Engineering , SE-7 ( 2 ), 229 – 240 .
   Web of Science ®Google Scholar
• SANDERSON , P. M. , VERHAGE , A. G. and FULD , R. B. 1989 , State-space and verbal protocol methods for studying the human operator in process control , Ergonomics , 32 , 1343 – 1372 .
   PubMed Web of Science ®Google Scholar
• SCAPIN , D. L. and PIERRET-GOLBREICH , C. 1990 , Towards a method for task description MAD , in L. Berlinguet and D. Berthelette (eds) Work with Display Units 89 ( Elsevier , Amsterdam ), 371 – 380 .
   Google Scholar
• SCHVANEVELDT , R. W. 1990 , Pathfinder Associative Networks-Studies in Knowledge Organization ( Ablex Publishing , Norwood ).
   Google Scholar
• SCOTT , W. A. , OSGOOD , D. W. and PETERSON , C. 1979 , Cognitive Structure Theory and Measurement of Individual Differences ( John Wiley & Sons , New York ).
   Google Scholar
• WASSERMAN , A. I. 1985 , Extending state transition diagrams for the specification of human-computer interaction , IEEE Transactions on Software Engineering , SE-11 ( 8 ), 699 – 713 .
   Web of Science ®Google Scholar