2016-08-162016-08-16https://digital.cic.gba.gob.ar/handle/11746/3637Herramientas CASE para la validación de modelos UML a través de invariantes OCLDocumento de conferencia