The Community for Technology Leaders
RSS Icon
Issue No.06 - November/December (2009 vol.26)
pp: 60-63
Michael Keeling , Carnegie Mellon University
Larry Maccherone , Carnegie Mellon University
Gabriel L. Zenarosa , University of Pittsburgh
Ciera Jaspan , Carnegie Mellon University
In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article "Seven Myths of Formal Methods." This update re-examines those myths, reflecting both on the authors' experience with formal methods in practice and on their persistent mythic status
formal methods, formal specification, specifications, education, software engineering education, development process, mathematics, specification tool
Michael Keeling, Larry Maccherone, Gabriel L. Zenarosa, Ciera Jaspan, "Software Mythbusters Explore Formal Methods", IEEE Software, vol.26, no. 6, pp. 60-63, November/December 2009, doi:10.1109/MS.2009.188
1. A. Hall, "Seven Myths of Formal Methods," IEEE Software, vol. 7, no. 5, 1990, pp. 11–19.
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool