Maintaining correctness in scientific programs

Computing in Science and Engineering

Volumn 7, Issue 3, 2005, Pages 80-85

  Dubois, Paul F ^a  

^a LAWRENCE LIVERMORE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUG TRACKING; DESIGN BY CONTRACT (DBC); LANGUAGE-SPECIFIC SAFETY TOOLS; RELEASE MANAGEMENT;

ALGORITHMS; AUTOMATIC TESTING; C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; COMPUTER SOFTWARE; ERROR CORRECTION; NETWORK PROTOCOLS; REGRESSION ANALYSIS;

COMPUTER PROGRAMMING;

EID: 19944364157     PISSN: 15219615     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCSE.2005.54     Document Type: Review

References (4)

1. J. Reid, "The Future of Fortran," Computing in Science & Eng., vol. 4, no. 4, 2003, pp. 59-67.
2. B. Meyer, Object-Oriented Software Construction, 2nd ed., Prentice-Hall, 1997; www.eiffel.com.
3. P. Dubois, "Designing Reusable Components," Computing in Science & Eng., vol. 4, no. 5, 2002, pp. 84-90.
4. P. Dubois and J. Johnson, "Issue Tracking," Computing in Science & Eng., vol. 5, no. 6, 2003, pp. 71-77.