programming by contract

контрактное программирование (использование предусловий, постусловий, инвариантов при написании исходного кода Alex_Odeychuk)