كل الدورات
عن الدورة
تصديق الأنظمة هو مجال يركز على دراسة أساسيات التواصل ومعالجة المعلومات داخل الأنظمة. في هذه الدورة، ستتعرف على كيفية تحليل الأنظمة باستخدام نماذج سلوكية لتحديد مدى عمل النظام بدقة وصحة. تساعد تقنيات التصديق على ضمان عدم وجود أخطاء في النظام، وتصميم سلوك نظام مضمن يتمتع بالبنية الصحيحة، مما يسهل صيانة وتكييف الأنظمة مستقبلاً. هذه الدورة هي متابعة للمواضيع المتعلقة بالأوتوماتا والمعادلات السلوكية.
ماذا ستتعلم
- تحليل العلاقات والسلوكيات الديناميكية للأنظمة
- تصميم نماذج سلوكية لفهم آلية النظام
- تحسين صلاحية وصيانة البرامج والأنظمة
المتطلبات المسبقة
- إلمام أساسي بالمفاهيم المتعلقة واستعداد للتطبيق العملي
المدرسون
J
Jan Friso Groote
Full professor
المواضيع
تطوير البرمجيات
علوم الحاسوب
التصميم والمنتجات
هياكل البيانات
النمذجة الرياضية
علوم الحاسوب النظرية
نمذجة البيانات
تحليل الأنظمة
معلومات الدورة
المنصةCoursera
المستوىغير محدد
طريقة التعلمغير محدد
السعرمجاني
المهارات
تطوير البرمجيات
علوم الحاسوب
التصميم والمنتجات
هياكل البيانات
النمذجة الرياضية
علوم الحاسوب النظرية
نمذجة البيانات
تحليل الأنظمة
Software Architecture
Algorithms
إعلان
إعلان