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

Résumé : 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
keyword : ARGUMENTATION V&V VV&A
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal-onera.archives-ouvertes.fr/hal-01070504
Contributor : Véronique Soullier <>
Submitted on : Wednesday, October 1, 2014 - 3:14:12 PM
Last modification on : Tuesday, March 26, 2019 - 2:28:03 PM
Long-term archiving on : Friday, January 2, 2015 - 11:12:08 AM

File

DTIM14040.1404908676.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01070504, version 1

Collections

Citation

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

Share

Metrics

Record views

64

Files downloads

253