A Proof Assistant Based Formalization of MDE Components.

Mounira Kezadri Benoît Combemale Marc Pantel Xavier Thirioux

Published in: FACS (2011)

Keyphrases

database
data sets
databases
expert systems
building blocks
test bed
formal model
image processing
case study
multiscale