דילוג לתוכן ראשי

אתר המרצה ד"ר פייטלסון דוד

קורסים

  • אימות תוכנה (10146)
    • תקציר הקורס:

    תקציר:

    הקורס מלמד את התאוריה ומתרגל את הפרקטיקה של הוכחות נכונות קוד בעזרת שימוש בשפה ובכלי (Dafny) שתומכים בפעילות זו על ידי אוטומציה חלקית של תהליך ההוכחה. במהלך הקורס הסטודנטים ילמדו בהדרגה תאוריה וטכניקות שיאפשרו להם לתאר דרישות נכונות ולהוכיח נכונות של תוכניות במורכבות הולכת וגדלה.
  • מידול מערכות תכנה (10148)
    • תקציר הקורס:

    תקציר:

    הקורס מחולק לשני חלקים. בחלק הראשון נלמד איך לתאר מערכות תגובתיות כמכונות מצבים (transition systems) ואיך לתאר תכונות בטיחות וחיות בעזרת נוסחאות בלוגיקה טמפורלית. נשתמש בכלי NuSMV כדי לבדוק באופן אוטומטי האם התכונות הרצויות מתקיימות. בחלק השני נלמד איך לתאר מערכות עתירות מידע בעזרת לוגיקה רלציונית ואיך לנסח תכונות מבניות (structural invariants) והתנהגותיות בעזרת הלוגיקה הרלציונית והכלי Alloy analyzer.
  • אתיקה בהנדסת תוכנה (10827)
    • תקציר הקורס:

    תקציר:

    התעשייה עתירת הידע חושפת את עובדיה ללא מעט אתגרים מוסרים והתלבטויות אתיות :

    האם לגיטמי לעבוד בחברה ללא קוד מוסרי

    מה לגבי חברות שיוצאות נגד ישראל באופן מבוהק ?

    האם מוסרי לעבוד בחברה שעוסקת בהימורים

    ומה אריסטו וקאנט יגידו על כול זה ?

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