Skip to main content
SpringerLink
Log in

Encouraging the Uptake of Formal Methods Training in an Industrial Context

(Extended Abstract)

  • Conference paper
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

  • 969 Accesses

Abstract

I recently had occasion to revisit a collection of papers edited by myself and Jonathan Bowen published way back in 1995. The collection, Applications of Formal Methods [1], sprung from the obvious need in the formal methods community for detailed examples, insights from industrial best practice, and experience reports.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hinchey, M.G., Bowen, J.P. (eds.): Applications of Formal Methods. Prentice Hall International Series in Computer Science, Hemel Hempstead (1995)

    Google Scholar 

  2. Parnas, D.L.: Using Mathematical Models in the Inspection of Critical Software. In: [1], pp. 17–31

    Google Scholar 

  3. Gerhart, S., Craigen, D., Ralston, T.: Experience with Formal Methods in Critical Systems. IEEE Software 11(1), 21–28 (1994)

    Article  Google Scholar 

  4. Gerhart, S., Craigen, D., Ralston, T.: Regulatory Case Studies. IEEE Software 11(1), 30–39 (1994)

    Article  Google Scholar 

  5. Bowen, J.P., Hinchey, M.G.: Ten Commandments of Formal Methods. Computer 28(4), 56–63 (1995)

    Article  Google Scholar 

  6. Hall, J.A.: Seven Myths of Formal Methods. IEEE Software 7(5), 11–19 (1990)

    Article  Google Scholar 

  7. Bowen, J.P., Hinchey, M.G.: Seven More Myths of Formal Methods. IEEE Software 12(4), 34–41 (1995)

    Article  Google Scholar 

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

    Google Scholar 

  9. Hinchey, M.G., Pressburger, T., Feather, M.S., Markosian, L., Deadrick, W.: Software Assurance Research Infusion: the NASA Experience. In: Proc. ISoLA 2006, Paphos, Cyprus, October 2006. IEEE Computer Society Press, Los Alamitos (2006)

    Google Scholar 

  10. Rogers, E.M.: Diffusion of Innovations, 5th edn. Free Press, New York (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Michael G. Hinchey

Authors
  1. Michael G. Hinchey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hinchey, M.G. (2008). Encouraging the Uptake of Formal Methods Training in an Industrial Context. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation