RALI-OLST Weekly Talks

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

Wednesday 13 June 2012 at 10:30 AM  — 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.


Follow this link to subscribe to future RALI-OLST announcements.
http://rali.iro.umontreal.ca/rali/?q=fr/node/1631

See all the weekly talks for the year:

1991 1992 1993 1994 1995 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024