 | Modellierungsmethoden der Informatik - Vorlesung,
Wintersemester 2007/2008
|  |
NeuigkeitenDiese Neuigkeiten gibt es auch als
RSS-Newsfeed: http://www.is.inf.uni-due.de/news.rss |
Modellierung: Klausurtermin
| |
Die Modellierungsklausur findet am Dienstag, 29.07.2008, um 14:00 Uhr in MD 162/MC 122 statt. Die Angaben sind ohne Gewähr!
|
Lehrpersonen- Dozent(in)
- Übungsleiter(innen)
Formalia- Zielgruppe
- DAI Grundstudium mit 3+1 Wochenstunden und 8 Kreditpunkten
- Angewandte Informatik Bachelor mit 2+1 Wochenstunden und 4 Kreditpunkten
- Lehramt Informatik Hauptstudium mit 3+1 Wochenstunden
- Nebenfach Informatik Hauptstudium mit 3+1 Wochenstunden
- Kommedia Master mit 3+1 Wochenstunden
- ISE Bachelor mit 3+1 Wochenstunden
TermineVorlesung| Tag | Zeit | Ort |
|---|
| Mittwoch | 14:00 -
16:30 | LB/131 |
| | Übungen |
Beschreibung
Modellbildung in der Informatik zielt auf die
Darstellung der unter dem Gesichtspunkt einer gegebenen Aufgabenstellung
wesentlichen Strukturen. In der Lehrveranstaltung
Modellierung werden verschiedene Repräsentationsformalismen
behandelt, die in vielen Bereichen der praktischen Informatik zum
Standardrepertoire gehören und im Hauptstudium daher meist
vorausgesetzt bzw. nur kurz eingeführt werden:
- Logikkalküle werden
fast überall benötigt, insbesondere aber bei Informationssystemen, der
Softwaretechnik und der Künstlichen Intelligenz.
- UML ist Quasi-Standard beim Entwurf von Software-Systemen,
Teile davon werden auch beim Entwurf von Datenbanken verwendet.
- Petri-Netze zur Modellierung des
dynamischen Verhaltens von Software-Systemen kommen sowohl in der
Softwaretechnik als auch bei Betriebssystemen zum Einsatz.
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
Klausur
Vorläufige Klausurergebnisse
Hinweise zu den Übungen
Den Stand eurer Bonuspunkte könnt ihr selber online
überprüfen:
Bonuspunkte-Check
Kontakt bei Fragen: mod_ws07-anmeldung@is.inf.uni-due.de
Übungsaufgaben
Begleitmaterial
- 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 zu den Übungen
|
ENGLISH