Author:
Prinz Andreas,Møller-Pedersen Birger,Fischer Joachim
Publisher
Springer International Publishing
Reference15 articles.
1. Börger, E., Stärk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Secaucus (2003)
2. Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Quesada, J.F.: Rewriting logic and its applications maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2), 187–243 (2002)
3. OMG Editor. OMG Meta Object Facility (MOF) Core Specification Version 2.4.2. Technical report, Object Management Group (2014)
4. Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex, 1st edn. The MIT Press, Cambridge (2009)
5. Gjøsæter, T., Prinz, A., Nytun, J.P.: MOF-VM: instantiation revisited. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, pp. 137–144 (2016)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献