UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken - Systems analysis - Document - PDFSEARCH.IO

First Page	Meta Content
	UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla\|fhilken}@informatik.uni-bremen.de Add to Reading List Document Date: 2015-09-13 11:11:13 Open Document File Size: 290,73 KB Share Result on Facebook

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.deAdd to Reading List