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