Lehrveranstaltungen der Arbeitsgruppe Betriebssysteme und Verteilte Systeme im Wintersemester 2007/2008

Diese Liste enthält Lehrveranstaltungen, die von Mitarbeitern der Arbeitsgruppe Betriebssysteme und Verteilte Systeme voraussichtlich angeboten bzw. mitveranstaltet werden.

• Lehrveranstaltungen im Grundstudium
• Lehrveranstaltungen im Hauptstudium
• Veranstaltungen für andere Studiengänge
• Stundenplan der AGBS
• Coming soon
• Lehrveranstaltungen in vergangenen Semestern

Lehrveranstaltungen im Grundstudium

In diesem Semester werden keine Grundstudiumsveranstaltungen angeboten.

Lehrveranstaltungen im Hauptstudium

Titel:	Betriebssysteme 1
VAK:	03-05-H-702.01
Art der Veranstaltung:	Vorlesung mit Übungen
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Kirsten Berkenkötter
Kategorie:	A
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung:  Do. 8 - 10 Uhr, MZH 1400 Übung:  Di. 17 - 19 Uhr, MZH 5210
Beginn:	1.11.2007

Titel:	Testautomatisierung 2
VAK:	03-05-H-706.04
Art der Veranstaltung:	Vorlesung mit Übungen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Christof Efkemann
Beschreibung:	ausführlichere Informationen
Kategorie:	V
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung:  Mo. 13 - 15 Uhr, MZH 1380 Übung:  Mi. 15 - 17 Uhr, MZH 7220
Beginn:	29.10.2007

Titel:	Safety-Critical Systems 3
VAK:	03-05-H-707.05
Art der Veranstaltung:	Vorlesung mit Übungen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Christof Efkemann
Beschreibung:	ausführlichere Informationen
Kategorie:	V
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung:  Di. 8 - 10 Uhr, MZH 7230 Übung:  Do. 17 - 19 Uhr, MZH 8090
Beginn:	23.10.2007

Titel:	Theorie Reaktiver Systeme
VAK:	03-05-H-699.03
Art der Veranstaltung:	Vorlesung mit Übungen
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Dr. Ulrich Hannemann
Kategorie:	A
Umfang:	2 + 2 SWS
ECTS:	6
Termin:	Vorlesung:  Mi. 13 - 15 Uhr, MZH 4194 Übung:  Mo. 17 - 19 Uhr, MZH 8090
Beginn:	24.10.2007

Titel:	Statische Analyse durch abstrakte Interpretation
VAK:	03-05-H-699-57
Art der Veranstaltung:	Vorlesung mit Übungen
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Helge Löding
Kategorie:	A
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung:  Mo. 8 - 10 Uhr, MZH 7220 Übung:  Mi. 17 - 19, MZH 7220
Beginn:	29.10.2007

Titel:	Übersetzergenerierung mit lex und yacc
VAK:	03-05-H-705.51
Art der Veranstaltung:	Vorlesung
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	PD Dr. Jan Bredereke
Kategorie:	A
Umfang:	2 SWS
ECTS:	2
Termin:	Vorlesung:  Mo. 17-19 Uhr, MZH 7230
Beginn:	29.10.2007

Veranstaltungen für andere Studiengänge

Es werden keine Veranstaltungen für andere Studiengänge angeboten.

Stundenplan der AGBS

Zeit	Montag	Dienstag	Mittwoch	Donnerstag	Freitag
8-9	Statische Analyse durch abstrakte Interpretation (V) MZH 7220 Jan Peleska	Safety-Critical Systems 3 (V) MZH 7230 Jan Peleska		Betriebssysteme 1 (V) MZH 1400 Jan Peleska
9-10
10-11
11-12
12-13
13-14	Testautomatisierung 2 (V) MZH 1380 Jan Peleska		Theorie Reaktiver Systeme (V) MZH 4194 Ulrich Hannemann
14-15
15-16			Testautomatisierung 2 (Ü) MZH 7220 Christof Efkemann
16-17
17-18	Übersetzergenerierung mit lex und yacc (V) Jan Bredereke MZH 7230 Theorie Reaktiver Systeme (Ü) MZH 8090 Ulrich Hannemann	Betriebssysteme 1 (Ü) Kirsten Berkenkötter MZH 5210	Statische Analyse durch abstrakte Interpretation (Ü) Helge Löding MZH 7220	Safety-Critical Systems 3 (Ü) MZH 8090 Christof Efkemann
18-19
19-20

Coming soon

SoSe 08

• Wahrscheinlich Forschungssemester - keine Vorlesungen der AGBS!

WS 08/09

• Praktische Informatik I
• Betriebssysteme I
• Spezifikation eingebetteter Systeme
• Projekt XXX

SoSe 09

• Praktische Informatik II
• Betriebssysteme II
• Theorie Reaktiver Systeme
• Projekt XXX

WS 09/10

• Betriebssysteme I
• Testautomatisierung I
• Safetey Critical Systems I
• Projekt XXX

SoSe 10

• Betriebssysteme II
• Testautomatisierung II
• Safety Critical Systems II
• Projekt XXX

Die Vorlesung "Safety Critical Systems II" entfällt, der Stoff wird in "Safetey Critical System I und III" integriert.

Lehrveranstaltungen in vergangenen Semestern

Sommersemester 2007
Wintersemester 2006/2007
Sommersemester 2006
Wintersemester 2005/2006
Sommersemester 2005
Wintersemester 2004/2005
Sommersemester 2004
Wintersemester 2003/2004
Sommersemester 2003
Wintersemester 2002/2003
Sommersemester 2002
Wintersemester 2001/2002
Sommersemester 2001
Wintersemester 2000/2001
Sommersemester 2000
Wintersemester 1999/00
Sommersemester 1999
Wintersemester 1998/99
Sommersemester 1998
Wintersemester 1997/98
Sommersemester 1997
Wintersemester 1996/97