Login / Signup

An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE.

Claudia PonsDiego García
Published in: MoDELS (2006)
Keyphrases
  • data sets
  • model checking
  • modeling language
  • temporal logic
  • data mining
  • object oriented
  • medical images
  • metamodel