Modeling methods in computer science
Teaching personnel
- Lecturer
- Tutor(s)
- Corrector(s)
Formalia
- Targeted audience
- DAI Grundstudium with 3+1 hours per week and 8 credit points
- Angewandte Informatik Bachelor with 2+1 hours per week and 4 credit points
- Lehramt Informatik Hauptstudium with 3+1 hours per week
- Nebenfach Informatik Hauptstudium with 3+1 hours per week
- Kommedia Master with 3+1 hours per week
- ISE Bachelor with 3+1 hours per week
Dates
Lectures
Date | Time | Place |
Wednesday | 14:00 - 16:30 | LB/131 |
Tutorials
Date | Time | Place | Tutor |
Wednesday | 17:00 - 18:00 | LB/131 | Dr. rer. nat. Ingo Frommholz |
Thursday | 10:00 - 11:00 | LD/106 | Dr. rer. nat. Ingo Frommholz |
Thursday | 11:00 - 12:00 | LD/106 | Dr. rer. nat. Ingo Frommholz |
Thursday | 12:00 - 13:00 | LE/120 | Dr. rer. nat. Ingo Frommholz |
Thursday | 13:00 - 14:00 | LE/120 | Dr. rer. nat. Ingo Frommholz |
Description
Lecture material
- Uwe Kastens, Hans Kleine Büning: Modellierung. Hanser, 2005.
- Broy: Informatik 1, Springer 1998
- Dijkstra: A Discipline of Programming
- Uwe Schöning: Logik für Informatiker. Spektrum-Verlag, 2000
- Hitz / Kappel: UML @ Work. dpunkt, 1999
- Heide Balzert: UML kompakt. Spektrum-Verlag, 2001
- Bernd Oestereich: Objektorientierte Softwareentwicklung [5. Auflage] Oldenbourg, München 2001
- Heide Balzert: Lehrbuch der Objektmodellierung. Analyse und Entwurf. Spektrum-Verlag, 1999
- Peter Forbrig: Einführung in die objektorientierte Modellierung mit UML (Online-Tutorial)
- Reiner Dumke: UML-Tutorial (Online)
- B. Baumgarten: Petri-Netze. BI-Wissenschaftsverlag Mannheim usw., 1990
- W. Reisig: Petrinetze. Eine Einführung. Springer-Verlag, Berlin usw., 2. Auflage 1986
- John Nolt, Dennis Rohatyn, Achille Varzi: Logic (2nd ed.). Schaum. 1998
- Michael Huth and Mark Ryan: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Second Edition, 2004.
- J. Kelly, The Essence of Logic, Prentice-Hall, 1997.
- Tom Pender: UML Bible. Wiley, Indianapolis. 2003
- Jim Stafford, Michele Moore:Introduction to UML (online slides).
- Randy Miller: Practical UML: A Hands-On Introduction for Developers (short online tutorial).
- Wolfgang Reisig, Grzegorz Rozenberg: Lectures on Petri Nets, Vol.1 : Basic Models. Springer, Berlin. 1998
Material for the tutorials
- Slides from the exercise at 24./25.10.2007 (PDF)
- Notes from the exercise at 07.11.2007 (PDF)
- Notes from the excerise at 14.11.2007 (PDF)
- Notes from the exercise at 21.11.2007 (Part 1 Part 2)
- Notes from the exercise at 28.11.2007 (Part 1 Part 2)
- Notes from the excerise at 16.01.2008 (PDF)
- Vocabulary list
- UML tools:
- Tools for Petri nets
Gliederung der Vorlesung
- Einführung - Grundbegriffe
- Der Modellbegriff
- Repräsentationssysteme
- Repr. und Interpretation
- Objektorientierte Spezifikation
- Objektorientierte Analyse
- Die Unified Modelling Language (UML)
- Klassendiagramme
- Anwendungsfalldiagramme
- Sequenzdiagramme und Kollaborationsdiagramme
- Zustandsübergangsdiagramme
- Aktivitätsdiagramme
- Komponentendiagramme
- UML-Metamodell
- Petri-Netze
- Netzgraphen (Struktur)
- Dynamik von Netzen (S/T-Systeme)
- Grundbegriffe und Grundsituationen
- Invarianten
- Weitere Netztypen
- Logikkalküle (nicht relevant für Bachelor AI)
- Aussagenlogik
- Normalformen
- Hornformeln
- Aussagenlogische Resolution
- Prolog
- Resolution für Hornformeln und Prolog
- Syntax und Semantik der Prädikatenlogik
- Normalformdarstellung
- Grundresolution
- Prädikatenlogische Resolution
- XML
- Zentrale Konzepte
- XML-Anwendungen
- Wohlgeformte und valide Dokumente
- XML-Parser
- DTD
- XSL
- XML Schema
Skript
- Einführung
- Logikkalküle
- UML-Diagramme ppt pdf (Folien von Prof. Volker Gruhn, Univ. Leipzig)
- Petri-Netze
- XML
Exercises
- Übungsblatt 1
- Übungsblatt 2 (English version)
- Übungsblatt 3 (English version)
- Übungsblatt 4 (English version)
- Übungsblatt 5 (English version)
- Übungsblatt 6 (English version)
- Übungsblatt 7 (English version)
- Übungsblatt 8
- Übungsblatt 9 (English version)
- Übungsblatt 10 (English version)
- Übungsblatt 11 (English version)
- Übungsblatt 12 (English version)
- Übungsblatt 13 (English version)
- Übungsblatt 14