Lehrveranstaltungen der Arbeitsgruppe Betriebssysteme und Verteilte Systeme im Sommersemester 2007

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

Titel:	Praktische Informatik 2
VAK:	03-05-G-700.02
Art der Veranstaltung:	Vorlesung mit Übungen
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Prof. Dr. Jan Peleska
Kategorie:	G
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung: Mo. 13 - 15 Uhr, NW1 H2 (W0020) Übungen: s. Homepage
Beginn:	16.04.2007

Lehrveranstaltungen im Hauptstudium

Titel:	Betriebssysteme 2
VAK:	03-05-H-702.02
Art der Veranstaltung:	Vorlesung mit Übungen
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Christof Efkemann
Kategorie:	V
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung:  Mi 13 - 15 Uhr, SFG 1040 Übung:  Mo 10 - 12 Uhr, MZH 7260
Beginn:	18.04.2007

Titel:	Safety-Critical Systems 1
VAK:	03-05-H-707.03
Art der Veranstaltung:	Vorlesung mit Übungen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Christof Efkemann
Beschreibung:	ausführlichere Informationen
Kategorie:	A
Umfang:	2+2 SWS
ECTS:	6
Termin:	Vorlesung: Mo. 8 - 10 Uhr, MZH 5210 Übung: Di. 8 - 10 Uhr, MZH 7260
Beginn:	23.04.2007

Titel:	Modellierung und Analyse diskret-kontinuierlicher Systeme
VAK:	03-05-H-706.53
Art der Veranstaltung:	Kurs
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Dr. Ulrich Hannemann
Kategorie:	A
Umfang:	2 SWS
ECTS:	3
Termin:	Mi. 13 - 15 Uhr, FZB 0240
Beginn:	18.04.2007

Titel:	ACOP-PC
VAK:	03-05-H-902.44
Art der Veranstaltung:	Projekt
Beschreibung:	ausführlichere Informationen
Lehrveranstalter:	Prof. Dr. Jan Peleska, Kirsten Berkenkötter
Kategorie:	PP/AV
Umfang:	4 SWS
ECTS:	10
Termin:	Projektplenum:  Fr. 8 - 12 Uhr, MZH 7250
Beginn:	WS 05/06

Veranstaltungen für andere Studiengänge

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

Stundenplan der AGBS

Die Tutorien der Veranstaltung PI2 sind hier aus Platzgründen nicht aufgeführt.

Zeit	Montag	Dienstag	Mittwoch	Donnerstag	Freitag
8-9	Safety Critical Systems 1 (V) MZH 5210 Jan Peleska	Safety Critical Systems 1 (Ü) MZH 7260 Christof Efkemann			Project ACOP-PC (PP) MZH 7250 Jan Peleska, Kirsten Berkenkötter
9-10
10-11	Betriebssysteme 2 (Ü) MZH 7260 Christof Efkemann
11-12
12-13
13-14	Praktische Informatik 2 (V) NW1 H2 W0200 Jan Peleska		Betriebssysteme 2 (V) SFG 1040 Jan Peleska Diskret - kontinuierliche Systeme (K) FZB 0240 Ulrich Hannemann
14-15
15-16
16-17
17-18
18-19
19-20

Coming soon

WiSe 07/08

• Betriebssysteme I
• Testautomatisierung II
• Safety Critical Systems III
• Theorie Reaktiver Systeme
• Statische Analyse durch abstrakte Interpretation
• Übersetzergenerierung mit lex und yacc

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 II" integriert.

Lehrveranstaltungen in vergangenen Semestern

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