Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Autor: Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Potet, Marie-Laure, Frénot, Stéphane, Viet Triem Tong, Valérie, Craipeau, Nicolas, Hardouin, Ronan, Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Goessler, Gregor, Le Clainche, Julien, Mé, Ludovic, Steer, Sylvain
Přispěvatelé: Legal Issues in Communication and Information Technologies (LICIT), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), SUPELEC-Campus Rennes, Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Propriétés Intellectuelles et Nouvelles Technologies (PrINT), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU), Laboratoire de Droit des Affaires et Nouvelles Technologies (DANTE), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), ACM/IEEE, ANR-07-SESU-0007,LISE,Liability Issues in Software Engineering(2007), INRIA, Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Inria Grenoble - Rhône-Alpes
Jazyk: angličtina
Rok vydání: 2010
Předmět:
Computer science
[INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL]
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification
ComputingMilieux_LEGALASPECTSOFCOMPUTING
02 engineering and technology
Specication
Formal Methods
Specification
Set (abstract data type)
Software
Multidisciplinary approach
Liability
0202 electrical engineering
electronic engineering
information engineering
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications
Evidence
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
business.industry
ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING
020207 software engineering
Legal Aspects
[INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
16. Peace & justice
Formal methods
Risk analysis (engineering)
Order (business)
Systems engineering
020201 artificial intelligence & image processing
Defects
Contract
business
Zdroj: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010)
ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩
[Research Report] RR-7148, INRIA. 2009, pp.23
ICSE (1)
DOI: 10.1145/1806799.1806823⟩
Popis: © ACM, 2010. This is the authors' version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the 32nd ACM/IEEE international Conference on Software Engineering (ICSE'10) - Volume 1, 978-1-60558-719-6/10/05, (May 2-8, 2010) http://doi.acm.org/10.1145/1806799.1806823; International audience; LISE is a multidisciplinary project involving lawyers and computer scientists with the aim to put forward a set of methods and tools to (1) dene software liability in a precise and unambiguous way and (2) establish such liability in case of incident. This paper provides an overview of the overall approach taken in the project based on a case study. The case study illustrates a situation where, in order to reduce legal uncertainties, the parties to a contract wish to include in the agreement specic clauses to dene as precisely as possible the share of liabilities between them for the main types of failures of the system.
Databáze: OpenAIRE
Externí odkaz: