Reasoning About Interactive Systems.

Vincenzo Ambriola David Notkin

Published in: IEEE Trans. Software Eng. (1988)

Keyphrases

interactive systems
human computer interaction
formal theory
qualitative reasoning
digital entertainment
user interface
social intelligence
database
case study
spatial reasoning
data sets
databases
three dimensional
complete axiomatization