Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses

@inproceedings{pub8001,
    author = {

Przigoda, Nils
 and 

Peters, Judith
 and 

Soeken, Mathias
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses},
    booktitle = {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},
    year = {2015}
}