Hinweis: Aufgrund von geplanten Wartungsarbeiten werden die Web-Auftritte der TU Dortmund am 17. April 2024, zwischen 18:00 und 20:00 Uhr mehrmals für kurze Zeit nicht erreichbar sein.
Wir bitten dadurch entstandene Unannehmlichkeiten zu entschuldigen und bedanken uns für Ihr Verständnis.
Zum Navigationspfad Unterseiten von „Forschung“ Zur Navigation Zum Schnellzugriff Zum Fuß der Seite mit weiteren Services
Zum Inhalt
Logo - Arbeitsgruppe Software Engineering by Algorithms and Logic (SEAL)
Fakultät für Informatik
Auf blauem Hintergrund ist mit weißen Linien ein Gehirn gezeichnet und ein Netzwerk ist aus weißen Punkten dargestellt. © Pixabay

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
Zum Seitenanfang