This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Observations of Fallibility in Applications of Modern Programming Methodologies
September 1976 (vol. 2 no. 3)
pp. 195-207
S.L. Gerhart, Department of Computer Science, Duke University
Errors, inconsistencies, or confusing points are noted in a variety of published algorithms, many of which are being used as examples in formulating or teaching principles of such modern programming methodologies as formal specification, systematic construction, and correctness proving. Common properties of these points of contention are abstracted. These properties are then used to pinpoint possible causes of the errors and to formulate general guidelines which might help to avoid further errors. The common characteristic of mathematical rigor and reasoning in these examples is noted, leading to some discussion about fallibility in mathematics, and its relationship to fallibility in these programming methodologies. The overriding goal is to cast a more realistic perspective on the methodologies, particularly with respect to older methodologies, such as testing, and to provide constructive recommendations for their improvement.
Index Terms:
testing, Correctness proofs, fallibility, program correctness, program errors, program specifications, programming methodologies, reliability
Citation:
S.L. Gerhart, L. Yelowitz, "Observations of Fallibility in Applications of Modern Programming Methodologies," IEEE Transactions on Software Engineering, vol. 2, no. 3, pp. 195-207, Sept. 1976, doi:10.1109/TSE.1976.233815
Usage of this product signifies your acceptance of the Terms of Use.