Title :
Software Mythbusters Explore Formal Methods
Author :
Jaspan, Ciera ; Keeling, Michael ; Maccherone, Larry ; Zenarosa, Gabriel L. ; Shaw, Mary
Author_Institution :
Carnegie Mellon University
Abstract :
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
Keywords :
Application software; Biomedical informatics; Computer industry; Defense industry; Programming; Real time systems; Seminars; Software engineering; Springs; Unified modeling language; development process; education; formal methods; formal specification; mathematics; software engineering education; specification tool; specifications;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.2009.188
