CSC/ECE 517 Fall 2011/ch6 6a pc: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
| Line 4: | Line 4: | ||
== Definitions == | == Definitions == | ||
=== Preconditions === | |||
=== Postconditions === | |||
=== Invariants === | |||
== Comparison with Defensive Programming == | == Comparison with Defensive Programming == | ||
== Languages with Native Support == | == Languages with Native Support == | ||
Revision as of 05:33, 10 November 2011
6a (was 5c). Lecture 18, Programming by contract. My notes for Lecture 18 are largely taken from 20-year-old articles by Bertrand Meyer. The principles are timeless, but there are undoubtedly new embellishments that would provide better background to the topics discussed in the lecture. Write a narrative, generally following the lecture organization, that explains programming by contract in more detail.