Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses.

Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler

Browse the full MODELS paper archive.