Author:
Belghiat Aissam,Chaoui Allaoua,Beldjehem Mokhtar
Publisher
Springer International Publishing
Reference27 articles.
1. Object Management Group (OMG), Unified Modeling Language (2012).
http://www.omg.org/spec/UML/
2. Milner, R.: Communicating and Mobile Systems: The
$$\pi $$
π
-calculus. Cambridge University Press (1999)
3. Heckel, R., Sauer, S.: Strengthening UML collaboration diagrams by state transformations. Fundamental Approaches to Software Engineering, pp. 109–123. Springer, Berlin (2001)
4. Ambler, S.W.: The Elements of UML
$$^{TM}$$
T
M
2.0 Style. Cambridge University Press (2005)
5. Belghiat, A., Chaoui, A., Beldjehem, M.: Capturing and verifying dynamic program behaviour using UML communication diagrams and pi-calculus. In: IEEE International Conference on Information Reuse & Integration (IRI), pp. 318–325. IEEE (2015)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献