Refinement in Object-Z and CSP.

Christie Bolton Jim Davies

Published in: IFM (2002)

Keyphrases

constraint satisfaction problems
complex objects
d objects
constraint satisfaction
moving objects
data objects
object model
deformable objects
object identification
database
search engine
three dimensional
np hard
spatial relationships
object classes
object models