Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon Diese Seite ist nicht in Deutsch verfügbar
Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Bildinformationen anzeigen

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Proseminar: Software Analyse Verfahren und Werkzeuge

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.

Inhalte

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.

Organisation

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.

Hilfsmaterial

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

Prof. Dr. Heike Wehrheim

Spezifikation und Modellierung von Softwaresystemen

Heike Wehrheim
Telefon:
+49 5251 60-4331
Büro:
O4.225
Web:

Dr. Oleg Travkin

Spezifikation und Modellierung von Softwaresystemen

Oleg Travkin
Telefon:
+49 5251 60-1766
Fax:
+49 5251 60-3993
Büro:
O4.119
Web:

Dr. Marie-Christine Jakobs

Spezifikation und Modellierung von Softwaresystemen

Marie-Christine Jakobs
Telefon:
+49 5251 60-1767
Fax:
+49 5251 60-3993
Büro:
O4.128
Web:

Manuel Töws

Spezifikation und Modellierung von Softwaresystemen

Manuel Töws
Telefon:
+49 5251 60-4272
Fax:
+49 5251 60-3993
Büro:
O4.137
Web:

Jürgen König

Spezifikation und Modellierung von Softwaresystemen

Jürgen König
Telefon:
+49 5251 60-1715
Büro:
O4.134
Web:

Die Universität der Informationsgesellschaft