Resultado de la búsqueda: diferencia entre formalización y especificación