| 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 | İngilizce |
| 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 |
| Sıra | Program Çıktıları | Katkı Düzeyi | |||||
|---|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | |||
| 1 | Matematik, fen bilimleri ve ilgili mühendislik disiplinine özgü konularda yeterli bilgi birikimi; bu alanlardaki kuramsal ve uygulamalı bilgileri, karmaşık mühendislik problemlerinde kullanabilme becerisi. | ||||||
| 2 | Karmaşık mühendislik problemlerini saptama, tanımlama, formüle etme ve çözme becerisi; bu amaçla uygun analiz ve modelleme yöntemlerini seçme ve uygulama becerisi. | ||||||
| 3 | Mühendislik uygulamalarında karşılaşılan karmaşık problemlerin analizi ve çözümü için gerekli olan modern teknik ve araçları geliştirme, seçme ve kullanma becerisi; bilişim teknolojilerini etkin bir şekilde kullanma becerisi. | ||||||
| 4 | Karmaşık bir sistemi, süreci, cihazı veya ürünü gerçekçi kısıtlar ve koşullar altında, belirli gereksinimleri karşılayacak şekilde tasarlama becerisi; bu amaçla modern tasarım yöntemlerini uygulama becerisi. | ||||||
| 5 | Karmaşık mühendislik problemlerinin veya disipline özgü araştırma konularının incelenmesi için deney tasarlama, deney yapma, veri toplama, sonuçları analiz etme ve yorumlama becerisi. | ||||||
| 6 | Bilişim Teknolojilerinin yönetim, denetim, gelişim ve güvenliği/güvenilirliği hakkında bilgi sahibi olma ve farkındalık. | ||||||
| 7 | Disiplin içi ve çok disiplinli takımlarda etkin biçimde çalışabilme becerisi; bireysel çalışma becerisi. | ||||||
| 8 | Türkçe sözlü ve yazılı etkin iletişim kurma becerisi; en az bir yabancı dil bilgisi; etkin rapor yazma ve yazılı raporları anlama, tasarım ve üretim raporları hazırlayabilme, etkin sunum yapabilme, açık ve anlaşılır talimat verme ve alma becerisi. | ||||||
| 9 | Yaşam boyu öğrenmenin gerekliliği bilinci; bilgiye erişebilme, bilim ve teknolojideki gelişmeleri izleme ve kendini sürekli yenileme becerisi. | ||||||
| 10 | Etik ilkelerine uygun davranma, mesleki ve etik sorumluluk bilinci; mühendislik uygulamalarında kullanılan standartlar hakkında bilgi. | ||||||
| 11 | Proje yönetimi, risk yönetimi ve değişiklik yönetimi gibi, iş hayatındaki uygulamalar hakkında bilgi; girişimcilik, yenilikçilik hakkında farkındalık; sürdürülebilir kalkınma hakkında bilgi. | ||||||
| 12 | Mühendislik uygulamalarının evrensel ve toplumsal boyutlarda sağlık, çevre ve güvenlik üzerindeki etkileri ve çağın mühendislik alanına yansıyan sorunları hakkında bilgi; mühendislik çözümlerinin hukuksal sonuçları konusunda farkındalık. | ||||||
| # | Ders Öğrenme Çıktılarının Program Çıktılarına Katkısı | PÇ 1 | PÇ 2 | PÇ 3 | PÇ 4 | PÇ 5 | PÇ 6 | PÇ 7 | PÇ 8 | PÇ 9 | PÇ 10 | PÇ 11 | PÇ 12 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | describe the characteristics and tradeoffs between different formal and informal methods of software development | ||||||||||||
| 2 | specify software using a formal specification language | ||||||||||||
| 3 | develop high quality software requirement specifications using informal or semi-formal notation | ||||||||||||
| 4 | appreciate the use of formal and rigorous techniques in program refinement and verification |
| 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 | ||
| dersAKTSKredisi | 5 | ||