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.

Show image information

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)
Contact

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

Heike Wehrheim
Phone:
+49 5251 60-4331
Office:
O4.225
Web:

Dr. Oleg Travkin

Specification and Modelling of Software Systems

Oleg Travkin
Phone:
+49 5251 60-1766
Fax:
+49 5251 60-3993
Office:
O4.119
Web:

Dr. Marie-Christine Jakobs

Specification and Modelling of Software Systems

Marie-Christine Jakobs
Phone:
+49 5251 60-1767
Fax:
+49 5251 60-3993
Office:
O4.128
Web:

Manuel Töws

Specification and Modelling of Software Systems

Manuel Töws
Phone:
+49 5251 60-4272
Fax:
+49 5251 60-3993
Office:
O4.137
Web:

Jürgen König

Specification and Modelling of Software Systems

Jürgen König
Phone:
+49 5251 60-1715
Office:
O4.134
Web:

The University for the Information Society