Semantics of OCL specified with QVT

Slavisa Markovic, Thomas Baar. Semantics of OCL specified with QVT. Software and Systems Modeling, 7(4):399-422, 2008. [doi]

Abstract

Abstract is missing.