Questions: On Design By Contract Inheritance Issue..?

Questions: On Design By Contract Inheritance Issue..?

Note: This article will be emailed to your friend.

Questions for all Design By Contract practitioners -
If my class ( E ) implements three interfaces (A, B & C) and extends class D, each with its own pre-conditions and post-conditions and some invariants.
Class E also has few pre-conditions and post-conditions and some invariants.

Pre-conditions can be weakened. So presumably it is an OR clause [...]

Read the rest of this article (116 words)

Please fill in the following fields

* - Required

Your Name: *

Your E-Mail: *

Your Remarks:

Friend's Name: *

Friend's E-Mail: *

Protected by Comment Guard Pro