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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hinchey, M.G., Bowen, J.P. (eds.): Applications of Formal Methods. Prentice Hall International Series in Computer Science, Hemel Hempstead (1995)
Parnas, D.L.: Using Mathematical Models in the Inspection of Critical Software. In: [1], pp. 17–31
Gerhart, S., Craigen, D., Ralston, T.: Experience with Formal Methods in Critical Systems. IEEE Software 11(1), 21–28 (1994)
Gerhart, S., Craigen, D., Ralston, T.: Regulatory Case Studies. IEEE Software 11(1), 30–39 (1994)
Bowen, J.P., Hinchey, M.G.: Ten Commandments of Formal Methods. Computer 28(4), 56–63 (1995)
Hall, J.A.: Seven Myths of Formal Methods. IEEE Software 7(5), 11–19 (1990)
Bowen, J.P., Hinchey, M.G.: Seven More Myths of Formal Methods. IEEE Software 12(4), 34–41 (1995)
Hinchey, M.G.: Confessions of a Formal Methodist. In: Proc. of the 7th Australian Workshop on Safety Critical Systems and Software, Adelaide, Australia (2002)
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)
Rogers, E.M.: Diffusion of Innovations, 5th edn. Free Press, New York (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)