NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Observations of fallibility in applications of modern programming methodologiesErrors, 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.
Document ID
19760062583
Acquisition Source
Legacy CDMS
Document Type
Reprint (Version printed in journal)
Authors
Gerhart, S. L.
(Duke University Durham, N.C., United States)
Yelowitz, L.
(Pittsburgh, University Pittsburgh, Pa., United States)
Date Acquired
August 8, 2013
Publication Date
September 1, 1976
Publication Information
Publication: IEEE Transactions on Software Engineering
Volume: SE-2
Subject Category
Computer Programming And Software
Accession Number
76A45549
Funding Number(s)
CONTRACT_GRANT: NSG-1267
CONTRACT_GRANT: NSF MCS-75-08146
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.
No Preview Available