| 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ı | 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 | Propositional logic, predicate logic, quantifiers, hoare logic, weakest preconditions and strongest postconditions, recursion and terminations, inductive data types, lemmas and proofs, sorting algorithms, abstraction, and modules, invariants for data structures, loop invariants, specifications for recursive and iterative programs, specifications for objects |
| # | 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ı | Leino, K. Rustan M. Program Proofs. MIT Press, 2023. Daniel Jackson, Software Abstractions, MIT Press, 2006 https://dafny.org/dafny/ |
| 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. | X | |||||
| 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. | X | |||||
| 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. | X | |||||
| 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. | X | |||||
| 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. | X | |||||
| 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. | ||||||
| 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 | ||