هذا المرجع يصف الكتالوج المشار إليه. راجع المؤسسة لتأكيد العرض الحالي والشروط المطبقة على فصلك الدراسي.
الوصف
المنهجيات الشكلية في هندسة البرمجيات التوصيف وصحة البرمجيات. الموضوعات تشمل المواصفات الجبرية، دلالات لغات البرمجة، منطق هوار/الديناميكي، لغات التوصيف، تحويل البرامج. محاضرات، 3 ساعات في الأسبوع؛ مختبر، ساعتان في الأسبوع. المتطلبات السابقة: ثلاثة ونصف أرصدة COSC وMATH 1P67. ملاحظة: قد يُقدَّم هذا المقرر بعدة أساليب تقديم. سيتم إدراج أسلوب التقديم في الجدول الأكاديمي، في الفصل المعني.
المقررات السابقة
- المتطلبات السابقة: ثلاثة ونصف أرصدة COSC وMATH 1P67.
الشروط والإجراءات
- المتطلبات السابقة: ثلاثة ونصف أرصدة COSC وMATH 1P67.
- ملاحظة: قد يُقدَّم هذا المقرر بعدة طرائق للتدريس. ستُدرج طريقة التدريس في جدول المقررات الأكاديمي، في الفصل المعني.
نص المرجع بلغته الأصلية
Formal Methods in Software Engineering Specification and correctness of software. Topics include algebraic specifications, semantics of programming languages, Hoare/dynamic logic, specification languages, program transformation. Lectures, 3 hours per week; lab, 2 hours per week. Prerequisite(s): three and one-half COSC credits and MATH 1P67 . Note: this course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.
- Prerequisite(s): three and one-half COSC credits and MATH 1P67 .
- Note: this course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://brocku.ca/webcal/2024/undergrad/cosc.html