Verification and Validation of simulations against holism

Jebeile, Julie; Ardourel, Vincent (2019). Verification and Validation of simulations against holism. Minds and machines, 29(1), pp. 149-168. Springer 10.1007/s11023-019-09493-8

[img] Text
2019_Jebeile-Ardourel_(M&M)_Verification and Validation of Simulations Against Holism.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (1MB) | Request a copy

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.

Item Type:

Journal Article (Original Article)

Division/Institute:

06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy
10 Strategic Research Centers > Oeschger Centre for Climate Change Research (OCCR)

UniBE Contributor:

Jebeile, Julie Alia Nina

Subjects:

100 Philosophy

ISSN:

0924-6495

Publisher:

Springer

Language:

English

Submitter:

Julie Alia Nina Jebeile

Date Deposited:

31 Mar 2020 10:23

Last Modified:

01 Apr 2020 14:19

Publisher DOI:

10.1007/s11023-019-09493-8

Uncontrolled Keywords:

scientific models; computer simulations; Verification & Validation; Duhem problem; holism; formal methods

BORIS DOI:

10.7892/boris.141996

URI:

https://boris.unibe.ch/id/eprint/141996

Actions (login required)

Edit item Edit item
Provide Feedback