Modulinformationssystem Informatik

 

Programmiersprachen und Programmiersysteme XML

Masterprogramm im Schwerpunktbereich: Software Systems Engineering

Beginn: WS11/12 / 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

WS11/12	MS0304 MS0302
SS12	MS0301 MS0105 MS1004
WS12/13	Inf-SemPS MS0303 MS0306

Masterprogrammübersicht nach Studienbereichen

Vertiefende Informatik-Grundlagen (IG)

• MS0304: Functional Programming (Pflicht)
• MS0301: Prinzipien von Programmiersprachen (Pflicht)

Vertiefende theoretische Grundlagen (TG)

• Inf-SemPS: Semantik von Programmiersprachen (empfohlen)
• MS0105: Angewandte Logik (empfohlen)

Informatik der Systeme (IS)

• MS0302: Übersetzerbau (Pflicht)
• MS1004: Software Engineering for Parallel and Distributed Systems (empfohlen)

Mastervertiefungsbereich (MV)

• MS0303: Deklarative Programmiersprachen (empfohlen)
• MS0306: Nebenläufige und verteilte Programmierung (empfohlen)

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