Skip to main content
SpringerLink
Log in

Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper

  • Commentary
  • Published:
Philosophy & Technology Aims and scope Submit manuscript

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 represented programme is here compared with the empirical adequacy problem typifying the model-based reasoning approach in physics, and the remark that testing all the paths of a software-intensive system is unfeasible is related to the enumerative induction problem in the justification of empirical law-like hypotheses in non-software intensive sciences.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

References

  • Ammann, P. & Offutt, J. (2008). Introduction to software testing. Cambridge University Press, Cambridge.

  • Angius, N. (2013a). Abstraction and idealization in the formal verification of software systems. Minds and Machines, 23(2), 211–226.

    Article  Google Scholar 

  • Angius, N. (2013b). Model-based abductive reasoning in automated software testing. Logic Journal of IGPL, 21(6), 931–942.

    Article  Google Scholar 

  • Angius, N. (2014). The problem of justification of empirical hypotheses in software testing. Philosophy and Technology. doi:10.1007/s13347-014-0159-6.

    Google Scholar 

  • Brocklehurst, S., & Littlewood, B. (1992). New ways to get accurate reliability measures. IEEE Software, 34–42.

  • Bunge, M. A. (1998). Philosophy of science (Vol. 2, from explanation to justification). New Brunswick: Transaction.

    Google Scholar 

  • Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model checking. Cambridge: MIT.

    Google Scholar 

  • Clarke, E., Grumberg, O., Jha, S., Lu, Y., & Veith, H. (2000). Counterexample-guided abstraction refinement. In Computer aided verification, pp. 154–169, Springer: Berlin.

  • Fisher, J., & Henzinger, T. A. (2007). Executable cell biology. Nature Biotechnology, 25(11), 1239–1249.

    Article  Google Scholar 

  • Franklin, A. (1989). The neglect of experiment. Cambridge: Cambridge University Press.

    Google Scholar 

  • Glymour, C. (1980). Theory and evidence. Princeton: Princeton University Press.

    Google Scholar 

  • Hughes, R. I. (1997). Models and representation. Philosophy of Science, S325-S336.

  • Kesten, Y., & Pnueli, A. (2000). Control and data abstraction: cornerstones of the practical formal verification. Software Tools for Technology Transfer, 2(4), 328–342.

    Article  Google Scholar 

  • Magnani, L. (2004). Model based and manipulative abduction in science. Foundations of Science, 9, 219–247.

    Article  Google Scholar 

  • Magnani, L., Nersessian, N., & Thagard, P. (Eds.). (1999). Model-based reasoning in scientific discovery. Springer.

  • Monin, J. F., & Hinchey, M. G. (2003). Understanding formal methods. Berlin: Springer.

    Book  Google Scholar 

  • Van Fraassen, B. C. (1980). The scientific image. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Van Leeuwen, J. (1990). Handbook of theoretical computer science. Volume B: formal models and semantics. Elsevier and MIT.

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Storia, Scienze dell’Uomo e della Formazione, University of Sassari, Sassari, Italy

    Nicola Angius

Authors
  1. Nicola Angius
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nicola Angius.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Angius, N. Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper. Philos. Technol. 27, 479–484 (2014). https://doi.org/10.1007/s13347-014-0173-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13347-014-0173-8

Keywords

Search

Navigation