Veranstaltungen im Sommersemester 2012
| Vorlesung | Material | Termine | Anmerkung |
|---|---|---|---|
| Funktionale Programmierung (Module III.1.2, III.1.6) |
| Beginn: Mo 02.04. | |
| Generating Software from Specifications (M  odules III.1.1, III.1.2, III.1.6) |
 |
 |
In English Begin: Thu April 5 |
| Grundlagen der Programmiersprache (Modul I.1.1) |
|
| Beginn: Die 29.05. 14:00 Uhr |
| Seminar: 3D Languages (M odule III.1.2) |
|
| In English First Meeting: Wed April 11, 10:00 AM |
| Oberseminar Praktische Informatik |  |
Regelmäßig wiederkehrende Veranstaltungen
| Vorlesung | letztmalig gelesen | Material |
|---|---|---|
| Compilation Methods | SS 2011 |  |
| Einführung in Web-bezogene Sprachen (EWS) | WS 2010/2011 |  |
| WS 2006/2007 |  | |
| Funktionale Programmierung | SS 2010 |  |
| Generierung von Software aus Spezifikationen | SS 2010 |  |
| Grundlagen der Programmiersprachen (GPS) | SS 2011 |  |
| Modellierung | WS 2011/2012 |  |
| Objektorientierte Programmierung | WS 2010/2011 |  |
| Parallel Programming in Java (SWT) | SS 2011 |  |
| Programming Languages and Compilers (SWT) | WS 2010/2011 |  |
| Skriptsprachen | WS 2006/2007 |  |
Veranstaltungen früherer Semester
Projektgruppen:
- Eine visuelle Sprache zur Verkehrssimulation (SS 2010)
- PG-Davis: Datenbankzugriff leicht gemacht: von visuellen Spezifikationen zu AJAX-basierten Web-Oberflächen
- CHARISMA: Automatische Nutzung von Multimedia-Befehlen auf rekonfigurierbaren Prozessor-Clustern (WS 2005/2006)
- PaderWAVE: Generierung von Web-Anwendungen aus visuellen Spezifikationen (SS 2004)
- Weiterentwicklung von Prozessoren und Übersetzermethoden für neuartige Netzwerkanwendungen (WS 2003/2004)
- Verteilung von parallelen Java-Anwendungen (SS 2002)
- Entwicklung von Chipkarten in Java (WS 2000/2001)
- Java verstehen - Programmanalyse für Java (WS 1999/2000)
- Visuelle Programmierung paralleler Paradigmen (SS 1998)
- Objektorientierte Programmiersprachen (WS 1996/1997)
Seminare:
- Software Language Engineering (WS2009/10)
- Programmanalyse und Model Checking (WS 2005/06)
- Proof Carrying Code (SWT, Modul 1.3)
- Refactoring in eXtreme Programming (WS 2002/03), Material
- C# - Microsofts Antwort auf Java (SS 2002)
- Object-oriented Program Analysis (in English) (SS 2002)
- Visuelle Programmierung (WS 1996/1997)
Vorlesungen:
- Technische Informatik für Ingenieure (WS 2004/2005)
- Software-Entwicklung II (SS 2004)
- Parallele Programmierung in Java (SS 2000)
- Übersetzer I (SS 2000)
- Übersetzer II (WS 1999/2000)
- Sprachimplementierung mit Werkzeugen (WS 1999/2000)
- Software-Entwicklung I,II (SS 1999)
- Grundlagen der Programmiersprachen (HS) (WS 1998/1999)
- Informatik B (SS 1998)
- Parallele Programmierung (WS 1997/1998)
- Programmieren in Java (WS 1997/1998)
- Technische Informatik (WS 1997/1998)
- Übersetzer (PrI) (WS 1997/1998)
- Modellierung (SS 1997)
- Programmieren in C++ (SS 1997)