Thomas Raimbault, David Genest, Stéphane Loiseau. A New Method to Interrogate and Check UML Class Diagrams. In Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme, editors, Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings. Volume 3596 of Lecture Notes in Computer Science, pages 353-366, Springer, 2005. [doi]
Abstract is missing.