Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. JSW, 4(9):943-958, 2009. [doi]
@article{CombemaleCGT09,
title = {Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification},
author = {Benoît Combemale and Xavier Crégut and Pierre-Loïc Garoche and Xavier Thirioux},
year = {2009},
doi = {10.4304/jsw.4.9.943-958},
url = {http://dx.doi.org/10.4304/jsw.4.9.943-958},
tags = {semantics, MDE, systematic-approach},
researchr = {https://researchr.org/publication/CombemaleCGT09},
cites = {0},
citedby = {0},
journal = {JSW},
volume = {4},
number = {9},
pages = {943-958},
}