Deductive program synthesis

Design by contract

Software design approach where interactions between components are governed by formal obligations (preconditions, postconditions, and invariants) defining mutual responsibilities.

← Terug