Zapata CM, González G. 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. rev.ing.univ.Medellin [Internet]. 17 de agosto de 2011 [citado 11 de septiembre de 2026];7(12):169-91. Disponible en: https://revistas.udem.edu.co/index.php/ingenierias/article/view/211