Equipe BD
Equipe BD
Laboratoire d'InfoRmatique en Images et Systèmes d'information
UMR 5205 CNRS/INSA de Lyon/Université Claude Bernard Lyon 1/Université Lumière Lyon 2/Ecole Centrale de Lyon

You are here

Séminaire Daniel Le Métayer

Qui: 
Daniel Le Métayer
Quand: 
Tuesday, February 1, 2011 - 11:00 to 12:00

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.