Bilgi ve Bilgi İşleme Bilimleri, Ampirik Yazılım Mühendisliği, Bilgisayar Yazılımı, Gereksinim Mühendisliği, Otomatik Yazılım Mühendisliği, Yazılım İçin Resmi Yöntemler, Yazılım Kalitesi, Süreçler ve Metrikler, Yazılım Mimarisi, Yazılım Testi, Doğrulama ve Validasyon