Bertrand Meyer created the methodology Design by contract and incorporated it into the Eiffel programming language.
Бертран Мейер створив методологію проектування (за договором) та включив її в мову програмування Eiffel.