Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference63 articles.
1. Adamson, I.T.: A Set Theory Workbook. Springer, New York (1998)
2. Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A., Schürr, A.: BenchmarX. In: Workshop Proceedings of the EDBT/ICDT 2014 Joint Conference, Athens, Greece, CEUR Workshop Proceedings, vol. 1133, pp. 82–86 (2014)
3. Bradfield, J., Stevens, P.: Recursive checkonly QVT-R transformations with general when and where clauses via the modal mu calculus. In: de Lara, J., Zisman, A. (eds.) Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012). Lecture Notes in Computer Science, vol. 7212, pp. 194–208. Springer-Verlag, Tallinn, Estonia (2012)
4. Bradfield, J., Stevens, P.: Enforcing QVT-R with mu-calculus and games. In: Cortellessa, V., Varró, D. (eds.) Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013). Lecture Notes in Computer Science, vol. 7793, pp. 282–296. Springer-Verlag, Rome, Italy (2013)
5. Brunelière, H., Cabot, J., Dupé, G., Madiot, F.: MoDisco: a model driven reverse engineering framework. Inf. Softw. Technol. 56(8), 1012–1032 (2014)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献