Entwicklung korrekter Systeme
Lehrveranstaltungen
Verwandte Themen:
Auf dieser Seite
1 Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX)
Wir sind beteildigt an der Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX). Informationen zu diesem Schwerpunkt finden Sie hier.
2 Veranstaltungen der Abteilung
Hier finden Sie eine nicht vollständige Liste der Veranstaltungen, die von unserer Abteilung angeboten werden. Aktuelle Informationen zu den Veranstaltungen finden sie auch im Stud.IP. Sollten Sie Interesse an einer speziellen Veranstaltung, die wir unregelmäßig anbieten, haben, so sprechen Sie uns einfach an.
2.1 Vorlesungen
Für Bachlor-Studenten bieten wir an:- Theoretische Informatik I (von unserer Abteilung wieder im SS14)
- Theoretische Informatik II (von unserer Abteilung wieder im WS12/13)
- Programmverifikation
- Algorithmen zur Software-Verifikation
- Realzeitsysteme
- Verifikation objekt-orientierter Programme
- Kombination von Spezifikationstechniken (wird angeboten im SS12)
- Kommunizierende und mobile Systeme (wird angeboten im WS11/12)
- Netze und Prozesse
- Beweisen mit KIV
- Sichere Kommunikation (wird angeboten von S. Fröschle im WS12/13)
2.2 Seminare und Proseminare
- Automatenmodelle in der Informatik (wird angeboten im SS12)
- Logik in der Informatik (wird angeboten im WS11/12)
- IT-Sicherheit (wird angeboten im WS11/12)
- Diagramme in der Informatik
- Verifikation von Systemen mit unendlichen Zustandsräumen
- Grundlegende Entdeckungen in der Informatik
- Themen zum Turing Jahr (wird angeboten von S. Fröschle im SS12)
2.3 Praktika im Bachlor
