Shortcomings of the Embedding of OCL into QVT ImperativeOCL

Fabian Büttner, Mirco Kuhlmann. Shortcomings of the Embedding of OCL into QVT ImperativeOCL. In Michel R. V. Chaudron, editor, Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers. Volume 5421 of Lecture Notes in Computer Science, pages 263-272, Springer, 2008. [doi]

Abstract

Abstract is missing.