El uso de grafos resulta una herramienta eficaz en diferentes dominios de las Ciencias de la Computación. En particular, en la Ingeniería de Requisitos esta estrategia ha permitido detectar núcleos semánticos específicos, en algunos modelos utilizados, en forma más eficaz y eficiente que el mero estudio de los documentos. En un experimento controlado se ha encontrado que diferentes ingenieros producen, sobre un mismo caso, modelos con núcleos semánticos disímiles. Esto pone en evidencia que estos grafos pueden ser una herramienta de utilidad en la verificación de estos modelos.