Traçabilité entre les artefacts logiciels: Technique inductive pour l'obtention de traces entre artefacts logiciels (French Edition)