Login / Signup

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators.

Mounira Kezadri HamiazMarc PantelBenoît CombemaleXavier Thirioux
Published in: ICFEM (2014)
Keyphrases
  • model driven engineering
  • model driven
  • data driven
  • data sets
  • information systems
  • query processing
  • lightweight