Dozent: Ewan Fleischmann

Termine (Ort):

Übung: jeden Donnerstag von 15:15 Uhr - 16:45 Uhr in der Marienstraße 13c, Hörsaal C, ab dem 22.04.2010, wöchentlich

Zielgruppe:

Medieninformatik Master, Mediensysteme Master

Materialien/Unterlagen:

1. Übungsblatt (Besprechung am 22.04.)
   
   
2. Übungsblatt (Besprechung am 29.04.)
   Zusatzmaterial zum Übungsblatt: schl_solange.adb, aufgabe_4.zip
   
   
3. Übungsblatt (Besprechung am 06.05.)
   - bubble_sort.adb
   - testgen.zip (Anleitung)
   - aufgabe3.zip
   
   
4. Übungsblatt (Besprechung und Präsentation am 20.05.)
   Miniprojekt I: vergeben
   Miniprojekt II: vergeben
   
   
5. Übungsblatt (Besprechung und Präsentation am 27.05.)
   Miniprojekt III: vergeben
   Miniprojekt IV: vergeben
   
   Weitere Unterlagen und Links:
   Kurze Einführung in SPARK (sie ist von einem Studenten letzes Semester verfasst worden und wird ohne jegliche Gewähr auf Korrektheit zur Verfügung gestellt)
   libre.adacore.com (zum Herunterladen von SPARK, Anmeldung erforderlich)
   leergut.ads, leergut.adb, spark_io
   
   
6. (und 7.) Übungsblatt (Besprechung und Präsentation am 17.06. und 24.06)

Mini-Projekte:

Beginnend ab dem 4. Übungsblatt werden jede Woche ein oder mehrere Mini-Projekte ausgegeben. Das sind Gruppenaufgaben (für maximal 2 Studenten) die jeweils zu lösen und abzugeben sind. Jeder Student muss an mindestens 2 solcher Mini-Projekte erfolgreich teilgenommen haben um an der Prüfung teilnehmen zu dürfen. Ein Mini-Projekt zählt dann als erfolgreich, wenn es (i) vollständig bearbeitet wurde, (ii) eine Kurzpräsentation während der Übung stattgefunden hat und (iii) der Source-Code und die Präsentation per Email an den Übungsleiter spätestens zum jeweiligen Übungstermin abgegeben worden ist. ACHTUNG: Die Teilnahme muss per EMail angemeldet werden! (bis spätestens Dienstag vor der Übung).

Semesterprojekt:

Das Semesterprojekt kann in Gruppen zu je maximal 2 Studenten zu bearbeiten ist. Die Bearbeitung ist freiwillig. Bei entsprechendem Erfolg lässt sich damit ein Notenbonus von 1/3 oder 2/3 Notenstufen auf die Prüfung erreichen. Späteste Abgabe ist der 18.10.2010. 

Die Aufgabe besteht darin, einen Sortiertalgorithmus eurer Wahl (das muss kein besonders effizienter sein) in SPARK zu implementieren die mit einem generischen Datentyp arbeitet. Dazu ist eine kurze Dokumentation anzufertigen (ca. 5 Seiten). Abzugeben sind in einer Zip Datei damit der (gut dokumentierte) Quellcode der Sortierbibliothek, zwei Beispielanwendungen (mit verschiedenen Datentypen) und die Dokumentation (als PDF).

Hinweis: Es gibt eine Bubblesortimplementation in SPARK im Netz, jedoch prüft diese die Permutationseigenschaft nicht. Das ist natürlich Unfug, da genau das sehr relevant ist. Auch das mit den Generika ist in Spark nicht so einfach zu lösen. Ihr könnt jedoch auch einen Sortieralgorithmus mit ein paar Instanzen (z.B. Integer & Strings, ...) abgeben und genau dokumentieren worauf ihr dabei bei der Implementationseigenschaft achten habt müssen.