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 2024)

  • Dozent: Timo Kehrer
  • Assistenz: Manuel Ohrndorf
  • Lehrmaterialien: ILIAS
  • Registrierung (Prüfung): KSL (Anmeldefrist: 27.12.2024)
  • 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, 18.09.2024
  • Prüfung: TBA
  • Nächste Ausgabe: Herbstsemester 2025

Semesterplan (Herbstsemester 2024)

  • 18.09.2024: Einführung
  • 25.09.2024: Vorgehensmodelle
  • 02.10.2024: Anforderungsanalyse
  • 09.10.2024: Systemmodellierung
  • 16.10.2024: Systementwurf
  • 23.10.2024: Software-Prüfung
  • 30.10.2024: Konfigurationsmanagement
  • 06.11.2024: Search-based Software Testing
  • 13.11.2024: Automated Debugging
  • 20.11.2024: Automated Repair
  • 27.11.2024: Gastvorlesung (Michael Ahrens & Daniel Roth, VZ VermögensZentrum AG)
  • 04.12.2024: Formale Verifikation / Model Checking
  • 11.12.2024: Gastvorlesung (Ramon Lopez Narvaez, AWS)
  • 18.12.2024: (Q&A)