BLG 633E — Model Checking for Softw.Sys. Not Dağılımı
İTÜ BLG 633E (Model Checking for Softw.Sys.) dersinin geçmiş dönem harf notu dağılımları. 28 öğrencinin notu, 4 dönem üzerinden listelenmiştir.
En son dönem (2018-2019 Güz Dönemi): 5 öğrenci, ortalama 3.70, başarısızlık oranı %0.0.
Ders katalog bilgileri
Model Checking for Softw.Sys.
- Kredi
- 3
- AKTS
- 7,5
- Saat (T+U+L)
- 3+0+0
- Önkoşul
- Yok
Ders süresince yazılımların tasarım ve planlanması aşamasında ve yazılım doğrulamada kullanılabilecek model sınama yöntemleri incelenecektir. Derse model sınama kavramının tanıtımı ve bu konuda kullanılan yöntemlerin teorik altyapılarının sunulması ile başlanacaktır. Ardından temel seviyede SMV, SPIN ve UPPAAL kullanılarak model tabanlı doğrulama incelenecektir.
Dönem bazında not dağılımı
2018-2019 Güz Dönemi
5 öğrenci · Ortalama 3.70 · Başarısız %0.0
| Not | Öğrenci | Oran | Dağılım |
|---|---|---|---|
| AA | 2 | %40.0 | |
| BA | 3 | %60.0 |
2017-2018 Güz Dönemi
6 öğrenci · Ortalama 3.00 · Başarısız %16.7
| Not | Öğrenci | Oran | Dağılım |
|---|---|---|---|
| AA | 2 | %33.3 | |
| BA | 2 | %33.3 | |
| BB | 1 | %16.7 | |
| FF | 1 | %16.7 |
2016-2017 Güz Dönemi
4 öğrenci · Ortalama 0.88 · Başarısız %75.0
| Not | Öğrenci | Oran | Dağılım |
|---|---|---|---|
| BA | 1 | %25.0 | |
| FF | 3 | %75.0 |
2015-2016 Güz Dönemi
13 öğrenci · Ortalama 2.65 · Başarısız %15.4
| Not | Öğrenci | Oran | Dağılım |
|---|---|---|---|
| AA | 4 | %30.8 | |
| BA | 2 | %15.4 | |
| BB | 1 | %7.7 | |
| CB | 1 | %7.7 | |
| CC | 3 | %23.1 | |
| FF | 2 | %15.4 |