Author:
Calegari Daniel,Szasz Nora
Subject
General Computer Science,Theoretical Computer Science
Reference88 articles.
1. A relational approach to defining and implementing transformations between metamodels;Akehurst;Software & Systems Modeling,2003
2. M. Amrani, L. Lucio, G. Selim, B. Combemale, J. Dingel, H. Vangheluwe, Y.L. traon, J. Cordy, A tridimensional approach for studying the formal verification of model transformations, in: Verification and validation Of model Transformations (VOLT), 2012.
3. On challenges of model transformation from UML to Alloy;Anastasakis;Software & Systems Modeling,2010
4. M. Asztalos, L. Lengyel, T. Levendovszky, Towards automated, formal verification of model transformations, in: ICST, 2010, pp. 15–24.
5. ATLAS, KM3: Kernel MetaMetaModel, LINA & INRIA, Manual v0.3 edition, 2005.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献