Describir: Método para verificação automatizada de requisitos em empreendimentos Habitacionais de Interesse Social