MLU
Vorlesung: Vorlesung Spezifikationstechniken - Details
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Vorlesung Spezifikationstechniken
Semester WS 2009/10
Aktuelle Anzahl der Teilnehmenden 0
Heimat-Einrichtung Leitung des Instituts für Informatik
beteiligte Einrichtungen Praktische Informatik (Softwareengineering)
Veranstaltungstyp Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Mittwoch, 07.10.2009 14:15 - 16:45
Voraussetzungen Keine
Studiengänge (für) Wirschaftsinformatik
Informatik
Bioinformatik
SWS 3(V)+2(Ü)
Sonstiges http://swt.informatik.uni-halle.de/lehre/46519_192587/192587_192655/index.de.php

Räume und Zeiten

Keine Raumangabe
Mittwoch: 14:15 - 16:45, wöchentlich(15x)

Studienbereiche

Kommentar/Beschreibung

- Algebraische Spezifikation
- Abstrakte Problemdefinition
- Abstrakte Zustandsmaschinen
- Temporale Logik
- Modellprüfung