Modulinformationssystem Informatik

 

Programmiersprachen und Programmiersysteme XML

Masterprogramm im Schwerpunktbereich: Software Systems Engineering

Beginn: WS12/13 / 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

WS12/13	MS0303 Inf-SemPS MS0306
SS13	MS0304 MS0302
WS13/14	MS1102 MS0301

Masterprogrammübersicht nach Studienbereichen

Vertiefende Informatik-Grundlagen (IG)

• MS0303: Deklarative Programmiersprachen (Pflicht)
• MS0304: Functional Programming (empfohlen)

Vertiefende theoretische Grundlagen (TG)

• Inf-SemPS: Semantik von Programmiersprachen (empfohlen)
• MS1102: Synchrone Sprachen (empfohlen)

Informatik der Systeme (IS)

• MS0306: Nebenläufige und verteilte Programmierung (empfohlen)
• MS0302: Übersetzerbau (Pflicht)

Mastervertiefungsbereich (MV)

• MS0301: Prinzipien von 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