ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 33/1-2 - 2014  - pp.63-84  - doi:10.3166/tsi.33.63-84
TITRE
Apport des méthodes formelles pour l’exploitation de logs informatiques dans un contexte contractuel

TITLE
Benefits of formal methods for the use of logs in a contractual context

RÉSUMÉ

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.



ABSTRACT

This paper describes the approach followed by the ANR LISE project to specify formally the liabilities of the parties in a software contract. Two options are presented: the first one relies on the definition of an a priori allocation of liabilities based on the errors observed in the logs while the second one is based on a causality analysis. Both options are illustrated with an hotel reservation system.



AUTEUR(S)
Gregor GÖSSLER, Daniel LE MÉTAYER, Eduardo MAZZA, Marie-Laure POTET, Lacramioara ASTEFANOAEI

MOTS-CLÉS
responsabilité juridique, contrat, logiciel, plainte, causalité

KEYWORDS
liability, contract, software, claim, causality

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (366 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier