Author:
Stenzel Kurt,Moebius Nina,Reif Wolfgang
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference61 articles.
1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. In: MODELS 2007—10TH International Conference on Model Driven Engineering Languages and Systems. Springer LNCS 4735 (2007)
2. Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: MODELS, Model Driven Engineering Languages and Systems, 13th International Conference. Springer LNCS 6394 (2010)
3. Balser, M., Reif, W., Schellhorn, G., Stenzel, K., Thums, A.: Formal system development with KIV. In: Fundamental Approaches to Software Engineering. Springer LNCS 1783 (2000)
4. Beckert, B., Hähnle, R., Schmitt, P. (eds.): Verification of Object-Oriented Software: The KeY Approach. Springer LNAI 4334 (2007)
5. Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: FASE 2009. Springer LNCS 5503 (2009)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献