Design by Contract (DbC)
Joël Hébert introduces and demoes Design by Contract’s main concepts –preconditions, postconditions, object invariants- showing their benefits in creating more robust code.
Joël Hébert introduces and demoes Design by Contract’s main concepts –preconditions, postconditions, object invariants- showing their benefits in creating more robust code.