Fiche du document
22 avril 2019
- handle: 10670/1.3qarzz
- hal: hal-02105907
- doi: 10.1007/s11023-019-09493-8
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1007/s11023-019-09493-8
info:eu-repo/semantics/OpenAccess
Mots-clés
scientific models computer simulations Verification & Validation Duhem problem holism formal methodsSujets proches
WholismCiter ce document
Julie Jebeile et al., « Verification and Validation of Simulations Against Holism », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10.1007/s11023-019-09493-8
Métriques
Partage / Export
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.