Institut für Programmiermethodik
und Compilerbau
- 1:
Lehre.- 1.1:
Sommersemester 2012. - 1.2: Wintersemester 2011/2012.
- 1.2.1:
Constraint-Programmierung. - 1.2.2: Embedded Softwareengineering im Bereich Automotive.
- 1.2.3: Funktionale Programmierung.
- 1.2.4: Grundlagen des Übersetzerbaus.
- 1.2.5: Management von Softwareprojekten.
- 1.2.6: Softwaretechnik I.
- 1.2.7: Algebraische Strukturen als Grundlage der Informatik.
- 1.2.8: Formale Spezifikationssprachen und ihre Semantik.
- 1.2.9: Techniken der formalen Programmentwicklung an Hand von Beispielen.
- 1.2.10: Fortgeschrittene Anwendungstechniken für typische Informatiksysteme.
- 1.2.11: Logikbasierte Programmiersprachen.
- 1.2.12: Constraint-Programmierung Praxis.
- 1.2.13: Entwicklung konkreter Anwendungen nach ausgewählten Prinzipien des Software Engineering.
- 1.2.14: Experimentelles Softwareengineering.
- 1.2.15: Softwaregrundprojekt (Sopra).
- 1.2.1:
- 1.3: Regelmäßig angebotene Lehrveranstaltungen.
- 1.4: Frühere Lehrveranstaltungen.
- 1.5: Themen für Diplomarbeiten, Masterarbeiten und Individualpraktika.
- 1.1:
- 2: Forschung.
- 3: Mitarbeiter.
- 4: Kontakt.
Proseminar Fortgeschrittene Anwendungstechniken für typische Informatiksysteme
Inhalt
Jede Informatikerin/jeder Informatiker muss in ihrem/seinem Beruf eine Vielzahl von Aufgaben mit dem Rechner erledigen, wofür jeweils verschiedene Werkzeuge zur Verfügung stehen. Eine effiziente Beherrschung dieser Werkzeuge kann die Effektivität der Arbeit enorm steigern.
In diesem Proseminar sollen die Bedienkonzepte verschiedener Werkzeugtypen genauer betrachtet und die jeweils vielfältigen Einsatz- bzw. Bedienmöglichkeiten ausgelotet werden.
Ziel der Lehrveranstaltung ist es, häufige Aufgaben mit einem geeigneten Mittel schnell und effizient zu bewerkstelligen und das jeweils passende Mittel auswählen zu können.
Nähere Informationen erhalten Sie im Rahmen der Einführungsversanstaltung (siehe unten). Falls Sie sich schon vorher informieren möchten, können Sie auch gerne bei mir (Alexander Raschke) vorbeikommen.
Einführung
Eine Einführung in das Proseminar findet am Donnerstag, den 20.10.2011 um 16.00 Uhr in Raum O27/121 statt.
Bei Interesse oder Fragen: Email an 
Alexander Raschke.
Prof. Dr. Helmuth PartschTermin
Einführung am Donnerstag, 20.10.11 um 16.00 Uhr in Raum O27/121
Review
Bitte folgenden Link verwenden, um das Gutachten bis spätestens 16.12.2011, 23:59 GMT versenden.