подход к проектированию
Design by Contract
Задаёт обязательства кода через предусловия, постусловия и инварианты.
На карте
- Проектирование
- Свойства и решения
Связанные практики
Проверка и оценка
Design by Contract
От требований до эксплуатации
подход к проектированию
Задаёт обязательства кода через предусловия, постусловия и инварианты.