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