Apport Des Méthodes Formelles Pour L’exploitation De Logs Informatiques Dans Un Contexte Contractuel

Dans cet article, nous presentons la demarche adoptee dans le projet ANR LISE pour specifier de maniere formelle les responsabilites des parties dans un contrat portant sur des logiciels. Nous decrivons deux options, l’une reposant sur une attribution a priori des responsabilites en fonction des dysfonctionnements constates, l’autre basee sur une analyse de causalite, et nous les illustrons sur un exemple de systeme de reservation d’hotels.