Projekte von Prof. Dr. Heike Wehrheim

Spezifikation und Modellierung von Softwaresystemen

Es wurden 6 Projekte gefunden

Kooperative Softwareverifikation

Laufzeit: 10/2019 - 09/2022

SFB 901; TP B3: Kompositionsanalyse in unsicheren Kontexten

Laufzeit: 07/2011 - 06/2023

Project image

SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten

Das Ziel des SFB 901 ist die Entwicklung von Methoden zur automatischen On-The-Fly-(OTF)-Konfiguration und Ausführung individueller IT-Dienstleistungen aus auf weltweiten Märkten verfügbaren Services. Neben der Konfiguration solcher Dienste durch spezielle OTF Provider und deren Ausführung durch spezielle OTF Compute Center umfasst dies die ...

Laufzeit: 07/2011 - 06/2023

Kontakt: Dr. Ulf-Peter Schroeder

SFB 901; TP B4: Proof-Carrying Services

Laufzeit: 01/2011 - 06/2023

SFB 614: Selbstoptimierende Systeme des Maschinenbaus

Aus der zunehmenden Durchdringung des Maschinenbaus mit Informationstechnik eröffnen sich erhebliche Erfolgspotenziale. Der Begriff Mechatronik bringt dies zum Ausdruck - gemeint ist damit das enge Zusammenwirken von Mechanik, Elektronik, Regelungstechnik und Softwaretechnik. Moderner Maschinenbau ist Mechatronik. Künftige Systeme des Maschinenbaus ...

Laufzeit: 01/2002 - 12/2013

Validation of Software Transactional Memory

gepris.dfg.de/gepris/projekt/362038437

Laufzeit: 01/1999 - 01/1999