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]

Authors

Rodion Moiseev

This author has not been identified. Look up 'Rodion Moiseev' in Google

Shinpei Hayashi

This author has not been identified. Look up 'Shinpei Hayashi' in Google

Motoshi Saeki

This author has not been identified. Look up 'Motoshi Saeki' in Google