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.