Author:
Durán Francisco,Roldán Manuel,Moreno Antonio,Álvarez José María
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. UML-B,
http://wiki.event-b.org/index.php/UML-B
2. Ameedeen, M.A., Bordbar, B.: A model driven approach to represent sequence diagrams as free choice Petri Nets. In: 12th Intl. IEEE Enterprise Distributed Object Computing Conf., ECOC 2008, pp. 213–221. IEEE (2008)
3. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and System Modeling 9(1), 69–86 (2010)
4. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley (2005)
5. Lecture Notes in Computer Science;A. Boronat,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献