Проектирование по контракту (Design by Contract) – это мощная техника разработки программного обеспечения (ПО), которая путем формализации взаимоотношений между компонентами позволяет создавать качественное, надежное и расширяемое ПО. В данном курсе рассматриваются теоретические аспекты проектирования по контракту с примерами использования библиотеки Code Contracts, рассматриваются понятия корректности ПО, утверждения (Assertions), мониторинг утверждений в период исполнения. Рассматривается связь контрактов и модульных тестов (unit tests), роль контрактов в наследовании для обеспечения принципа подстановки Лисков (LSP – Liskov Substitution Principle) и другое.