Pro­se­mi­nar: Soft­ware Ana­ly­se Ver­fah­ren und Werk­zeu­ge

Veranstaltung L.079.07500
Sommersemester 2017

Dozentin: Heike Wehrheim

Organisation: Oleg Travkin

Die Veranstaltung wird über die koaLA Platform organisiert. Die Anmeldung zur Veranstaltung findet über PAUL statt.

In­hal­te

Im Rahmen des Proseminars werden wir uns mit verschiedenen Software Analyse Verfahren auseinander setzten. Dazu gehört auch ein Blick auf Werkzeuge, die in der Praxis eingesetzt werden. Studierende sollen sich also nicht nur mit den zu Grunde liegenden Konzepten eines Verfahrens beschäftigen, sondern diese auch praktisch an möglichst eigenen Beispielen erproben.

Mögliche Verfahren wären zum Beispiel: Profiling, Testing, Checking, Parser Generatoren um nur einige zu nennen. Die konkret angebotenen Themen und dazu gehörenden Werkzeuge werden erst bei der Vorbesprechung bekannt gegeben.

Or­ga­ni­sa­ti­on

Hörerkreis:

Das Seminar ist für Studierende im 2. Studienabschnitt des Bachelorstudiengangs Informatik gedacht. Es ist auf maximal 12 Teilnehmer ausgelegt.

Vorbesprechung:

Zur Teilnahme an der Vorbesprechung ist eine Voranmeldung bei PAUL verpflichtend. Sind mehr als 12 Personen angemeldet, entscheidet zu Beginn der Vorbesprechung das Los. Wer unentschuldigt nicht oder zu spät zur Vorbesprechung erscheint, nimmt nicht teil. 

Prüfungsanmeldung:

Bitte meldet euch während der ersten Prüfungsanmeldephase zur Prüfung an (17.04.2017 - 17.05.2017). Anderenfalls gilt eure Teilnahme als nicht Prüfungsrelevant. Für Pro-/Seminare ist eine Anmeldung zur Prüfung in der zweiten Prüfungsanmeldephase nicht mehr möglich.

Voraussetzungen für den Scheinerwerb

  • Durchführung eines ca. 30-minütigen Vortrags inkl. anschließender Diskussion
  • Schriftliche Ausarbeitung (ca. 5 - 10 Seiten)
  • Aktive Teilnahme an den Diskussionen, Einhaltung aller Termine
  • Begutachtung der Ausarbeitung von einem anderen Teilnehmer
  • Jede Teilleistung (Vortrag, Ausarbeitung, etc.) muss bestanden werden

Vor dem Vortrag sind mindestens zwei Treffen mit dem Betreuer durchzuführen (genaueres wird bei der Vorbesprechung besprochen).

Notenzusammensetzung:

  • Vortrag 45%
  • Ausarbeitung 45%
  • Mitarbeit 5%
  • Review 5%

Termine:

  • Vorbesprechung: Montag, 24.04.2017, 17:00 - 19:00 s.t., O4.267
  • Erste Fassung der Folien: 05.06.2017, 23:59Uhr
  • Vorträge Tag 1: 19.06.2017, um 16:00 - 19:00 Uhr s.t., O4.267
  • Vorträge Tag 2: fällt aus
  • Vorträge Tag 3: 21.06.2017, um 16:00 - 19:00 Uhr s.t., O3.267
  • Erste Fassung der Ausarbeitung: 09.07.2017, 23:59 Uhr
  • Peer Reviews: 16.07.2016, 23:59 Uhr
  • Endfassung der Ausarbeitung: 28.07.2017, 23:59 Uhr

Alle Abgaben sollen über Koala erfolgen.

Fragen:

Fragen zum Seminar beantwortet jederzeit: Oleg Travkin.

Hilfs­ma­te­ri­al

  • Themenvorstellung (Folien)
  • Hinweise zu (Pro-) Seminaren (Folien)
  • Latex-Template für die Ausarbeitung (zip)
  • Review Guide (txt)