Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification

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]

Abstract

Abstract is missing.