Можете объяснить понятие контракта в контексте программирования или разработки систем?