Modeling Methods in Informatics
Formalia
- Targeted audience
- Angewandte Informatik Bachelor with 2+1 hours per week
- ISE Bachelor with 2+1 hours per week
- Komedia Bachelor with 2+1 hours per week
- BWL Master with 2+1 hours per week
Dates
Lectures
Date | Time | Place |
Wednesday | 14:00 - 15:30 | LB/104 |
Tutorials
Date | Time | Place | Tutor |
Monday | 16:00 - 17:00 | LE/120 | Daniel Wohland, B.Sc. Dipl.-Inform. Thomas Beckers |
Monday | 17:00 - 18:00 | LE/120 | Daniel Wohland, B.Sc. Dipl.-Inform. Thomas Beckers |
Tuesday | 10:15 - 11:00 | LE/120 | Sebastian Schweitzer, B.Sc. Dipl.-Inform. Thomas Beckers |
Tuesday | 11:15 - 12:00 | LE/120 | Sebastian Schweitzer, B.Sc. Dipl.-Inform. Thomas Beckers |
Tuesday | 12:15 - 13:00 | LK/51 | Sebastian Schweitzer, B.Sc. Dipl.-Inform. Thomas Beckers |
Tuesday | 13:15 - 14:00 | LK/51 | Sebastian Schweitzer, B.Sc. Dipl.-Inform. Thomas Beckers |
Thursday | 10:00 - 11:00 | LF/125 | Janina Weiß Dipl.-Inform. Thomas Beckers |
Thursday | 11:00 - 12:00 | LF/125 | Janina Weiß Dipl.-Inform. Thomas Beckers |
Thursday | 14:15 - 15:00 | LE/120 | Dipl.-Inform. Thomas Beckers |
Thursday | 15:00 - 15:45 | LE/120 | Dipl.-Inform. Thomas Beckers |
Examination Dates
Exam
Date | Time | Place |
5. 8. 2014 | 14:00 - 16:00 | LE/104 |
Description
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.
Lecture material
Tools für Petrinetze
Tools für UML
Literatur
(Ein Teil der verlinkten Bücher ist nur aus dem Uni-Netz erreichbar!)
- Reisig: Petri-Netze -- Eine Einführung,
- Wimmel: Petri-Netze
- Murata: Petri Nets: Properties, Analysis and Applications
- R. Miles, K. Hamilton: Learning UML 2.0
- Harel: Statecharts: a visual formalism for complex systems
- Bernd Baumgarten: Petri-Netze. Grundlagen und Anwendungen, Spektrum, 1996
- G. Booch, J. Rumbaugh, I. Jacobson: The Unified Modeling Language User Guide, Addison Wesley, 2005.
- M. Jeckle, C. Rupp, J. Hahn, B. Zengler, S. Queins: UML 2 glasklar, Hanser Fachbuch, 2007
- Christoph Kecher: UML 2.0 - Das umfassende Handbuch. Galileo Press, 2006.
- Perdita Stevens, Rob Pooley: UML - Softwareentwicklung mit Objekten und Komponenten. Pearson, 2001.
Notizen
Petri-Netze (für PIPE)
- Erzeuger-Verbraucher-Problem
- Leser-Schreiber-Problem
Lehre-Evaluierung
Ergebnisse der Lehreevaluierung
Klausur
- "Spickzettel" für die Klausur (ist der Klausur beigefügt)