A Formal Framework for Reasoning on UML Class Diagrams.

Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Browse the full ISMIS paper archive.