Publikation

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 befindet sich MODELS 2015 September 29-29 Ottawa ON Canada 2015.

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