Full Satisfiability of UML Class Diagrams

Alessandro Artale, Diego Calvanese, Angélica Ibáñez-García. Full Satisfiability of UML Class Diagrams. In Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson C. Woo, Yair Wand, editors, Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Volume 6412 of Lecture Notes in Computer Science, pages 317-331, Springer, 2010. [doi]

Authors

Alessandro Artale

This author has not been identified. Look up 'Alessandro Artale' in Google

Diego Calvanese

This author has not been identified. Look up 'Diego Calvanese' in Google

Angélica Ibáñez-García

This author has not been identified. Look up 'Angélica Ibáñez-García' in Google