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
- 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
- (Co-)Algebraische Datentypen
- Komponentenbasierte Programmierung
- Komponentisierung
- Automatisierte Komposition
- Software-Architektur