Verification and Validation of Simulations Against Holism - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Minds and Machines Année : 2019

Verification and Validation of Simulations Against Holism

Résumé

(100 words) It has been argued that the Duhem problem is renewed with computational models since model assumptions having a representational aim and computational assumptions cannot be tested in isolation. In particular, while the Verification & Validation methodology is supposed to prevent such holism, Winsberg (2009, 2010) argues that verification and validation cannot be separated in practice. Morrison (2015) replies that Winsberg overstates the entanglement between the steps. The paper aims at arbitrating these two positions, by stressing their respective validity in relation to domains of application. It importantly argues for an increasing use of formal methods in verification, that makes disentanglement possible.
Fichier principal
Vignette du fichier
Jebeile-Ardourel_2019_Verification_and_Validation_of_Simulations_Against_Holism draft.pdf (1.08 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02105907 , version 1 (23-04-2019)

Identifiants

Citer

Julie Jebeile, Vincent Ardourel. Verification and Validation of Simulations Against Holism. Minds and Machines, 2019, 29, p. 149-168. ⟨10.1007/s11023-019-09493-8⟩. ⟨hal-02105907⟩
99 Consultations
218 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More