Zum Inhalt
Fakultät für Informatik

Projekte der Forschungsgruppe SEAL

Die Forschungsgruppe "Software Engineering by Algorithms and Logic" (SEAL) ist an der Grundlagenforschung des Fraunhofer ISST beteiligt. Die weiteren Forschungsgebiete sind:

Formale und logische Grundlagen der Softwaretechnik

  • Formale Modelle
    • Lambda-Kalkül
    • Kombinatorische Logik
  • Algorithmische Typentheorie
    • Intersektionstypen
  • Logikbasierte Software-Synthese
  • Theorembeweiser
    • Automatische Theorembeweiser
    • Interaktive Beweisassistenten

Prozesse

  • Prozesssprachen
  • Modellierung von Prozessen
  • Ad-hoc-Prozesse (in Zusammenarbeit mit Fraunhofer ISST)
  • Prozess-Muster
  • Prozess-Mining (mit TLTL)
  • Verteilte Systeme

Software Engineering

  • Funktionale Programmierung
    • (Co-)Algebraische Datentypen
  • Komponentenbasierte Programmierung
    • Komponentisierung
    • Automatisierte Komposition
  • Software-Architektur