يقدم هذا المقرر المبادئ والتقنيات العامة لتصميم البرامج ذات المستوى المنخفض المنضبط. BNF والنظرية الأساسية للقواعد والاعراب. استخدام مولدات محلل. أساسيات اللغة وتصميم البروتوكول. اللغات الرسمية. تصميم البرمجيات القائمة على التحول والحالة. الطرق الرسمية لبناء البرمجيات. تقنيات التعامل مع التزامن والاتصال بين العمليات. تقنيات تصميم البرمجيات العددية. أدوات لبناء نموذج يحركها. مقدمة للبرمجيات الوسيطة.