Andere Kunden interessierten sich auch für
![Automated Correction of Design Rule Violations in Source Code Using Logical Abduction]( "Automated Correction of Design Rule Violations in Source Code Using Logical Abduction")
Automated Correction of Design Rule Violations in Source Code Using Logical Abduction26,99 €![Modélisation de la température d'un CSTR non isotherme à l'aide de la logique floue]( "Modélisation de la température d'un CSTR non isotherme à l'aide de la logique floue")
Modélisation de la température d'un CSTR non isotherme à l'aide de la logique floue23,99 €![Commande (PI, floue) pour la régulation de niveau via arduino]( "Commande (PI, floue) pour la régulation de niveau via arduino")
Commande (PI, floue) pour la régulation de niveau via arduino36,99 €![Trading boursier automatisé à l'aide de l'apprentissage automatique]( "Trading boursier automatisé à l'aide de l'apprentissage automatique")
Trading boursier automatisé à l'aide de l'apprentissage automatique23,99 €![Nouvelle morphologie à code source ouvert utilisant le traitement par le GPU avec LTU- CUDA]( "Nouvelle morphologie à code source ouvert utilisant le traitement par le GPU avec LTU- CUDA")
Nouvelle morphologie à code source ouvert utilisant le traitement par le GPU avec LTU- CUDA26,99 €![PROTECTION SOLAIRE AUTOMATIQUE CONTRE LA PLUIE POUR LES CULTURES DE PLEIN CHAMP À L'AIDE D'ARDUINO]( "PROTECTION SOLAIRE AUTOMATIQUE CONTRE LA PLUIE POUR LES CULTURES DE PLEIN CHAMP À L'AIDE D'ARDUINO")
PROTECTION SOLAIRE AUTOMATIQUE CONTRE LA PLUIE POUR LES CULTURES DE PLEIN CHAMP À L'AIDE D'ARDUINO29,99 €![Explorer les frontières : Le champ d'application de l'apprentissage automatique dans les applications modernes]( "Explorer les frontières : Le champ d'application de l'apprentissage automatique dans les applications modernes")
Explorer les frontières : Le champ d'application de l'apprentissage automatique dans les applications modernes29,99 €
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.