Deriving Tests for Objects Specified in Z.

Elspeth Cusack Clazien D. Wezeman

Published in: Z User Workshop (1992)

Keyphrases

databases
moving objects
d objects
object classes
object model
decision trees
three dimensional
data model
attribute values
spatial information
spatial relationships
bounding box
digital objects
real world objects