Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Software Engineering

Verfahren zur Programmanalyse


 

Wann und Wo

Proseminar: Dienstag, 13-15 Uhr, RUD 25, 3.113

Wer

Dozent: Dr. Esteban Pavese

Beschreibung und Aufbau der Lehrveranstaltung

Das Ziel des Proseminars ist es, theoretisches und praktisches Wissen über die essenziellen statischen Programmanalysetechniken zu vermitteln. Speziell werden Techniken vorgestellt, die schon bei konkreten und aktuellen Desktop- und Mobilanwendungen erprobt wurden. Das heißt, angewendet werden sollen die Techniken auf realem source code. Voraussetzung dafür ist die Kenntnis der Programmsprachen (Java, .NET, o.a.). Die Studenten sollen befähigt werden, eigenständig wissenschaftlich zu arbeiten.

 

Vorsicht: dieser Kurs wird in englischer Sprache gehalten.

 

Requirements: the seminar has no initial requirements, no previous knowledge will be assumed. A good grasp of propositional and first-order logic is a plus.

 

Seminar work schedule and calendar

The seminar will involve three distinct parts. The first part will be an introduction to the topics described above. During this first part of the seminar, a collection of research papers and book chapters on the subject will be available for the students. Each student will be required to pick one of these writings, on which a report will be due by the end of the semester.

During the second part of the seminar, we will have group discussions on the chosen report topics. After this discussion, the third part will consist of lectures specifically focused on these topics. In such a way the last part of the seminar will be geared towards the students' specific interests.

As a result, many topics will arise that can easily be turned into a starting point for a B.Sc.  or  M.Sc. thesis.

 

Evaluation: the seminar will only involve a written report turned in by the student.