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
|
![]() |
Prozesse
|
![]() |
Software Engineering
|
![]() |