DbC

Design by Contract is a software design approach that uses contracts to define the obligations and guarantees of software components.