Institut für Softwaretechnik und Programmiersprachen

Organisationsprofil

Über uns

The ISP focuses on rigorous engineering of hard- and software systems with emphasis on software quality. One of our main interests lies in model-based development with formal verification techniques, in particular

  • Model Checking,
  • Runtime Verification, and
  • Testing.

A main application area concerns energy informatics, especially e-mobility, for which we develop routing- and further optimization algorithms and solutions, for example

  • Green Navigation
  • Fleet Optimization
  • Android-based Car-PC

Fingerprint

Ergründen Sie die Forschungsthemen, in denen Institut für Softwaretechnik und Programmiersprachen aktiv ist. Diese Themenbezeichnungen stammen aus den Arbeiten der Mitglieder dieser Organisation. Zusammen bilden sie einen einzigartigen Fingerprint.

Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre

Internationale Kooperationspartner der letzten fünf Jahre auf einen Blick - die Auswahl eines Punktes zeigt inhaltliche Details zur wissenschaftlichen Zusammenarbeit.