קוד תקן: 07.07.29
formal specification
מיפרט פורמלי

 
מיפרט כתוב בסימון פורמלי, המשמש לעתים קרובות להוכחת נכונות.

המיפרט המשמש כדי להוכיח מתמטית את תקפות המימוש, או כדי להסיק מתמטית את נכונות המימוש.

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

« המונחים הקודמים
מיפסק תוכנית ניפוי
programmable breakpoint
מיפסק קוד
control breakpoint ; code breakpoint
מיפסק כניסה
preamble breakpoint
מיפסק יציאה
postamble breakpoint
המונחים הבאים »
מלכוד קוד פעולה
operation code trap
מניעה הדדית
mutual exclusion

תגובות (0)

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

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