The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - September (1976 vol.2)
pp: 195-207
S.L. Gerhart , Department of Computer Science, Duke University
ABSTRACT
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, September 1976, doi:10.1109/TSE.1976.233815
34 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool