Nous visons à utiliser des outils de raisonnement automatique, notamment des moteurs de raisonnement automatique basés sur les logiques de description, pour résoudre des problèmes de génie logiciel, tels que l’utilisation simultanée de plusieurs hiérarchies fonctionnelles dans une application d’entreprise développée suivant le paradigme orienté-objet. La combinaison de différents outils à travers des patrons d’architecture permet l’utilisation effective du raisonnement automatique avec un impact minimal sur les processus et les équipes de développement.