Issues surrounding model consistency and QVT.
This document is intended to outline some of the issues surrounding model consistency in the context of QVT. As far as possible this document is intended to be independent of any particular QVT submission, although we do borrow some terminology from the QVT-Partners submission.
|Item Type:||Monograph (Technical Report)|
|Research Areas:||School of Science and Technology > Computer and Communications Engineering|
|Deposited On:||27 May 2010 16:24|
|Last Modified:||04 Aug 2014 06:50|
Repository staff and depositor only: item control page
Full text downloads (NB count will be zero if no full text documents are attached to the record)
Downloads per month over the past year