Arbeitsgruppe Rechnergestützte Programmentwicklung

Arbeitsgebiete

  • Programmiersprachen und formale Programmentwicklung
  • Relationen-basierte Kalküle und ihre Anwendung in der Informatik
  • Werkzeugunterstützung für Spezifikation, Entwicklung und Verifikation
  • Anwendung von Graphen in der Informatik
  •