• DocumentCode
    1364585
  • Title

    Faultless Systems: Yes We Can!

  • Author

    Abrial, Jean-Raymond

  • Author_Institution
    Dept. of Inf. Security, Swiss Fed. Inst. of Technol., Zurich, Switzerland
  • Volume
    42
  • Issue
    9
  • fYear
    2009
  • Firstpage
    30
  • Lastpage
    36
  • Abstract
    This paper presents simple ideas that offer suggestions on how to improve the situation of computerized system development. Gradually introducing some simple features will eventually result in a global improvement in the software development.
  • Keywords
    software engineering; computerized system development; faultless systems; software development; Programming; Faultless software systems; Proofs; Refinement; Software development;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

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