Angewandte Informatik I

Links zur Vorlesung

UML

• www.uml.org
• OTW Java-basiertes UML Modeling Tool - http://www.otw.de/

Terminologische Logiken

• Description Logics WebPage
• aktuelle Liste von Inferenzmaschinen für Terminologische Logiken

ER-Modellierung & DB-Theorie

• Relationale DB Systeme:
  • MySQL
  • IBM DB2 UDB
  • Oracle Database 10g

Petrinetze

• RENEW: Petrinetzsimulator & Editor
• Petrinetzsimulator
• Interactive Tutorials on Petri Nets
• Petri Nets World