Rastreabilidade entre Artefatos de Software: Técnica Indutiva para Obtenção d