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

בדומה למקצועות הנדסיים אחרים כלי עיקרי בהנדסת תכנה הוא היכולת לבנות מודלים.

מודלים עוזרים בניתוח והבנת המערכת ומשמשים לתיעוד חד משמעי של מטרת המערכת והתכנון שלה.

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

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

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

שפות פורמליות, מכונות מצבים סופיות דטרמיניסטיות ולא דטרמיניסטיות,

שפות רגולריות, ביטויים רגולריים, דקדוקים חסרי הקשר, מכונות מחסנית,