Consistency, Independence and Consequences in UML and OCL Models.

Martin Gogolla, Mirco Kuhlmann, Lars Hamann

Browse the full TAP paper archive.