Skip to main content

Issues Surrounding Model Consistency and QVT.

Tratt, L., 2003. Issues Surrounding Model Consistency and QVT. Technical Report. King's College London.

Full text available as:

[img]
Preview
PDF
tratt03consistency.pdf

65kB

Official URL: http://www.dcs.kcl.ac.uk/technical-reports/2003.ht...

Abstract

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)
Group:Faculty of Science & Technology
ID Code:5969
Deposited By:INVALID USER
Deposited On:01 Sep 2008 16:04
Last Modified:14 Mar 2022 13:14

Downloads

Downloads per month over past year

More statistics for this item...
Repository Staff Only -