תוכן עניינים
1 יַחַס: חוזה (תכנות).
חוזה (תכנות)
תכנות לפי חוזה (באנגלית: Design by Contract, בקיצור: DbC) היא שיטת עיצוב תוכנה, המתבססת על הגדרת מפרטים פורמליים, מדויקים וניתנים לאימות עבור ממשקים של רכיבי תוכנה.
לִרְאוֹת Design by contract וחוזה (תכנות)

