Fortgeschrittene Anwendungen der Funktionalen Programmierung
Willkommen auf der Heimatseite der Lehrveranstaltung „Fortgeschrittene Anwendungen der Funktionalen Programmierung“ im Sommersemester 2010.
Inhaltliches
Die Veranstaltung ist eine inhaltliche Fortsetzung der Veranstaltung Fortgeschrittene Techniken der Funktionalen Programmierung, in der wir die dort erlernten Techniken im Zusammenhang einer größeren Aufgabenstellung (das Wort "Projekt" sei hier vermieden) benutzen wollen.
Mögliche Aufgabenstellungen sind folgende:
- eine Erweiterung der Weltraumsimulation des letzten Semesters,
- Entwicklung eines Werkzeuges für die formale Softwareverifkation,
- oder die Entwicklung einer Bücherei für dreidimensionale Grafik.
Organisatorisches
Die VAK der Veranstaltung ist 03-05-H-705.54.
Zugangsdaten zu der technischen Infrastruktur:
- Das Trac mit Wiki und Ticketverwaltung findet sich hier.
- Das Subversion-Repository findet sich unter https://svn-agbkb.informatik.uni-bremen.de/cxl/lehre/asp.ss10/common/.
Termine
Die Veranstaltung am 22.06.10 entfällt!
Die Veranstaltung ist als Kurs konzipiert. Der wöchentliche Regeltermin ist Di 14-16 im Cartesium 2.43.