Login / Signup
Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages.
Rodion Moiseev
Shinpei Hayashi
Motoshi Saeki
Published in:
MoDELS (2009)
Keyphrases
</>
expressive power
functional programming
databases
source code
java bytecode
efficient implementation
constraint language
case study
test cases
generation process
texas instruments