Publication

Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses

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

In: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-12) 12th located at MODELS 2015 September 29-29 Ottawa ON Canada 2015.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz