The Role of Verification in Interactive Systems Design.

José Creissac Campos Michael D. Harrison

Published in: DSV-IS (1998)

Keyphrases

interactive systems
human computer interaction
image sequences
user interface
design decisions
functional verification
learning algorithm
multimedia
multiscale
control system
building blocks
model checking