Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors.

Andrew M. Dearden Michael D. Harrison

Published in: SAFECOMP (1997)

Keyphrases

formal specification
attribute grammars
specification language
high level
error analysis
human computer interaction
control flow
human interaction
user interaction
data mining
neural network
model checking
edge detection
user interface
image sequences
artificial intelligence
genetic algorithm
factors that influence