Sie sind hier:

Bereichsnavigation

Home+
- Software Engineering by Algorithms and Logic
- Virtual Machining
- Automated Quality Assurance
- Kontakt

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

Prozesse

Prozesssprachen
Prozessmodellierung
Ad-hoc Prozesse (in Zusammenarbeit mit dem Fraunhofer ISST)
Prozessmuster
Process Mining (mit TLTL)

Software Engineering

Softwarearchitektur
Cloud Computing
- Cloud Computing Infrastructure (DFG gefördert)
- Cloud Compiler
Automatische Servicekomposition

Sprungmarken