Author:
Lima Lucas,Iyoda Juliano,Sampaio Augusto
Publisher
Springer International Publishing
Reference16 articles.
1. Program and Verify Systems in Rewriting Logic;M Clavel,2007
2. Dan, L., Danning, L.: Towards a formal behavioral semantics for UML interactions. In: Proceedings of 2010 3rd International Symposium on Information Science and Engineering, ISISE 2010, pp. 213–218. IEEE (2010)
3. Lecture Notes in Computer Science;C Eichner,2005
4. Lecture Notes in Computer Science;T Gibson-Robinson,2014
5. Haugen, O., Husa, K.E., Runde, R.K., Stolen, K.: Stairs towards formal design with sequence diagrams. Softw. Syst. Model. 4(4), 355–367 (2005)