Issues Surrounding Model Consistency and QVT

Book English OPEN
Tratt, Laurence;
  • Publisher: King's College London
  • Subject: des | csi

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 sub... View more
Share - Bookmark