Aplicação de Raciocínio Baseado em Casos na Fase de Análise de Requisitos para Construção de Abstrações em Lógica de Programação