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

Le mercredi 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.


Suivez ce lien pour vous inscrire à la liste de diffusion RALI-OLST.
http://rali.iro.umontreal.ca/rali/?q=fr/node/1631

Liste de tous les séminaires pour l'année :

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