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