Course (BSc): Einführung in Software Engineering

Teaching
Page content

Software Engineering (im deutschsprachigen Raum auch Softwaretechnik) zielt auf die ingenieurmäßige Entwicklung, Wartung, Anpassung und Weiterentwicklung großer Softwaresysteme unter Verwendung bewährter systematischer Vorgehensweisen, Prinzipien, Methoden und Werkzeuge. Die Diversifikation der unterschiedlichen Softwaresysteme und Anwendungsbereiche erfordert ein Portfolio anzuwendender Techniken, vergleichbar mit einem Werkzeugkasten. Ziel der Lehrveranstaltung ist es, diesen Werkzeugkasten mit den wichtigsten Techniken zu bestücken.

Voraussetzungen

Empfohlen wird der erfolgreiche Abschluss der Module Programmieren 1 und Programmieren 2 oder vergleichbare Kenntnisse.

Lernziele

Die Studierenden erlangen die Fähigkeit, große Softwaresysteme zu entwerfen und systematisch korrekt zu realisieren.

Wie entwickle ich Software unter wirtschaftlichen Aspekten für realistische Projektgrößen?

  • Softwareprojekte: Rollen, Aufgaben, Ziele, Projektplanung, Projektleitung
  • Vorgehensweisen: Phasen und Ergebnisse

Wie entwickle ich qualitativ hochwertige Software?

  • Konstruktive, modellbasierte Softwareentwicklungstechniken
  • Analytische Methoden zur Sicherung von Softwarequalität

Übersicht (Herbstsemester 2023)

  • Dozent: Timo Kehrer
  • Assistenz: Manuel Ohrndorf, Marlene Kulowatz, Ramon Näf
  • Lehrmaterialien: ILIAS
  • Registrierung (Klausur): KSL (Anmeldefrist 29.12.2023)
  • Vorlesung: Mittwochs 14:15 - 16:00 (Hörsaal 1 001, Engehalde, E8)
  • Übungen: Mittwochs 16:15 - 17:00 (Hörsaal 1 001, Engehalde, E8)
  • Sprache: Deutsch
  • Beginn: Mittwoch, 20.09.2023
  • Klausur: Freitag, 12.01.2024, 10:15 - 12:00 (Hörsaal A006, Exakte Wissenschaften, ExWi)
  • Nächste Ausgabe: Herbstsemester 2024

Semesterplan (Herbstsemester 2023)

  • 20.09.2023: Einführung
  • 27.09.2023: Vorgehensmodelle
  • 04.10.2023: Anforderungsanalyse
  • 11.10.2023: Systemmodellierung
  • 18.10.2023: Systementwurf
  • 25.10.2023: Software-Prüfung
  • 01.11.2023: Konfigurationsmanagement
  • 08.11.2023: Automated Debugging & Repair
  • 15.11.2023: Gastvorlesung (IBM)
  • 22.11.2023: Formale Verifikation / Model Checking
  • 29.11.2023: Gastvorlesung (AWS)
  • 06.12.2023: Search-based Software Testing
  • 13.12.2023: Q&A
  • 20.12.2023: (Q&A)