Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study.

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier

Browse the full TAP paper archive.