CSC/ECE 517 Fall 2011/ch6 6a am

From Expertiza_Wiki

Revision as of 00:35, 16 November 2011 by Vmallad (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Introduction

Writing robust code

Assertions

Pre-Conditions

Post-Conditions

Class Invariants

Programming by contract

Definition

Obligations and benefits

Programming 'By Contract' in JAVA

Examples

Conclusion

Retrieved from "https://wiki.expertiza.ncsu.edu/index.php?title=CSC/ECE_517_Fall_2011/ch6_6a_am&oldid=55089"