Modellierungsmethoden der Informatik Modeling methods in computer science
2007-10-01

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



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


Material for the tutorials