On a contribution of artificial intelligence tools for curriculum development formalization | Publicación