Ders Adı | Kodu | Yarıyıl | T+U Saat | Kredi | AKTS |
---|---|---|---|---|---|
Yazılım Mühendisliğinde Biçimsel Yöntemler | SWE 302 | 6 | 3 + 0 | 3 | 5 |
Ön Koşul Dersleri | |
Önerilen Seçmeli Dersler | |
Dersin Dili | Türkçe |
Dersin Seviyesi | Lisans |
Dersin Türü | Zorunlu |
Dersin Koordinatörü | Prof.Dr. DEVRİM AKGÜN |
Dersi Verenler | |
Dersin Yardımcıları | |
Dersin Kategorisi | Alanına Uygun Öğretim |
Dersin Amacı | Yazılım mühendisliği alanındaki ve güncel teknolojiyi yansıtan ileri teknik ve yöntemleri tanıtmak. Formal ve formal olmayan yazılım geliştirme yöntemleri bilgisini kazanmak. Yazılım geliştirme döngüsünün başlangıç aşamalarına odaklanmak. |
Dersin İçeriği | Software specification. Formal method. Formal specification. The Z notation. Schema calculus. Generic constructions. Formal software development. Refinement and verification. Tools and case studies. Rigorous software development. Semi-formal specification languages. Cleanroom software engineering. Test generation from specification. Selected topics in current software engineering issues. |
# | Ders Öğrenme Çıktıları | Öğretim Yöntemleri | Ölçme Yöntemleri |
---|---|---|---|
1 | describe the characteristics and tradeoffs between different formal and informal methods of software development | Anlatım, Soru-Cevap, Alıştırma ve Uygulama, | Sınav , Ödev, Proje / Tasarım, |
2 | specify software using a formal specification language | Anlatım, Soru-Cevap, Alıştırma ve Uygulama, | Sınav , Ödev, Proje / Tasarım, |
3 | develop high quality software requirement specifications using informal or semi-formal notation | Anlatım, Soru-Cevap, Alıştırma ve Uygulama, | Sınav , Ödev, Proje / Tasarım, |
4 | appreciate the use of formal and rigorous techniques in program refinement and verification | Anlatım, Soru-Cevap, Alıştırma ve Uygulama, | Sınav , Ödev, Proje / Tasarım, |
Hafta | Ders Konuları | Ön Hazırlık |
---|---|---|
1 | Software specification | Haftalık sunumlar |
2 | Formal method. Formal specification | Haftalık sunumlar |
3 | The Z notation. Schema calculus. | Haftalık sunumlar |
4 | Generic constructions | Haftalık sunumlar |
5 | Formal software development. | Haftalık sunumlar |
6 | Refinement and verification | Haftalık sunumlar |
7 | Tools and case studies. | Haftalık sunumlar |
8 | Rigorous software development. | Haftalık sunumlar |
9 | Semi-formal specification languages. | Haftalık sunumlar |
10 | Cleanroom software engineering | Haftalık sunumlar |
11 | Test generation from specification | Haftalık sunumlar |
12 | Test generation from specification | Haftalık sunumlar |
13 | Selected topics in current software engineering issues. | Haftalık sunumlar |
14 | Selected topics in current software engineering issues. | Haftalık sunumlar |
Kaynaklar | |
---|---|
Ders Notu | Haftalık yüklenen sunumlar |
Ders Kaynakları | Daniel Jackson, Software Abstractions,MIT Press, 2006 Formal Methods for Real-Time Computing,,Edited by Heitmeyer, C. and Mandrioli, Wiley, 1996 |
Değerlendirme Sistemi | |
---|---|
Yarıyıl Çalışmaları | Katkı Oranı |
1. Ara Sınav | 70 |
1. Kısa Sınav | 10 |
1. Ödev | 10 |
1. Proje / Tasarım | 10 |
Toplam | 100 |
1. Final | 50 |
1. Yıl İçinin Başarıya | 50 |
Toplam | 100 |
AKTS - İş Yükü Etkinlik | Sayı | Süre (Saat) | Toplam İş Yükü (Saat) |
---|---|---|---|
Ders Süresi (Sınav haftası dahildir: 16x toplam ders saati) | 16 | 3 | 48 |
Sınıf Dışı Ders Çalışma Süresi(Ön çalışma, pekiştirme) | 16 | 2 | 32 |
Ara Sınav | 1 | 10 | 10 |
Kısa Sınav | 1 | 5 | 5 |
Ödev | 1 | 5 | 5 |
Proje / Tasarım | 1 | 10 | 10 |
Final | 1 | 15 | 15 |
Toplam İş Yükü | 125 | ||
Toplam İş Yükü / 25 (Saat) | 5 | ||
Dersin AKTS Kredisi | 5 |