An approach to animate Object-Z specifications using C++.

Mehrnaz Najafi Hassan Haghighi

Published in: Sci. Iran. (2012)

Keyphrases

d objects
spatial relations
object model
deformable objects
real time
data sets
high level
computer graphics
three dimensional
moving objects
spatio temporal
complex objects
motion capture
specification language