Graphical specification of user interfaces with behavior abstraction.

John F. DeSoi William M. Lively Sallie V. Sheppard

Published in: CHI (1989)

Keyphrases

user interface
high level
human behavior
user interaction
behavior patterns
specification language
qualitative simulation
data mining
artificial intelligence
expert systems
relational databases
low level
end users
user friendly
state transition
formal verification