Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel

Abstract : Dans cet article, nous présentons la démarche adoptée dans le projet ANR LISE pour spécifier de manière formelle les responsabilités des parties dans un contrat portant sur des logiciels. Nous décrivons deux options, l’une reposant sur une attribution a priori des responsabilités en fonction des dysfonctionnements constatés, l’autre basée sur une analyse de causalité, et nous les illustrons sur un exemple de système de réservation d’hôtels.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, pp.63-84. 〈10.3166/tsi.33.63-84〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01078220
Contributeur : Gregor Gössler <>
Soumis le : mardi 28 octobre 2014 - 12:43:10
Dernière modification le : mercredi 18 novembre 2015 - 01:12:42

Identifiants

Collections

Citation

Gregor Gössler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei. Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, pp.63-84. 〈10.3166/tsi.33.63-84〉. 〈hal-01078220〉

Partager

Métriques

Consultations de la notice

286