|  |  | | Modeling methods in computer science - Lecture,
Winter 2007/2008
|  |
Teaching personnel- Lecturer
- Tutor(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
DatesLectures| Date | Time | Place |
|---|
| Wednesday | 14:00 -
16:30 | LB/131 |
| | Tutorials |
Description
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
Mitschriften
Exam
Provisional results
Exercises
You can check the status of your bonuspoints online:
Bonuspoint check
Contact: mod_ws07-anmeldung@is.informatik.uni-duisburg.de
Exercises
Additional 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
| | |
| | |
DEUTSCH