Modulinformationssystem Informatik

 

Programmiersprachen und Programmiersysteme XML

Masterprogramm im Schwerpunktbereich: Software Systems Engineering

Beginn: SS15 / Research advisor: Prof. Dr. Michael Hanus

Beschreibung:

Programmiersprachen bilden die Basis der Entwicklung von Softwaresystemen. Um die Komplexität moderner Softwaresysteme zu beherrschen, sind moderne Programmiersprachen mit hohen Abstraktionskonzepten unabdingbar. In diesem Masterprogramm erlernen die Studierenden die Konzepte des Entwurfs und der Implementierung von Programmiersprachen und entsprechender Werkzeuge sowie deren Anwendung beim Entwurf komplexer Systeme. Sie werden dadurch auch in die Lage versetzt, z.B. programmiersprachliche Werkzeuge zu entwicklen und anzuwenden, oder domänenspezifische Sprachen für spezielle Anwendungen zu entwerfen und praktisch einzusetzen.

Voraussetzungen:

Kommentare:

Masterprogrammübersicht

SS15	Inf-PPS MS0304 Inf-SemPS
WS15/16	MS0101 Inf-DPS
SS16	MS0306 Inf-SEPDS

Masterprogrammübersicht nach Studienbereichen

Vertiefende Informatik-Grundlagen (IG)

• Inf-PPS: Prinzipien von Programmiersprachen (Pflicht)
• MS0304: Functional Programming (Pflicht)

Vertiefende theoretische Grundlagen (TG)

• Inf-SemPS: Semantik von Programmiersprachen (empfohlen)
• MS0101: Kryptographie (empfohlen)

Informatik der Systeme (IS)

• MS0306: Nebenläufige und verteilte Programmierung (empfohlen)
• Inf-SEPDS: Software Engineering for Parallel and Distributed Systems (empfohlen)

Mastervertiefungsbereich (MV)

• Inf-DPS: Deklarative Programmiersprachen (Pflicht)

Praktikum:

beim Research Advisor

Seminar:

beim Research Advisor

Masterarbeit:

beim Research Advisor

Allgemeine Grundlagen:

nach Wahl der Studierenden in Absprache mit dem Academic Advisor

Anwendungsfach:

nach Wahl der Studierenden in Absprache mit dem Academic Advisor