Diese Seite auf deutsch
SearchOCL Component Invariants
Hubert Baumeister, Rolf Hennicker, Alexander Knapp, Martin Wirsing
In: Luqi, Manfred Broy (Hgg.). Proc. Wsh. Montery - Engineering Automation for Software Intensive System Integration. U.S. Naval Postgraduate School, Monterey, 2001. S. 208-215.