Proverbs, aphorisms, quotations (English) | by Linux fortune |
Real software engineers don't debug programs, they verify correctness. This process doesn't necessarily involve execution of anything on a computer, except perhaps a Correctness Verification Aid package. | |
Real software engineers don't like the idea of some inexplicable and greasy hardware several aisles away that may stop working at any moment. They have a great distrust of hardware people, and wish that systems could be virtual at *___all* levels. They would like personal computers (you know no one's going to trip over something and kill your DFA in mid-transit), except that they need 8 megabytes to run their Correctness Verification Aid packages. | |
HOW TO PROVE IT, PART 5 proof by accumulated evidence: Long and diligent search has not revealed a counterexample. proof by cosmology: The negation of the proposition is unimaginable or meaningless. Popular for proofs of the existence of God. proof by mutual reference: In reference A, Theorem 5 is said to follow from Theorem 3 in reference B, which is shown to follow from Corollary 6.2 in reference C, which is an easy consequence of Theorem 5 in reference A. proof by metaproof: A method is given to construct the desired proof. The correctness of the method is proved by any of these techniques. | |
Air Force Inertia Axiom: Consistency is always easier to defend than correctness. | |
I lately lost a preposition; It hid, I thought, beneath my chair And angrily I cried, "Perdition! Up from out of under there." Correctness is my vade mecum, And straggling phrases I abhor, And yet I wondered, "What should he come Up from out of under for?" -- Morris Bishop | |
While most peoples' opinions change, the conviction of their correctness never does. |