Условия контракта (Design by Contract) — это методология разработки программного обеспечения, при которой взаимодействие между компонентами системы описывается в виде формальных соглашений или "контрактов". Каждый контракт определяет:

Предусловия — условия, которые должны быть истинны до вызова метода или функции.
Постусловия — условия, которые гарантируются после выполнения метода.
Инварианты — условия, которые должны оставаться истинными на протяжении всего жизненного цикла объекта.

Роль условий контракта в программной инженерии заключается в повышении надежности и предсказуемости кода, облегчении отладки и тестирования, а также улучшении документации и понимания взаимодействия между компонентами.

Пример на Java с использованием комментариев:

class Account {
    private double balance;

    // Инвариант: balance >= 0

    // Предусловие: amount > 0
    // Постусловие: balance увеличивается на amount
    public void deposit(double amount) {
        if (amount <= 0) {
            throw new IllegalArgumentException("Amount must be positive");
        }
        balance += amount;
    }

    // Предусловие: amount > 0 и amount <= balance
    // Постусловие: balance уменьшается на amount
    public void withdraw(double amount) {
        if (amount <= 0 || amount > balance) {
            throw new IllegalArgumentException("Invalid amount");
        }
        balance -= amount;
    }
}

Объясните концепцию условий контракта и их роль в программной инженерии.