Overview of the LISE Approach and Illustration on a Case Study
Christophe Alleaume, Valérie-Laure Benabou, Denis Beras, Christophe Bidan, Nicolas Craipeau, Stéphane Frénot, Gregor Goessler, Ronan Hardouin, Julien Le Clainche, Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Ludovic Mé, Marie-Laure Potet, Sylvain Steer, Valérie Viet, Triem Tong · 2009
Theme : Represe ntation et traitement des donnees et des connaissancesAction Exploratoire LICITRapport de recherche n ° 7148 | December 2009 |23pagesAbstract: LISE is a multidisciplinary project involving lawyers and computerscientists with the aim to put forward a set of methods and tools to (1) de nesoftware liability in a precise and unambiguous way and (2) establish such liabil-ity in case of incident. This report provides an overview of the overall approachtaken in the project based on a case study. The case study illustrates a situationwhere, in order to reduce legal uncertainties, the parties to a contract wish toinclude in the agreement speci c clauses to de ne as precisely as possible theshare of liabilities between them for the main types of failures of the system.Key-words: Liability, Contract, Formal Methods, Speci cation, Defects, Le-gal Aspects, Evidence