Logical Reasoning with Object Diagrams in a UML and OCL Tool.

Khanh-Hoang Doan, Martin Gogolla

Browse the full DIAGRAMS paper archive.