ÖĞRETİM ÜYESİ: Engin Demir

DERS SAATİ: Çarşamba 18:40-21:00

DERS KAPSAMI:

Ders kapsamında biçimsel yöntemlere giriş, temel matematiksel kavramlar, mantık ve muhakeme, model kavramları ve özellikleri, notasyon, gereksinim tanımlama dilinin sözdizim ve anlambilim özellikleri, gereksinim formülasyonu, ispatlar, doğrulama ve hata işleme konuları genel bir bakış açısıyla işlencektir. Endüstriyel uygulamalarda özellikle yazılım mühendisliğindeki uygulamaları incelenecektir.

KİTAP:

• Gerard O'Regan. Concise Guide to Formal Methods - Theory, Fundamentals and Industry Applications. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-3-319-64020-4

ÖNERiLEN KAYNAKLAR:

• 2007 Turing Award video ve 2013 Turing Award video
• TLA+ is a language for modeling software above the code level and hardware above the circuit level.
• Online course by Eric Hehner: Formal Methods of Software Design

NOT DAĞILIMI :

İLETİŞİM:

Ders ile ilgili bütün kaynaklar ve iletişim Piazza sistemi üzerinden http://www.piazza.com/hacettepe.edu.tr/spring2025/byz656 adresinden yürütülecektir.

HAFTALIK PROGRAM