Combining Component Specifications in Object-Z and CSP.

John Derrick Eerke A. Boiten

Published in: Formal Aspects Comput. (2002)

Keyphrases

object model
constraint satisfaction problems
complex objects
d objects
high level
constraint programming
constraint propagation
formal specification
np hard
object segmentation
constraint satisfaction
object classes
multiple objects
arc consistency
decomposition methods