This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Software Mythbusters Explore Formal Methods
November/December 2009 (vol. 26 no. 6)
pp. 60-63
ASCII Text
x 
 
Ciera Jaspan, Michael Keeling, Larry Maccherone, Gabriel L. Zenarosa, Mary Shaw, "Software Mythbusters Explore Formal Methods," IEEE Software, vol. 26, no. 6, pp. 60-63, November/December, 2009.
 
 
BibTex
x
 
@article{ 10.1109/MS.2009.188,
author = {Ciera Jaspan and Michael Keeling and Larry Maccherone and Gabriel L. Zenarosa and Mary Shaw},
title = {Software Mythbusters Explore Formal Methods},
journal ={IEEE Software},
volume = {26},
number = {6},
issn = {0740-7459},
year = {2009},
pages = {60-63},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2009.188},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Software Mythbusters Explore Formal Methods
IS - 6
SN - 0740-7459
SP60
EP63
EPD - 60-63
A1 - Ciera Jaspan,
A1 - Michael Keeling,
A1 - Larry Maccherone,
A1 - Gabriel L. Zenarosa,
A1 - Mary Shaw,
PY - 2009
KW - formal methods
KW - formal specification
KW - specifications
KW - education
KW - software engineering education
KW - development process
KW - mathematics
KW - specification tool
VL - 26
JA - IEEE Software
ER -
 
Ciera Jaspan, Carnegie Mellon University
Michael Keeling, Carnegie Mellon University
Larry Maccherone, Carnegie Mellon University
Gabriel L. Zenarosa, University of Pittsburgh
Mary Shaw, 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

1. A. Hall, "Seven Myths of Formal Methods," IEEE Software, vol. 7, no. 5, 1990, pp. 11–19.

Index Terms:
formal methods, formal specification, specifications, education, software engineering education, development process, mathematics, specification tool
Citation:
Ciera Jaspan, Michael Keeling, Larry Maccherone, Gabriel L. Zenarosa, Mary Shaw, "Software Mythbusters Explore Formal Methods," IEEE Software, vol. 26, no. 6, pp. 60-63, Nov.-Dec. 2009, doi:10.1109/MS.2009.188
Usage of this product signifies your acceptance of the Terms of Use.