A Case Study in Partial Specification: Consistency and Refinement for Object-Z.

Chris Taylor John Derrick Eerke A. Boiten

Published in: ICFEM (2000)

Keyphrases

d objects
case study
object model
complex objects
moving objects
information systems
target object
object identification
databases
three dimensional
viewpoint
keypoints
partial occlusion
object models
individual objects