Açıklama
Yazılım mühendisliğinde formel yöntemlere giriş; önermesel ve birinci dereceden mantık (sentaks, anlambilim, ispat kuramı), formel spesifikasyon dilleri, sınırlı analiz ve doğrulama, formel spesifikasyon araçları ve sonlu durum makineleri, zamansal mantık ve model kontrol ile model kontrol araçları.
Önkoşullar
- Önkoşul(lar): COMP 1805 , SYSC 3120 ve SYSC 4001 .
Şartlar ve koşullar
- Önkoşul(lar): COMP 1805 , SYSC 3120 ve SYSC 4001 .
- Haftada üç saat ders.
Kaynak metin orijinal dilinde
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.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/undergrad/courses/SYSC/