Verifying consistency between activity diagrams and their corresponding OCL contracts.

Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler

Browse the full FDL paper archive.