| 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 | Diğer |
| 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 | Understand mathematical foundations of formal methods | Anlatım, Soru-Cevap, Tartışma, | Doğru Yanlış Testleri, Kısa Cevaplı Testler, Eşleştirme Testler, |
| 2 | Write formal specifications and contracts | Anlatım, Soru-Cevap, Tartışma, | Doğru Yanlış Testleri, Kısa Cevaplı Testler, Eşleştirme Testler, |
| 3 | Write code level verification and specification | Anlatım, Soru-Cevap, Tartışma, | Doğru Yanlış Testleri, Kısa Cevaplı Testler, Eşleştirme Testler, |
| Hafta | Ders Konuları | Ön Hazırlık |
|---|---|---|
| 1 | Introduction | Weekly presentations |
| 2 | Propositional logic | Weekly presentations |
| 3 | Predicate logic and quantifiers | Weekly presentations |
| 4 | Hoare Logic, weakest preconditions and strongest postconditions | Weekly presentations |
| 5 | Recursion and terminations, inductive data types | Weekly presentations |
| 6 | Lemmas and proofs | Weekly presentations |
| 7 | List proofs, sorting algorithms | Weekly presentations |
| 8 | Midterm exam | Weekly presentations |
| 9 | Abstraction and modules | Weekly presentations |
| 10 | Invariants for data structures | Weekly presentations |
| 11 | Loop invariants | Weekly presentations |
| 12 | Specifications for recursive and iterative Programs | Weekly presentations |
| 13 | Specifications for Objects | Weekly presentations |
| 14 | Specifications for Objects | Weekly presentations |
| 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. | ||||||
| # | 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 | Understand mathematical foundations of formal methods | ||||||||||||
| 2 | Write formal specifications and contracts | ||||||||||||
| 3 | Write code level verification and specification |
| 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 | 3 | 48 |
| Ara Sınav | 1 | 15 | 15 |
| Final | 1 | 15 | 15 |
| Toplam İş Yükü | 126 | ||
| Toplam İş Yükü / 25 (Saat) | 5,04 | ||
| Dersin AKTS Kredisi | 5 | ||