• DocumentCode
    1500234
  • Title

    Software Mythbusters Explore Formal Methods

  • Author

    Jaspan, Ciera ; Keeling, Michael ; Maccherone, Larry ; Zenarosa, Gabriel L. ; Shaw, Mary

  • Author_Institution
    Carnegie Mellon University
  • Volume
    26
  • Issue
    6
  • fYear
    2009
  • Firstpage
    60
  • Lastpage
    63
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/MS.2009.188
  • Filename
    5287011
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1500234