Volver a los detalles del artículo Una propuesta para la formalización del diagrama de clases en el lenguaje Maude Descargar Descargar PDF