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]

@inproceedings{ButtnerK08,
  title = {Shortcomings of the Embedding of OCL into QVT ImperativeOCL},
  author = {Fabian Büttner and Mirco Kuhlmann},
  year = {2008},
  doi = {10.1007/978-3-642-01648-6_28},
  url = {http://dx.doi.org/10.1007/978-3-642-01648-6_28},
  tags = {OCL, QVT},
  researchr = {https://researchr.org/publication/ButtnerK08},
  cites = {0},
  citedby = {0},
  pages = {263-272},
  booktitle = {Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers},
  editor = {Michel R. V. Chaudron},
  volume = {5421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-01647-9},
}