Modellierung Modeling Methods in Informatics
2010-10-01

Lehrpersonen


Dozent(in)
Übungsleiter(innen)
Korrekteur(e)

Formalia


Zielgruppe
  • Angewandte Informatik Bachelor mit 2+1 Wochenstunden
  • ISE Bachelor mit 2+1 Wochenstunden
  • Komedia Bachelor mit 2+1 Wochenstunden

Prüfungstermine


Klausur

Tag

Zeit

Ort

Studiengang

26. 07. 201113:30 - 15:30LB/104
alle Studiengänge
 

Termine


Vorlesung

Tag

Zeit

Ort

Mittwoch12:00 - 13:30LB/107

Übungen

Tag

Zeit

Ort

Betreuer

Montag16:00 - 17:00LC/137 Dipl.-Inform. Thomas Beckers Heiko Strathmann
Montag17:00 - 18:00LC/137 Dipl.-Inform. Thomas Beckers Heiko Strathmann
Mittwoch10:00 - 11:00LC/137 Dipl.-Inform. Andrea Ernst-Gerlach Sebastian Schweitzer, B.Sc.
Mittwoch11:00 - 12:00LC/137 Dipl.-Inform. Andrea Ernst-Gerlach Sebastian Schweitzer, B.Sc.
Donnerstag10:00 - 11:00LF/125 Dipl.-Inform. Andrea Ernst-Gerlach
Donnerstag11:00 - 12:00LF/125 Dipl.-Inform. Andrea Ernst-Gerlach
Donnerstag14:00 - 15:00LF/125 Dipl.-Inform. Thomas Beckers
Donnerstag15:00 - 16:00LF/125 Dipl.-Inform. Thomas Beckers

Beschreibung


Die Fähigkeit zur Abstraktion und Bildung von Modellen ist eine wesentliche Grundkompetenz bei der Entwicklung von Software und anderen komplexen Systemen. Diese Veranstaltung behandelt die Aspekte der informatischen Modellierung von intuitiven Methoden bis hin zu formalen Techniken. Dabei wird insbesondere auf Petri-Netze und auf die UML (Unified Modeling Language) eingegangen.

Folien


Notizen


Petri-Netze (für PIPE)

Übungen


Übungspunkteabfrage

Übungsabgabe

Begleitmaterial


Tools für Petrinetze

Tools für UML