Specifying Component Invariants with OCL
Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
In: Kurt Bauknecht, Wilfried Brauer, Thomas Mück (Hgg.).Proc. GI/OCG-Jahrestagung. books@ocg.at 157/I, ÖGI (Austrian Computer Society), 2001. S. 600-607.
