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
Type de document :
Communication dans un congrès
AFADL 2014, Jun 2014, PARIS, France
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal-onera.archives-ouvertes.fr/hal-01070504
Contributeur : Véronique Soullier <>
Soumis le : mercredi 1 octobre 2014 - 15:14:12
Dernière modification le : mercredi 13 décembre 2017 - 09:03:23
Document(s) archivé(s) le : vendredi 2 janvier 2015 - 11:12:08

Fichier

DTIM14040.1404908676.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

29

Téléchargements de fichiers

161