Abstract:This commentary on John Symons' and Jack Horner's paper, besides sharing its main argument, challenges the authors' statement that there is no effective method to evaluate software-intensive systems as a distinguishing feature of software intensive science. It is underlined here how analogous methodological limitations characterise the evaluations of empirical systems in non-software intensive sciences. The authors' claim that formal methods establish the correctness of computational models rather than of the … Show more
This paper provides a reply to articles by Nicola Angius and Guiseppe Primiero responding to our paper "Software Intensive Science" (Symons and Horner, Philosophy and Technology, 2014).
This paper provides a reply to articles by Nicola Angius and Guiseppe Primiero responding to our paper "Software Intensive Science" (Symons and Horner, Philosophy and Technology, 2014).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.