Nicola Angius

2022.11.21Axiomathes

DOI: 10.1007/s10516-022-09645-z

tlooto Summary

It is highlighted how the hypothetical-deductive method is involved in the practice of using models to corroborate computational hypotheses in software testing and defining experimental computational validity in the context of software development offers a sound experimental foundation to the science of computing.

Abstract

Abstract is not available.

Citation format

ANGIUS, Nicola. On the experimental foundation of computing. Axiomathes, 2022, 32: 1221–1236.