Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d’entreprise

Jacques Bergeron (jbergeron <at> dogico (point) com)

RALI, DIRO

Le 13 juin 2012 à 10 h 30 — Heure inhabituelle (1 heure plus tôt)

Salle 3195, Pavillon André-Aisenstadt


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.


Pour recevoir les annonces hebdomadaires par courriel, visitez http://rali.iro.umontreal.ca/rali/?q=fr/node/1631

Liste des autres séminaires