מידע כללי
פיתוח כלים (מערכות תוכנה) לאימות של תכניות בעזרת מחשב. שיפור והתאמת כלים קיימים לשימוש בהקשרים רחבים יותר. שימוש בכלים לאימות תכניות מורכבות.
פקולטה: מדעי המחשב
|תארים מתקדמים
מקצועות קדם
מידע סמסטריאלי
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 3 שעות פרוייקט
ניווט לדף המקצוע
אחראים
דר. יצחקי שחר
קבוצות רישום
|
|
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 3 שעות פרוייקט
ניווט לדף המקצוע
אחראים
דר. יצחקי שחר
הערות
-
מומלצים הקורסים: את"מ ומבוא לאימות (אפשר כצמוד).
קבוצות רישום
|
|
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 3 שעות פרוייקט
ניווט לדף המקצוע
קבוצות רישום
|
|