An approach to the formal analysis of user complexity.

David E. Kieras Peter G. Polson

Published in: Int. J. Hum. Comput. Stud. (1999)

Keyphrases

formal analysis
user interface
artificial intelligence
end users
user profiles
user defined
user model
agent model
decision problems
formal methods
information systems
natural language
business processes
user preferences
space complexity
ban logic