Login / Signup

Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages.

Rodion MoiseevShinpei HayashiMotoshi 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