Explaining engineered computing systems' behaviour

the role of abstraction and idealization

2017

Nicola Angius, Guglielmo Tamburrini

Philosophy & Technology 30 (2)

Computational idealizations in software intensive science

a comment on Symons' and Horner's paper

2014

Nicola Angius

Philosophy & Technology 27 (3)

The problem of justification of empirical hypotheses in software testing

2014

Nicola Angius

Philosophy & Technology 27 (3)