אתר המרצה מר גנוט יצחק
קורסים
- מבוא להנדסת תוכנה (10014) תקציר הקורס:
- אלגוריתם מתקדם וסיבוכיות (10121) תקציר הקורס:
- הבטחת איכות תוכנה (10241) תקציר הקורס:
- מתודולוגיות תכנות Agile (10346) תקציר הקורס:
תקציר:
המחשב הדיגיטלי הראשון נבנה עבור צבא ארה"ב בשנת 1946. שפות תכנות מחשבים עיליות החלו להיווצר בסוף שנות החמישים של המאה הקודמת. המחשבים דיגיטליים היו בני פחות מרבע מאה וכבר עמדנו בפני תופעה שכונתה "משבר תוכנה". המשבר נוצר לא רק בגלל שהתוכנה המיוצרת לא תפקדה כראוי, אלא בגלל הבעיות הקשורות לאופן שבו התוכנה פותחה והביקוש הגובר לתוכנות גדולות ומורכבות. משבר התוכנה מאופיין בבעיות רבות: היעדר דרישות מוגדרות היטב ושינויים תכופים לדרישות; אומדני לוחות הזמנים ועלויות הפיתוח לרוב אינם מדויקים; התפוקה של מפתחי תוכנה לא עומדת בקצב הביקוש לשירותים שלהם; |
תקציר:
הקורס עוסק בנושאים מתקדמים בתכנון וניתוח אלגוריתמים. במהלך הקורס נלמד אלגוריתמים לזרימה ברשתות ושידוכים, התאמת מחרוזות באמצעות KMP, אלגוריתמים מקוונים ואלגוריתמי קירוב. בנוסף יילמדו נושאים מרכזיים בתורת הסיבוכיות, ובהם המחלקות P, NP, coNP ו-PSPACE, רדוקציות פולינומיות, משפט Cook ובעיות NP-שלמות.תקציר:
בקורס יוצגו עקרונות ושיטות לאבטחת איכות תוכנה, וכיצד בתהליך פיתוח התוכנה ניתן לשפר את איכות מוצר התוכנה.
במהלך הקורס ייסקרו הפעילויות לשיפור איכות התוכנה דרך תכנון עיצוב ובצוע בדיקות, מעקב ובקרה, מדידה ושיפור של תהליכי פיתוח התוכנה ותחזוקתה, התקנים הנהוגים בתעשייה, שיטות עבודה הנהוגות בתעשייה, וכלים התומכים בפעילויות אלו.
כממוצע "מטלות / תרגילים / שעורי בית" המשמש לשקלול הציון הסופי בקורס, ישמש הציון הממוצע של הבחנים שיתקיימו במהלך הרצאות ותרגול פרונטלי בקורס. כלומר, הציון המשוקלל של הקורס יחושב בין ציון המבחן לממוצע ציוני הבחנים. |
תקציר:
הקורס מציג מתודולוגיות ניהול פרוייקטים ותהליכי פיתוח מתקדמות, בעיקר אלו העוסקות בפיתוח זריז (Agile) הנמצאות בשימוש בתעשייה. |