Abteilung Formale Konzepte

Universität Stuttgart
Institut für Formale Methoden der Informatik
Universitätsstraße 38
D-70569 Stuttgart
 Lageplan
Stadtplan
Abteilung
Institut
Fakultät
Universität

Vorlesung: Formale Methoden

Pflichtfach für Wirtschaftsinformatiker
Formale Methoden 2V
Dozentin:Dr. N. Weicker
Vorlesung/Übung Dienstag, 14:30 Uhr--17:00, Seminarraum 0.124

Plan der Veranstaltung

Der Ablauf der Veranstaltung wird sich im wesentlich an der Vorlage von Herrn Claus vom WS 02/03 orientieren. Plan der Veranstaltung Formale Methoden vom WS 02/03

Voraussetzungen

Grundlagen aus der Informatik, speziell Einführung in die Informatik I,II

Vorlesungsinhalte

  1. Berechnungsmodelle

  2. Prozesse

  3. UML (?)

Materialien

Materialien werden als Kopien im Handapparat bereitgestellt werden.

Literatur

siehe Plan WS 02/03
Impressum
Last modified: Tue Oct 19 18:17:54 CET 2004