«design by contract»

метод разработки программного обеспечения, при котором элементы системы проектируются таким образом, что их взаимодействие основано на точно определенных соглашениях (contract)