מידע כללי
יוצגו שיטות לתאור דרישות למערכות תוכנה מורכבות. בין השיטות: LARCH כגישה אלגברית לתאור מבני נתונים ומערכות סדרתיות, Z כמתודולוגיה לתאור פונקציות, STATEMATE ו- STATECHARTS לתאור בעזרת מכונות מצבים מוכללות, לוגיקה טמפורלית לתאור תכונות חיות. LOTOS ואלגברת תהליכים. הקורס כולל תרגילים של כתיבת מפרטים.
פקולטה: מדעי המחשב
|תארים מתקדמים
מקצועות קדם
(234123 - מערכות הפעלה ו- 234293 - לוגיקה ותורת הקבוצות למדעי המחשב ו- 236353 - אוטומטים ושפות פורמליות) או (234123 - מערכות הפעלה ו- 234129 - מב.לתורת הקבוצות ואוטומטים למדמ"ח ו- 234292 - לוגיקה למדעי המחשב)