ניתוח הדרישות הוא השלב הראשון והכי משמעותי במחזור החיים של פיתוח, שבו מזהים את בעיית הלקוח ואת הדרישות למערכת תוכנה שתפתור את בעיית הלקוח. נציג הפיתוח מזהה את צרכי הלקוח ומתרגם אותם לאופיין (טכני) שישמש הן את מהנדסי פיתוח התוכנה והן את הבודקים המאשרים את המוצר. המחקר מראה שיותר מ-75% מהתקלות שמתגלות אצל הלקוחות לאחר התקנה מקורן באפיון הדרישות.

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

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

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

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

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

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

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

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

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