מידע על ניתוח וסינתזה של תוכנה
שם מקצוע
ניתוח וסינתזה של תוכנה
מספר מקצוע
236347
אתר הקורס
קטלוג
סילבוס
עקרונות בסיסיים ונושאים מתקדמים באנליזה וסינתזה של תוכנה. רקע תיאורטי וטכניקות מעשיות של ניתוח תוכנה. יישומים של אימות תוכנה והגנה במערכות מתוכנתות. ינתן דגש על טכניקה של אינטרפרטציה אבסטרקטית.
מקצועות צמודים
לא ניתן לברר מידע סמסטריאלי לסמסטר 201201
מידע סמסטריאלי חורף 2012/13(תשע"ג)
עבור לסמסטר
המקצוע לא נלמד בסמסטר זה