A formal framework for reasoning on UML class diagrams

Calì A, Calvanese D, De Giacomo G, Lenzerini M
2002
Conference paper
Journal:
FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS
Volume:
2366
,
pp.
503 - 513
No abstract available