AG Software Engineering: Dependability
Prof. Dr. Liggesmeyer

Lehrangebot des Lehrgebiets Software Engineering

(Prof. Dr. Liggesmeyer (SEDA), Prof. Dr. Poetzsch-Heffter (AGST), Prof. Dr. Rombach (AGSE))

Spezifikation und Verifikation objektorientierter Programme AGST

Product Line Engineering IESE

Qualitätsmanagement von Software und Systemen SEDA

Process Modeling IESE

Spezifikation und Verifikation mit Logik höherer Ordnung AGST

Übersetzer und sprachverarbeitende Werkzeuge AGST

Software- Qualitätssicherung SEDA

Empirische Modellbildung und Methoden AGSE

Requirements Engineering IESE

Masterprojekt (SEDA, AGSE, AGST)

Master-/ Diplomarbeiten Projektarbeiten

Fortgeschrittene Aspekte objektorientierter Programmierung AGST

Softwarearchitektur verteilter Systeme IESE

Sicherheit und Zuverlässigkeit eingebetteter Systeme SEDA

Software Project and Process Management AGSE

Industrie- kontaktseminar

GSE-Projekt (Bachelor)

Seminare Proseminare

Grundlagen des Software Engineering (GSE) AGSE, SEDA, AGST

Industriepraktika Stud.-Hilfskraft-Jobs

Projekt Vorlesung Zusatzangebot

SW-Entwicklungs- projekt

• GSE ist Voraussetzung für alle anderen Vorlesungen
• Prof. Dr. Liggesmeyer prüft alle SEDA-Vorlesungen
• Prof. Dr. Rombach prüft alle AGSE-Vorlesungen
• Prof. Dr. Poetzsch-Heffter prüft alle AGST-Vorlesungen, sowie RE und PL
• Die IESE-Vorlesungen werden von Prof. Dr. Liggesmeyer, Prof. Dr. Rombach oder einem Lehrbeauftragten geprüft

• Für den Diplomstudiengang werden weiterhin Proseminare und Projekt- bzw. Diplomarbeiten angeboten.