Author:
Mijatov Stefan,Mayerhofer Tanja,Langer Philip,Kappel Gerti
Publisher
Springer International Publishing
Reference18 articles.
1. Abdelhalim, I., Schneider, S., Treharne, H.: An Integrated Framework for Checking the Behaviour of fUML Models using CSP. International Journal on Software Tools for Technology Transfer 15(4), 375–396 (2013)
2. Bézivin, J.: On the unification power of models. Software and Systems Modeling 4(2), 171–188 (2005)
3. Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL: Towards CTL-Extended OCL model checking. In: Proc. of 14th Int. Workshop on OCL, OCL 2013. CEUR WS, vol. 1092, pp. 13–22. CEUR-WS.org. (2013)
4. Craciun, F., Motogna, S., Lazar, I.: Towards better testing of fUML models. In: Proc. of 6th Int. Conf. on Software Testing, Verification and Validation, ICST 2013, pp. 485–486. IEEE Computer Society (2013)
5. Crane, M.L., Dingel, J.: Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. In: Proc. of 2008 Conf. of the Center for Advanced Studies on Collaborative Research, CASCON 2008, pp. 8:96–8:110. ACM (2008)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献