Animation of Object-Z Specifications Using a Z Animator.

Tim McComb Graeme Smith

Published in: SEFM (2003)

Keyphrases

complex objects
d objects
high level
object model
moving objects
object tracking
object detection
target object
control flow
digital libraries
spatial relationships
object segmentation
multiple objects
complex scenes
functional requirements