• DocumentCode
    790175
  • Title

    Maintaining correctness in scientific programs

  • Author

    Dubois, Paul F.

  • Author_Institution
    Lawrence Livermore Nat. Lab., USA
  • Volume
    7
  • Issue
    3
  • fYear
    2005
  • Firstpage
    80
  • Lastpage
    85
  • Abstract
    Combine a high rate of change (which makes correctness hard to maintain) with an increased sensitivity to failure to maintain correctness and you have a big problem. Solving this problem must be the focus of our methodology. In this paper, the author describes the layered approach that he found to be the most successful in maintaining correctness in the face of rapid change.
  • Keywords
    program testing; software maintenance; scientific program correctness maintenance; software maintenance; software testing; Best practices; Environmental management; Helium; History; Maintenance engineering; Open source software; Programming profession; Robustness; Target tracking; Testing; correctness; scientific programming; software development;
  • fLanguage
    English
  • Journal_Title
    Computing in Science & Engineering
  • Publisher
    ieee
  • ISSN
    1521-9615
  • Type

    jour

  • DOI
    10.1109/MCSE.2005.54
  • Filename
    1425400
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=790175