Zapata, C. M. and González, G. (1) “Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces”, Revista Ingenierías Universidad de Medellín, 7(12), pp. 169-191. Available at: https://revistas.udem.edu.co/index.php/ingenierias/article/view/211 (Accessed: 4May2024).