Séminaires RALI-OLST

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.



Join with Zoom at this url.
Meeting ID: 916 9097 5818, 𝑷𝒂𝒔𝒔𝒄𝒐𝒅𝒆: 343273.
Phone numbers: https://umontreal.zoom.us/u/abitNZzLg.
One tap mobile: +14388097799,,91690975818#,,,,,,0#,,343273#


To receive weekly talk announcements, please send an e-mail to majordomo@iro.umontreal.ca. Simply write a message containing the single line 'subscribe ralli' (without the quotes).

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