מקצוע מידע על מקצוע : פרויקט באימות תכניות בעזרת מחשב - 236346

236346 - פרויקט באימות תכניות בעזרת מחשב
לא ינתן השנה
נקודות
זיכוי
3.0
 
עבודת
בית
פרויקט
או סמינר
מעבדה תרגול הרצאה  
  3     2 שעות
שבועיות

קביעת הציון עפ"י מעקב במשך הסמסטר והגשת עבודת גמר.


  236342 מבוא לאימות תוכנה       מקצועות קדם


פיתוח כלים (מערכות תוכנה) לאימות של תכניות בעזרת מחשב. שיפור והתאמת כלים קיימים לשימוש בהקשרים רחבים יותר. שימוש בכלים לאימות תכניות מורכבות.




מערכת שעות לסמסטרים
סמסטר קודם מידע סמסטריאלי לסמסטר 02/2019 , 2019/2020 אביב תש"ף

נערך בתאריך 27/09/2020 בשעה 14:24:05