תכנות לפי חוזה (באנגלית: Design by Contract, בקיצור: DbC) היא שיטת עיצוב תוכנה, המתבססת על הגדרת מפרטים פורמליים, מדויקים וניתנים לאימות עבור ממשקים של רכיבי תוכנה. בשיטת עבודה זו, רכיבי התוכנה הם טיפוסי נתונים אבסטרקטיים, הדורשים קיום של תנאים מוקדמים (preconditions), תנאים מאוחרים (postconditions), וקבועים (invariants). מפרטים אלו נקראים "חוזים", כמטפורה לתנאים ולמחויבויות הקיימים במסגרת חוזה עסקי. מתוך ויקיפדיה

חוות תנינים, חוז'וב, חוז'לה, חוזאעה, חוזה, חוזה אדוארדו דוס סנטוס, חוזה אוטרכט, חוזה אורטגה אי גאסט, חוזה אחיד, חוזה אייגון