La correction des dfauts de conception dans le code source n'est pas une tche triviale. Diagnostiquer puis corriger les incohrences entre le code d'un systme logiciel et ses rgles de conception (par exemple, les requtes de base de donnes ne sont autorises que dans la couche de persistance) et ses conventions de codage peut tre complexe, long et source d'erreurs. Fournir un support pour ce processus est donc hautement souhaitable, mais d'une complexit bien plus grande que de suggrer des actions correctives de base pour des problmes d'implmentation simplistes (comme le ''dclarer une variable locale pour une variable non dclare'' suggr par Eclipse). Cet article se concentre sur une approche de raisonnement abductif pour rduire la correction des incohrences qui consiste en (1) un moyen pour les dveloppeurs de documenter et de vrifier les rgles de conception et de codage d'un systme, (2) un raisonneur logique abductif qui met des hypothses sur les causes possibles des incohrences entre le code du systme et les rgles documentes et (3) une bibliothque d'actions correctives pour chaque cause hypothtique (4) un mcanisme de retour en arrire pour restaurer l'tape prcdente.