Specifying Interactive Systems in Object-Z and CSP.

Ian MacColl David A. Carrington

Published in: IFM (1999)

Keyphrases

interactive systems
human computer interaction
d objects
object model
constraint satisfaction problems
complex objects
digital entertainment
artificial intelligence
spatial relations
constraint satisfaction
moving objects
software engineering
user interface
viewpoint
target object
lower bound
computer vision