Skip to main content

Advertisement

Springer Nature Link
Log in

Desert Island Column

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

Explore related subjects

Discover the latest articles and news from researchers in related subjects, suggested using machine learning.

References

  • Boyer, R.S., Moore, JS. (eds.): The Correctness Problem in Computer Science. Academic Press, London (1981)

    MATH  Google Scholar 

  • Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. Technical Report 350, University of Cambridge Computer Laboratory, 18 September 1994

  • Bowen, J.P., Hinchey, M.G.: Seven more myths of formal methods. Software 12(4), 34–41 (1995a)

    Article  Google Scholar 

  • Bowen, J.P., Hinchey, M.G. (eds.) ZUM’95: The Z Formal Specification Notation. Proceedings of the 9th International Conference of Z Users. LNCS, vol. 967, pp. 7–9. University of Limerick, Ireland (1995b)

    Google Scholar 

  • Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. Computer 28(4), 56–63 (1995c)

    Article  Google Scholar 

  • Bowen, J.P., Hinchey, M.G.: High-Integrity System Specification and Design, Formal Approaches to Computing and Information Technology. Springer, London (1998)

    Google Scholar 

  • Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods… ten years later. Computer 39(1), 40–48 (2006)

    Article  Google Scholar 

  • Brooks, F.P. Jr.: No silver bullet: essence and accidents of software engineering. Computer 20(4), 10–19 (1987)

    Article  MathSciNet  Google Scholar 

  • Dean, C.N., Hinchey, M.G. (eds.): Teaching and Learning Formal Methods. Series in Formal Methods, Academic Press, London (1996)

    Google Scholar 

  • Dijkstra, E.W.: Introduction: why correctness must be a mathematical concern. In: The Correctness Problem in Computer Science, pp. 1–8. Academic Press, London (1981)

    Google Scholar 

  • Gerhart, S., Craigen, D., Ralston, T.: Experience with formal methods in critical systems. IEEE Softw. 11(1), 21–28 (1994a)

    Article  Google Scholar 

  • Gerhart, S., Craigen, D., Ralston, T.: Regulatory case studies. IEEE Softw. 11(1), 30–39 (1994b)

    Article  Google Scholar 

  • Hall, J.A.: Seven myths of formal methods. Software 7(5), 11–19 (1990)

    Article  Google Scholar 

  • Harel, D.: Biting the silver bullet: toward a brighter future for system development. Computer 25(1), 8–20 (1992)

    Article  Google Scholar 

  • Hinchey, M.G., Bowen, J.P. (eds.): Industrial-strength formal methods in practice. Formal Approaches to Computing and Information Technology. Springer, London (1999)

    Google Scholar 

  • Hinchey, M.G.: Confessions of a formal methodist. In: Proc. of the 7th Australian Workshop on Safety Critical Systems and Software. Adelaide, Australia (2002)

  • Hoare, C.A.R.: Communicating Sequential Processes. Commun. ACM 21(8), 666–677 (1978)

    Article  MATH  MathSciNet  Google Scholar 

  • Jones, C.B.: Systematic Software Development using VDM. Series in Computer Science, Prentice-Hall, Englewood Cliffs (1986)

    Google Scholar 

  • Laplante, P. (ed.): Great Papers in Computer Science. IEEE Press (1996)

  • Leveson, N.G.: Medical devices: The therac-25 story. In: Safeware: System Safety and Computers, pp. 515–553. Addison-Wesley, Reading (1995)

    Google Scholar 

  • Orr, K., Gane, C., Yourdon, E., Chen, P.P., Constantine, L.L.: Methodology: the experts speak. BYTE 14(4), 221–233 (1989)

    Google Scholar 

  • Wing, J.M.: A specifier’s introduction to formal methods. Computer 23(9), 8–24 (1990)

    Article  Google Scholar 

  • Woodcock, J.C.P., Loomes, M.: Software Engineering Mathematics. Routledge, London (1988)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lero–the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland

    Mike Hinchey

Authors
  1. Mike Hinchey
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Mike Hinchey.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hinchey, M. Desert Island Column. Autom Softw Eng 15, 393–402 (2008). https://doi.org/10.1007/s10515-008-0037-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10515-008-0037-5

Keywords