Reasoning on UML class diagrams

Berardi D, Calvanese D, De Giacomo G
October 2005
Journal article
Journal:
Artificial Intelligence
Volume:
168
Issue:
1-2
,
Elsevier
,
pp.
70 - 118
No abstract available
Keywords:

46 Information and Computing Sciences

,

4602 Artificial Intelligence

,

4612 Software Engineering

DOI
10.1016/j.artint.2005.05.003