Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Forschung und Projekte der Arbeitsgruppe SEAL

Die Arbeitsgruppe "Software Engineering by Algorithms and Logic" (SEAL) ist verantwortlich für die Grundlagenforschung des Fraunhofer ISST. Zusätzlich gibt es eine eigenständige Forschung in den folgenden Bereichen:

Formale sowie logische Grundlagen des Software Engineerings

  • Algorithmische Typtheorie und Logik
  • (CL)S
  • Coppo-Dezani-Sallé Typen (Intersektionstypen)
  • Endliche kombinatorische Logik
  • Beschränkte kombinatorische Logik
  • Lambdakalkül
  • Automatische Theorembeweiser
  • Logik-basierte Softwaresynthese
  • Verteilte Systeme
Lambda-shadowed.png

Prozesse

  • Prozesssprachen
  • Prozessmodellierung
  • Ad-hoc Prozesse (in Zusammenarbeit mit dem Fraunhofer ISST)
  • Prozessmuster
  • Process Mining (mit TLTL)
Proc-shadowed.png

Software Engineering

Arch-shadowed.png