Design by Contract - Graph View

A methodology where software components define precise, verifiable interface specifications: what they require (preconditions), what they guarantee (postconditions) and what stays true (invariants).