• DocumentCode
    920562
  • Title

    Language, truth and software [software development]

  • Author

    Dettmer, Roger

  • Volume
    50
  • Issue
    1
  • fYear
    2004
  • Firstpage
    38
  • Lastpage
    42
  • Abstract
    Tony Hoare helped lay the engineering foundations of computer science. He has been studying the role of formal methods within Microsoft´s software development process. This paper discusses Hoare´s early programming experiences and his work on concurrency and specification.
  • Keywords
    formal specification; Microsoft; computer science; concurrency; formal methods; programming; software development; software development process; specification;
  • fLanguage
    English
  • Journal_Title
    IEE Review
  • Publisher
    iet
  • ISSN
    0953-5683
  • Type

    jour

  • DOI
    10.1049/ir:20040106
  • Filename
    1271880
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=920562