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:||A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments Research Group
A. > School of Science and Technology > Computer Science > SensoLab group
|Depositing User:||Dr Laurence Tratt|
|Date Deposited:||27 May 2010 16:24|
|Last Modified:||13 Oct 2016 14:19|
Actions (login required)