261 search results - page 53 / 53 » Formal Proof from UML Models |
PODS
2010
ACM
13 years 10 months ago
2010
ACM
In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metad...