تعدیل قراردادهای نرم‌ افزار