Determining relevant model elements for the verification of UML/OCL specifications.

Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler

Browse the full DATE paper archive.