Decidable Reasoning in UML Schemas with Constraints.

Anna Queralt, Ernest Teniente

Browse the full CaiSE paper archive.