Em Engenharia de Software, o processo responsável por verificar se os requisitos definem o sistema que o cliente realmente deseja é denominado: