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