CSC/ECE 517 Fall 2011/ch6 6a am: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
==Introduction== | ==Introduction== | ||
==Writing robust code== | ==Writing robust code== | ||
==Assertions== | ==Assertions== | ||
===Pre-Conditions=== | |||
===Post-Conditions=== | |||
==Class Invariants== | ==Class Invariants== | ||
==Programming | ==Programming by contract== | ||
===Definition=== | ===Definition=== | ||
===Obligations and | ===Obligations and benefits=== | ||
==Programming 'By Contract' in JAVA== | |||
===Examples=== | ===Examples=== | ||
==Conclusion== | ==Conclusion== | ||