Author:
Gammaitoni Loïc,Kelsen Pierre
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference31 articles.
1. Akehurst, D.H., Kent, S., Patrascoiu, O.: A relational approach to defining and implementing transformations between metamodels. Softw. Syst. Model. 2, 215–239 (2003)
2. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9, 69–86 (2010)
3. Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of model transformations via Alloy. In: Proceedings of the 4th MoDeVVa Workshop: Model-Driven Engineering, Verification, and Validation, pp. 47–56 (2007)
4. Arendt, T., Biermann,E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place emf model transformations. In: Model Driven Engineering Languages and Systems, pp. 121–135 (2010)
5. Baresi, L., Spoletini, P.: On the use of Alloy to analyze graph transformation systems. In: Graph Transformations, pp. 306–320 (2006)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献