A Taxonomy and Evaluation of Formalisms for the Specification of Interactive Systems.

Philippe Brun Michel Beaudouin-Lafon

Published in: BCS HCI (1995)

Keyphrases

interactive systems
human computer interaction
data sets
logic programming
evaluation criteria
evaluation method
real time
neural network
artificial intelligence
software engineering
logic programs
gold standard
formal specification