Entwicklung korrekter Systeme
Lehrveranstaltungen
Verwandte Themen:
- Diplomarbeiten & Individuelle Projekte
- Informatik-Lehrveranstaltungen im Wintersemester 2006/2007
- Stud.IP e-Learning http://elearning.uni-oldenburg.de/
Auf dieser Seite
- Sommersemester 2007
- Wintersemester 2006/2007
- Sommersemester 2006
- Wintersemester 2005/2006
- Sommersemester 2005
- Wintersemester 2004/2005
- Sommersemester 2004
- Wintersemester 2003/2004
- Sommersemester 2003
- Veranstaltungen früherer Jahre (Archiv)
1 Sommersemester 2007
- Seminar "Beyond First-Order Logic" (2Sem)
-
Samstag, 15.9.2007, 14-16 A03 2-209 A. Schäfer
2 Wintersemester 2006/2007
- Modul "Theoretische Informatik II" (3VL,1Ü)
-
Vorlesung E.-R. Olderog Dienstag 10-12 A07 0-030 (HS G) Donnerstag 10-12 A01 0-006 Übungen A. Schäfer Mittwoch 8-9 A04 2-221 Mittwoch 9-10 A04 2-221 Freitag 10-11 A04 4-414 Freitag 11-12 A04 4-414
- Modul "Realzeitsysteme" (3VL,1Ü)
-
Vorlesung E.-R. Olderog Dienstag 16-18 A4 4-411 Donnerstag 16-18
(14 täglich, gerade Wochen)A10 1-121 (HS F) Übungen A. Schäfer Donnerstag 16-18
(14 täglich, ungerade Wochen)A10 1-121 (HS F) - Praktikum "Formale Methoden in der Software-Entwicklung" (P)
-
Montags 14-18 A04 2-221 E.-R. Olderog, M. Möller - Diplomanden- und Doktorandenseminar (SE)
-
Mittwochs 10-12 A3 2-209 E.-R. Olderog
3 Sommersemester 2006
- Modul "Netze und Prozesse" (3VL,1Ü)
-
Vorlesung E.-R. Olderog Dienstag 14-16 A4 2-221 Donnerstag 14-16
(14 täglich, gerade Wochen)A4 2-221 Übungen J. Hoenicke Donnerstag 14-16
(14 täglich, ungerade Wochen)A4 2-221 - Praktikum "Realzeitsysteme" (P)
-
Mittwochs 14-18 A3 2-207 J. Hoenicke, A. Schäfer - Projektgruppe «Syspect» (P)
-
Fortsetzung - Termine nach Vereinbarung M. Möller, E.-R. Olderog, A. Schäfer Die Projektgruppe «Syspect» präsentiert ihre Ergebnisse auf ihrer eigenen Website. Insbesondere ist auch ein Download des entstandenen Programms möglich.
- Diplomanden- und Doktorandenseminar (SE)
-
Mittwochs 10-12 A3 2-209 E.-R. Olderog
4 Wintersemester 2005/2006
- Modul "Programmverifikation" (3VL,1Ü)
-
Vorlesung E.-R. Olderog Dienstag 14-16 A4 2-221 Donnerstag 14-16
(14 täglich, gerade Wochen)A4 4-411 Übungen M. Möller Donnerstag 14-16
(14 täglich, ungerade Wochen)A4 4-411 - Seminar "Model Checking" (SE)
-
Blockseminar am Ende der Vorlesungszeit A3 2-209 E.-R. Olderog - Projektgruppe «Syspect» (P)
-
Termine nach Vereinbarung M. Möller, E.-R. Olderog, A. Schäfer Die Projektgruppe «Syspect» präsentiert ihre Ergebnisse auf ihrer eigenen Website. Insbesondere ist auch ein Download des entstandenen Programms möglich.
- Diplomanden- und Doktorandenseminar (SE)
-
Donnerstag 10-12 A3 2-209 E.-R. Olderog
5 Sommersemester 2005
- Modul "Theoretische Informatik I" (3VL,1Ü)
-
Vorlesung E.-R. Olderog Mittwoch 8-10 A14 1-101 (Hörsaal 1) Freitag 8-10 A14 1-101 (Hörsaal 1) Übungen J. Hoenicke (7 Gruppen)
- Modul "Kombination von Spezifikationstechniken" (3VL,1Ü)
-
Vorlesung E.-R. Olderog Dienstag 14-16 A4 2-211 Donnerstag 14-16
(14 täglich, ungerade Wochen)A5 1-160 Übungen J. Hoenicke Donnerstag 14-16
(14 täglich, gerade Wochen)A5 1-160 - Modul "Realzeitsysteme" (3VL,1Ü)
-
Vorlesung H. Dierks Donnerstag 16-18 A3 2-209 Freitag 10-12
(14 täglich, ungerade Wochen)A4 2-221 Übungen A. Schäfer Freitag 10-12
(14 täglich, gerade Wochen, 22.04.-01.07.05)A4 2-221 - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12 A3 2-209 E.-R. Olderog
6 Wintersemester 2004/2005
- Modul "Logik-basiertes Programmieren" (2VL, 2Ü)
-
Vorlesung H. Dierks Donnerstag 14-16 A5 1-160 Übungen Montag 8-10 A5 1-160 H. Dierks Dienstag 16-18 A5 1-160 J. Hoenicke - Modul "Temporale Logik und Modelchecking " (3 VL, 1 Ü)
-
Die Veranstaltung entfällt!Wehrheim - Diplomanden- und Doktorandenseminar (SE)
-
Donnerstag 10-12, A3 2-209 Olderog
7 Sommersemester 2004
- Modul "Kommunizierende und mobile Systeme" (3VL, 1Ü)
-
Dienstag 10-12, A4 2-221
Mittwoch 8-10 (u), A4 2-221
Übungen
Mittwoch 14-15, A1 0-005Olderog
Schäfer - Modul "Verifikation hybrider Systeme" (3VL, 1Ü)
-
Freitag 10-11, A14 1-112
Donnerstag 14-16, A4 2-221
Übungen
Freitag 11-12, A14 1-112Dierks - Modul "Integration semantischer Modelle"
-
[Weitere Informationen] [Modulbeschreibung]n.V. Damm, Olderog, Hungar - Praktikum "Realzeitsysteme"
-
Montag 14-18, A3 2-209
Mittwoch 16-20, A3 2-209Olderog, Hoenicke, Schäfer - Diplomanden- und Doktorandenseminar (SE)
-
Donnerstag 10-12, A3 2-209 Olderog
8 Wintersemester 2003/2004
- Theoretische Informatik II (3VL,1Ü)
-
[Weitere Informationen] [Modulbeschreibung]Dienstag 10-12, A7 Hörsaal G
Donnerstag 10-12, A14 Hörsaal 2
erste Vorlesung: Do, 16.10.2003
Übungen
(5 Gruppen)Dierks
Schäfer
- Modul "Realzeitsysteme" (3VL, 1Ü)
-
Auch als Modul für den Schwerpunkt "Eingebettete Systeme" geeignet.Montag 9-10, A4 3-307
Dienstag 10-12, A4 2-221
Übungen
Mittwoch 14-15, A1 0-009Olderog
Schäfer - Modul "Spezifikation von Daten und Prozessen" (3 VL, 1 Ü)
-
Dienstag 14-15, A5 1-160
Mittwoch 10-12, A10 Hörsaal F
Übungen
Mittwoch 15-16, A1 0-009Olderog
Hoenicke - Modul "Formale Methoden" (3 VL, 1 Ü)
-
Dienstag 14-16, A10 Hörsaal F
Donnerstag 16-17, A10 Hörsaal F
Übungen
Donnerstag 17-18, A10 Hörsaal FWehrheim
Wehrheim - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12, A3 2-209 Olderog
9 Sommersemester 2003
- Modul "Programmverifikation I" (2VL, 2Ü)
-
[Weitere Informationen]Montag 9-10, A10 Hörsaal F
Mittwoch 10-12, A4 4-411
Übungen
Dienstag 14-15, A4 2-221Olderog
Hoenicke - Modul "Interaktives Beweisen mit KIV" (2VL, 2Ü)
-
[Weitere Informationen]Dienstag 10--12, A4 2-221
Übungen
Mittwoch 14--16, A4 2-221Olderog
Schäfer - Projektgruppe ``Kooperierende autonome Systeme'' (8P)
-
[Weitere Informationen]Zeit n.V. Dierks, Hoenicke, Olderog, Schäfer - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12, A3 2-209 Olderog