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