• DocumentCode
    1395139
  • Title

    Really Rethinking ´Formal Methods´

  • Author

    Parnas, David Lorge

  • Author_Institution
    McMaster Univ., Hamilton, ON, Canada
  • Volume
    43
  • Issue
    1
  • fYear
    2010
  • Firstpage
    28
  • Lastpage
    34
  • Abstract
    We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed.
  • Keywords
    formal specification; software engineering; formal methods; software development; Programming; Formal methods; Software development; Software documentation;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/MC.2010.22
  • Filename
    5398780
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1395139