Tratt, L., 2003. Issues Surrounding Model Consistency and QVT. Technical Report. King's College London.
Full text available as:
Official URL: http://www.dcs.kcl.ac.uk/technical-reports/2003.ht...
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)|
|Subjects:||Generalities > Computer Science and Informatics|
Technology > Manufacturing and Design > Design
|Group:||Faculty of Science and Technology|
|Deposited By:||INVALID USER|
|Deposited On:||01 Sep 2008 16:04|
|Last Modified:||10 Jun 2015 15:28|
Downloads per month over past year
|Repository Staff Only -|