المواصفات المتطلباتية للأنظمة الذاتية

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

• استخدام الأساليب الرسمية لتحديد والتحقق من متطلبات الأنظمة الذاتية
• نمذجة سلوك النظام والتحقق من الاستقرار بأساليب تحليلية
• تطبيق حساب مجموعات الوصول وتحليل الصلابة في تصميم النظام

• فهم أساسي للمفاهيم والمصطلحات ذات الصلة
• الاستعداد للتدريب العملي وحل المشكلات التطبيقية