Eintrag im Vorlesungsverzeichnis

Spezifikation vernetzter Systeme (Vorlesung/Übung)


Termine und Ort
Do, 11:45 - 13:15
Beginn: 27.04.2006
11 Termine

Dozent
Prof. Dr.-Ing. Reinhard Gotzhein

Weitere Informationen
Anzahl der SWS: 2 Std./1 Std.
Unterrichtssprache: deutsch
WWW: http://vs.informatik.uni-kl.de/lehre/SvS06/ Lehrveranstaltungsnummer: 89-4102
Leistungspunkte: 4 ECTS

Inhalt
Spezifikation von Safety- und Liveness-Eigenschaften vernetzter Systeme mit temporaler Logik; Realzeiteigenschaften; Eigenschaften strukturierter Systeme; Einführung in die Semantik von SDL

Voraussetzungen
Diplomstudiengänge:
Vordiplom Informatik bzw. Angewandte Informatik
Kernveranstaltung "Systemsoftware (Hauptstudium)"

Bachelor-/Masterstudiengang:
Software-Entwicklung 3; Logik; Mathematik

Sonstiges
Vertiefungs-/Anwendungsveranstaltung des Lehrgebiets "Systemsoftware"




 Superordinated page: Spezifikation vernetzter Systeme (SoSe 2006)
Vorlesung Hauptstudium 89-4102: 2+1 Std.

 Feedback
Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

 Deutsch
This page in german. Diese Seite auf deutsch.