Simplifying Transformations of OCL Constraints.

Martin Giese Daniel Larsson

Published in: MoDELS (2005)

Keyphrases

constraint language
constraint satisfaction
linear constraints
constraint networks
multiple constraints
real time
real world
computer vision
query language
integrity constraints