Correction automatique des violations des règles de conception dans le code source à l'aide de l'abduction logique : Editions Notre Savoir : 9786204076546 : 620407654X : 27 Sep 2021 : 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 pou