الوصف
مقدمة في الأساليب الرسمية في هندسة البرمجيات مع تغطية المنطق الاقتراحي والمنطق من الرتبة الأولى (البناء النحوي، الدلالات، نظرية الإثبات)، لغات المواصفات الرسمية، التحليل المحدود والتحقق، أدوات المواصفات الرسمية، والتحقق بالنمذجة مع الآلات ذات الحالة المنتهية، منطق زمني، وأدوات التحقق بالنمذجة.
المقررات السابقة
- المتطلبات السابقة: COMP 1805 وSYSC 3120 وSYSC 4001.
الشروط والإجراءات
- المتطلبات السابقة: COMP 1805 وSYSC 3120 وSYSC 4001.
- محاضرات ثلاث ساعات أسبوعيًا.
نص المرجع بلغته الأصلية
Introduction to formal methods in software engineering with coverage of propositional and first-order logic (syntax, semantics, proof theory), formal specification languages, bounded analysis and validation, formal specification tools, and model checking with finite-state machines, temporal logic, and model checking tools.
- Prerequisite(s): COMP 1805 , SYSC 3120 , and SYSC 4001 .
- Lectures three hours a week.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/undergrad/courses/SYSC/