קוד תקן: 07.07.26
postcondition
תנאי-אחר

 
טענת תנאי המתייחסת לנקודה במעקובת ביצוע התוכנית, הנמצאת מיד אחרי (ולכן, תנאי-אַחַר) חלק מוגדר של התוכנית.

[#8460] נוסף בתאריך 17-08-2006

« המונחים הקודמים
תלוי-מכונה
machine-dependent
תכנות-מיקרו
microprogramming
תכנות פונקציונלי
functional programming
תכנות מודולרי
modular programming
תכנות מובנה
structured programming
המונחים הבאים »
תנאי-קדם
precondition
תסדיר מען
address format
תסדיר פקודה
instruction format
תקלה ילידה
indigenous fault ; indigenous error
תקלה ללא תקנה
unrecoverable error

תגובות (0)

שנה » ניווט
דרכונט
גישה לאתר דרכונט
לא מחובר. להתחברות:
דוא"ל:
סיסמה:
שכחתי סיסמה שכחתי סיסמה
משתמש חדש משתמש חדש
 זכור אותי  כן לא

Top10
מבוקשים
חדשים
אחרונים