UML2FOC - Transformation Tool

PUBLICATIONS

International peer reviewed Journal:

[ABR15]Abbas, M., Ben-Yelles, C.B., Rioboo, R.: Modelling UML state machines with FoCaLiZe (in press). Int. J. Information and Communication Technology. (2015). Available at Forthcoming articles: www.inderscience.com/info/ingeneral/forthcoming.php?jcode=ijict.

International peer reviewed Conference:

[ABR14] M. Abbas, C. Ben Yelles, R. Rioboo. "Generating FoCaLiZe Specifications from UML Models", International Conference on Advanced Aspects of Software Engineering, ICAASE, November 2014, Vol. 1294, pp.157--164, Series CEUR-WS.

[ABR14a] M. Abbas, C. Ben Yelles, R. Rioboo. "Modeling UML Template Classes with FoCaLiZe", Integrated Formal Methods, September 2014, pp.87--102, Series LNCS.

[ABR14b] M. Abbas. Using FoCaLiZe to check OCL constraints on UML classes. In International Conference on Information Technology for Organization Development, IT4OD 2014, pages 31–38. Conference proceedings, 2014. available at: http://www.it4od2014.science- conferences.net/IT4OD%202014_Proceedings.pdf.