• DocumentCode
    994857
  • Title

    Critical task of writing dependable software

  • Author

    Knight, John ; Littlewood, Bev

  • Author_Institution
    Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
  • Volume
    11
  • Issue
    1
  • fYear
    1994
  • Firstpage
    16
  • Lastpage
    20
  • Abstract
    Safety-critical software must perform as desired and should never fail. The need for dependability stems from the fact that the consequences of failure are extremely high, usually a threat to human life. To write such systems, most now agree that we must adopt rigorous techniques, rooted in mathematics.<>
  • Keywords
    programming; safety; software reliability; dependable software; mathematical techniques; program writing; rigorous techniques; safety-critical software; Humans; Mathematics; Software performance; Software safety; Writing;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/52.251196
  • Filename
    251196
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=994857