קוד תקן: 07.07.30
partial correctness
נכונות חלקית

 
הוכחת נכונות, המציינת שטענות התנאי של פלט תוכנית נובעות לוגית מתוך טענות התנאי של הקלט שלה ומצעדי עיבוד.

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

« המונחים הקודמים
מתג
switch
משתנה משותף
shared variable
משימת אב
master task
המונחים הבאים »
נכונות כוללת
total correctness
נסוג בעקיפין
indirectly recursive
נסוג ישירות
directly recursive
נסיגה הדדית
simultaneous recursion
נעילה
lockout

תגובות (0)

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

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