Angewandte Informatik I

Links zur Vorlesung

UML

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

Terminologische Logiken

• Description Logics WebPage
• Inferenzmaschinen für Terminologische Logiken:
  • FaCT System http://www.cs.man.ac.uk/~horrocks/FaCT/
  • LOOM System http://www.isi.edu/isd/LOOM/LOOM-HOME.html

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