метод разработки программного обеспечения, при котором элементы системы проектируются таким образом, что их взаимодействие основано на точно определенных соглашениях ( contract )
DESIGN BY CONTRACT
Англо-русский перевод DESIGN BY CONTRACT
Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012