שיטות שונות לתיאור פורמלי של מערכות תוכנה מבנן ו/או התנהגותן. הגישה האלגברית, שפת המפרטים Z והשימוש בה, גישת statecharts, שימוש בלוגיקהטמפורלית.
דרישות הקדם והדרישות המקבילות בקורס מפרטים פורמליים לתיאור מערכות הינן:
דרישות קדם: הנדסת תוכנה (10014)
דרישות מקבילות: אין
לחצו למעבר אל תוכנית לימודי הנדסת תוכנה
רח' יעקב שרייבום 26, ירושלים
,
9103501