Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints

Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki. Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints. IEICE Transactions, 94-D(3):612-621, 2011. [doi]

Abstract

Abstract is missing.