Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses.
['Nils Przigoda', 'Judith Peters', 'Mathias Soeken', 'Robert Wille', 'Rolf Drechsler']
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses.