Is this just a different term for precondition, postcondition and invariants in "Design by Contract"? It's not a new idea, this has been integrated into progra

Is this just a different term for precondition, postcondition and invariants in "Design by Contract"? It's not a new idea, this has been integrated into programming languages before, notably Eiffel (1985) https://en.wikipedia.org/wiki/Design_by_contract https://en.wikipedia.org/wiki/Design_by_contract