Volver a los detalles del artículo Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden Descargar Descargar PDF