Проектирование по контракту
Философия программирования: у каждой функции есть формальные предусловия, постусловия и инварианты.
Автор — Бертран Мейер (язык Eiffel, 1986). Утверждения о том, что должно быть истинно до начала, и что гарантируется после. Приучает мыслить контрактами явно. В современные языки перекочевало через системы типов и property-based-тестирование.