Using patterns to develop consistent design constraints

Developing constraint specifications for class models is a time-consuming and error-prone task because typical specifications contain numerous constraints, which in addition often state complex facts about the elements of the model. As the size and the complexity of constraint specifications grow, s... View More