|
MOVES: Software Modeling and Verification
(Informatik 2)
|
Hinweise zur Ausarbeitung eines Seminarthemas
- Die Ausarbeitung soll einen Umfang von 15 bis 20 Seiten haben; im
Fall eines Proseminars ca. 10 Seiten, bzw. bei Bearbeitung eines Themas durch zwei Studierende ca. 20 Seiten.
- Die schriftlichen Ausarbeitungen müssen zwei Wochen vor dem Vortrag dem Betreuer in der endgültigen Fassung vorliegen (Ausschlußfrist) und eine Woche vorher als kopierte Version für die anderen Seminarteilnehmer. Die erste Besprechung mit dem Betreuer sollte daher spätestens sechs Wochen vor dem Vortrag stattfinden.
- Die Ausarbeitung ist keine wörtliche Übersetzung, sondern eine Zusammenfassung der zugrundeliegenden Literaturquellen. Eine Ergänzung durch Beispiele und Skizzen ist oft von Vorteil.
- Man sollte sich beim Anfertigen der Ausarbeitung in die Situation des Lesers versetzen und in einem leicht verständlichen Stil schreiben. Es ist günstig, den Sachverhalt zuerst informell an Beispielen und Skizzen zu erklären und dann eine formale Beschreibung anzugeben.
- Die Ausarbeitung sollte wie folgt gegliedert sein:
- Einleitung
- Grundlagen
- Hauptteil (in Abschnitte unterteilt)
- Zusammenfassung
- Auf dem Deckblatt sollten der Titel des Seminars, sowie des
konkreten Themas, der Vor- und Familienname sowie die Matr.-Nr. des
Autors, der Name des Betreuers und die zugrundegelegte Literatur
angegeben sein.
- Das Studium von Sekundärliteratur ist meist unerläßlich. Daher werden Kenntnisse in der Benutzung der Informatik-Bibliothek vorausgesetzt.
Zur Erstellung der Ausarbeitung empfehlen wir LaTeX.
Ein Einführungskurs in LaTeX (incl. des Styles Seminar und der
Verwendung von BibTeX) findet im Informatik-Vorkurs statt.
Beispieltexte aus dem Kurs und Literatur zu LaTeX finden Sie
hier.
Sollten Sie zusätzlich noch ein PDF-Dokument erzeugen wollen, benutzen Sie bitte
folgende Anleitung (Punkt 8),
damit die richtigen Schriften verwendet werden.
- Die Kopien der Ausarbeitung für alle Seminarteilnehmer können am Lehrstuhl erstellt werden.
Diese Kopien sollen einheitlich so gestaltet werden, daß jeweils zwei
Seiten nebeneinander auf einem Din A4-Blatt angeordnet sind und dieses
Blatt beidseitig bedruckt ist (Rückseite um 180 Grad gedreht, um
sinnvolles Einheften in einem Ordner zu ermöglichen; die ursprüngliche
Schriftgröße sollte ca. 12 Punkte betragen, mit zugehörigem
Zeilenabstand, damit sie nach der Verkleinerung noch lesbar ist). Auf
dem Deckblatt befindet sich das eigentliche Titelblatt mit Namen und
das Inhalts- und Literaturverzeichnis.
|