design-by-contract

Design-by-Contract (DbC) development. Use when implementing with formal preconditions, postconditions, and invariants across any language.