Winter Term 2009/2010
Up one levelOn this page you find all the courses offered by the chair of Software Engineering in the current term as well as respective slides and accompanying exercises. In addition, all courses of the preceding and upcoming terms are listed here.
| Title | Course type | Instructors | Time | Recurrence | Location |
|---|---|---|---|---|---|
| Informatik III - Theoretische Informatik (Vorlesung) | Vorlesung | Andreas Podelski, Jochen Hoenicke, Matthias Heizmann | Monday, 14:00–16:00 | weekly from 2009-10-19 until 2010-02-13 | |
| Software Design, Modelling and Analysis in UML (Vorlesung) | Vorlesung | Andreas Podelski, Bernd Westphal | Tuesday, 09:00–11:00 | weekly from 2009-10-20 until 2010-02-11 | |
| Software Testing (Seminar) | Seminar | Andreas Podelski, Stephan Arlt, Martin Mehlmann | Monday, | weekly from 2009-10-19 until 2010-02-13 | Fachschaftshaus Schauinsland |
| Static Code Analysis (Seminar) | Seminar | Andreas Podelski, Evren Ermis, Daniel Dietsch | Monday, 2010-02-15, 10:00–16:00 | once from 2010-02-15 until 2010-02-19 | Fachschaftshaus Schauinsland |
| Design and Analysis of Cyber-Physical Systems (Seminar) | Seminar | Andreas Podelski, Sergiy Bogomolov, Corina Mitrohin | Monday, 11:00–13:00 | weekly from 2009-10-19 until 2010-02-13 | |
| Softwarepraktikum für Hörer aller Fakultäten (Praktikum) | Praktikum | Andreas Podelski, Daniel Dietsch, Evren Ermis | Monday, 09:00–13:00 | weekly from 2009-10-19 until 2010-02-13 | |
| Integrating Data Visualization in the Stalin-Framework (Team-Projekt) | Team-Projekt | Andreas Podelski, Evren Ermis | Monday, 11:00–13:00 | weekly from 2009-10-19 until 2010-02-13 | |
| Stalin 2.0 - Improving Model Checking Framework (Team-Projekt) | Andreas Podelski, Jürgen Christ | Monday, 11:00–13:00 | weekly from 2009-10-19 until 2010-02-13 | ||
| Softwaretechnik (Oberseminar) | Oberseminar | Andreas Podelski | Monday, 11:00–13:00 | weekly from 2009-10-19 until 2010-02-13 |