Auf unserer Webseite verwenden wir Cookies, die unter „Cookie-Einstellungen anpassen“ näher beschrieben werden. Notwendige Cookies werden für grundlegende Funktionen der Webseite benötigt, um eine optimale Nutzung zu ermöglichen. Dadurch ist gewährleistet, dass die Webseite einwandfrei funktioniert. Darüber hinaus können Sie Cookies für Statistikzwecke zulassen. Diese ermöglichen es uns, die Webseite stetig zu verbessern und Ihr Nutzererlebnis zu optimieren. Ihre Einwilligung zur Nutzung der Statistik-Cookies ist freiwillig und kann in der Datenschutzerklärung dieser Webseite unter „Cookie-Einstellungen“ jederzeit widerrufen werden.
Institut für Softwaretechnik und Programmiersprachen (ISP)
Einrichtung
Abschnittsübersicht
Beschreibung
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
Aktivitäten
- Forschung
Übergeordnete Institution
Ausgeführte Projekte
Kontakt
Institut für Softwaretechnik und Programmiersprachen
(ISP)
Maria-Goeppert-Str. 3
23562 Lübeck
Schleswig-Holstein
Deutschland
Telefon: +49 451 3101-6500
E-Mail: office(@)isp.uni-luebeck.de