D. Jackson and M. Rinard, Software analysis: A roadmap, Proceedings of the Conference on The Future of Software Engineering, pp.133-145, 2000.

D. Binkley, Source code analysis: A road map, Future of Software Engineering (FOSE'07), pp.104-119, 2007.

F. Brooks, No silver bullet: Essence and accidents of software engineering, IEEE computer, vol.20, issue.4, pp.10-19, 1987.

M. Garcia, Formalizing the well-formedness rules of EJB3QL in UML+ OCL, vol.4364, p.66, 2007.

M. Strembeck and U. Zdun, An approach for the systematic development of domainspecific languages, Software: Practice and Experience, vol.39, issue.15, 2009.

T. Kuehne, Matters of (meta-) modeling, Software and System Modeling, vol.5, issue.4, pp.369-385, 2006.

T. Lindholm and F. Yellin, The Java Virtual Machine Specification. Second edn, 1999.

I. Geneva and S. , Information technology-Common Language Infrastructure (CLI) Partitions I to VI, 2006.

M. Eichberg and A. Sewe, Encoding the java virtual machine's instruction set, Proceedings of the Fifth Bytecode Workshop. Electronic Notes in Theoretical Computer Science

S. Kelly and J. P. Tolvanen, Domain-Specific Modeling: Enabling Full Code Generation, 2008.

M. Monperrus, F. Jaozafy, G. Marchalot, J. Champeau, B. Hoeltzener et al., Model-driven simulation of a maritime surveillance system, Proceedings of the 4th European Conference on Model Driven Architecture Foundations and Applications, vol.13, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456481

J. Pavon, J. Gomez-sanz, and R. Fuentes, Model driven development of multi-agent systems, Proceedings of the European Conference on Model Driven Architecture-Foundations and Applications (ECMDA'2006), 2006.

D. Evans and D. Larochelle, Improving security using extensible lightweight static analysis, IEEE SOFTWARE, 2002.

S. Rugaber and K. Stirewalt, ECMFA'2010) This preprint is provided by the contributing authors to ensure timely dissemination of scholarly and technical work. 14, Proceedings of the 6th European Conference on Modelling Foundations and Applications, vol.21, pp.45-53, 2004.

D. Strein, R. Lincke, J. Lundberg, and W. Löwe, An extensible meta-model for program analysis, IEEE Transactions on Software Engineering, vol.33, pp.592-607, 2007.

H. Störrle, A prolog-based approach to representing and querying software engineering models, Proceedings of the Workshop on Visual Languages and Logic, pp.71-83, 2007.