Understanding Object-Z Operations as Generalised Substitutions.

Published in: IFM (2004)

Keyphrases

complex objects
spatial relationships
real time
d objects
data objects
target object
databases
genetic algorithm
image sequences
moving objects
multiple objects