Skip to main content
SpringerLink
Log in

What's wrong with formal programming methods?

  • Invited Papers
  • Conference paper
  • First Online:
Advances in Computing and Information — ICCI '91 (ICCI 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 497))

Included in the following conference series:

  • 116 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R.B.Kieburtz: “Formal Software Design Methods Next Step In Improving Quality”, Computing Research News, January 1991 p14.

    Google Scholar 

  2. C.A.R. Hoare: “Programming is an engineering profession”, PRG-27, Oxford University, May 1982. Also published in P.J.L. Wallis (ed.): Software Engineering State of the art report, Pergamon, 1983v11 n3 p77–84. Also published as “Programming: Sorcery or Science”, IEEE Software, April 1984 p5–16. Also published in Hoare & Jones (ed.): Essays in Computing Science, Prentice-Hall, 1989 p315–324.

    Google Scholar 

  3. C.A.R. Hoare: “An axiomatic basis for computer programming”, CACM October 1969 v12 n10 p576–580, 583. Also published in Hoare & Jones (ed.): Essays in Computing Science, Prentice-Hall, 1989 p45–58.

    Google Scholar 

  4. E.W.Dijkstra: A Discipline of Programming, Prentice-Hall, 1976.

    Google Scholar 

  5. C.B.Jones: Systematic Software Development Using VDM, Prentice-Hall, 1986, second ed. 1990.

    Google Scholar 

  6. E.C.R. Hehner: “A Practical Theory of Programming”, Science of Computer Programming, North-Holland, 1990, v14 p133–158.

    Article  Google Scholar 

  7. E.C.R.Hehner: A Practical Theory of Programming, (to be published) 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Toronto, M5S 1A4, Toronto, Canada

    Eric C. R. Hehner

Authors
  1. Eric C. R. Hehner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Frank Dehne Frantisek Fiala Waldemar W. Koczkodaj

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hehner, E.C.R. (1991). What's wrong with formal programming methods?. In: Dehne, F., Fiala, F., Koczkodaj, W.W. (eds) Advances in Computing and Information — ICCI '91. ICCI 1991. Lecture Notes in Computer Science, vol 497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54029-6_149

Download citation

  • DOI: https://doi.org/10.1007/3-540-54029-6_149

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54029-8

  • Online ISBN: 978-3-540-47359-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation