Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki. Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages. In Andy Schürr, Bran Selic, editors, Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Volume 5795 of Lecture Notes in Computer Science, pages 650-664, Springer, 2009. [doi]
Abstract is missing.