Réflexions sur les liens possibles entre argumentation et v&v pour le logiciel - Archive ouverte HAL Access content directly
Conference Papers Year :

Réflexions sur les liens possibles entre argumentation et v&v pour le logiciel

Abstract

Le but de cet article est d'ouvrir une piste de réflexion concernant la possibilité d'utiliser les travaux existants dans le domaine de l'argumentation et, plus précisément, dans l'argumentation légale, pour les appliquer dans le cadre de l'acceptation d'un logiciel par une autorité, que cela soit une autorité de certification ou un client. A terme, l'objectif de cette approche est de définir un cadre pour la construction d'une argumentation, que l'on pourrait qualifier d'acceptable, cadre qui structurerait l'ensemble des documents composant le dossier de Vérification et Validation

Keywords

Fichier principal
Vignette du fichier
DTIM14040.1404908676.pdf (122.42 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01070504 , version 1 (01-10-2014)

Identifiers

  • HAL Id : hal-01070504 , version 1

Cite

T. Polacsek. Réflexions sur les liens possibles entre argumentation et v&v pour le logiciel. AFADL 2014, Jun 2014, PARIS, France. ⟨hal-01070504⟩

Collections

ONERA
51 View
293 Download

Share

Gmail Facebook Twitter LinkedIn More