Modul

Software-Systeme [M-INFO-101201]

Leistungspunkte

Turnus

Jedes Semester

Dauer

2 Semester

Sprache

Level

Version

Verantwortung

Prof. Dr. Ralf Reussner

Einrichtung

KIT-Fakultät für Informatik

Bestandteil von

Informationswirtschaft (M.Sc.)

Teilleistungen

Identifier	Name	LP
T-INFO-101281	Formale Systeme II: Anwendung	5
T-INFO-101256	Software-Evolution	3
T-INFO-101278	Modellgetriebene Software-Entwicklung	3
T-INFO-101378	Formale Systeme II: Theorie	5
T-INFO-101381	Software-Architektur und -Qualität	3
T-INFO-101300	Requirements Engineering	3

Qualifikationsziele

In den einzelnen Lehrveranstaltungen in diesem Modul erlernen die Studenten verschiedene Techniken und Verfahren für die systematische Entwicklung qualitativ hochwertiger Software-Systeme. Dazu kann gehören systematische Anforderungserstelltung, die Modellierung, die Programmierung von Komponenten und Diensten, Ausnutzung der parallelen Verarbeitung in modernen Systemen und die Verifikation der enstandenen Programme.

Voraussetzungen

Keine

Inhalt

Der Inhalt wird in den einzelnen Lehrveranstaltungsbeschreibungen erläutert.