Séminaire Daniel Le Métayer
Daniel Le Métayer, directeur de recherche INRIA Grenoble Rhône-Alpes, responsable de l'Action Exploratoire LICIT, viendra présenter les défis scientifiques posés par le traitement informatique des normes.
| What |
|
|---|---|
| When |
Feb 01, 2011 from 11:00 AM to 12:00 PM |
| Where | Lyon 1/bât. Nautibus/salle C1 |
| Contact Name | Romuald THION |
| Contact Phone | (+33) 472 447 936 |
| Attendees |
Daniel Le Métayer |
| Add event to calendar |
vCal
iCal
|
Droits, obligations, normes: des spécifications a priori aux vérifications a posteriori
Le traitement informatique des normes (au sens des règles qui peuvent s'appliquer à des personnes ou des organisations: contrat, règlement, loi, etc.), même s'il peut s'appuyer sur certaines techniques connues, notamment du génie logiciel (compositionnalité, gestion de logs, etc.), des méthodes formelles (spécification, vérification, etc.) et de la sécurité informatique (contrôle d'accès, authentification, etc.) introduit des besoins particuliers et pose des défis nouveaux.
Nous nous pencherons en particulier sur les questions liées à la spécification des règles et à leur traçabilité en montrant les besoins concrets et en suggérant des directions de recherche actuelles.
