Detailseite
Person
Professor Dr. Ralf Heinrich Reussner
Adresse
Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation
Software Design and Quality
Am Fasanengarten 5
76131 Karlsruhe
- Als Antragsteller
- abgeschlossene Projekte
- Aktionsplan Informatik: Verfahren und Werkzeuge zur systematischen Konstruktion komponentenbasierter Software-Architekturen mit vorhersagbaren Qualitätseigenschaften (Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik))
- Scientific Coordination of SPP 1593 (Schwerpunktprogramme)
- Serviceproject (Schwerpunktprogramme)
- Scientific Coordination of SPP 1593 (Schwerpunktprogramme)
-
- abgeschlossene Projekte
- Als Sprecher
- laufende Projekte
- SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme (Sonderforschungsbereiche)
-
- abgeschlossene Projekte
- SPP 1593: Design for Future - Managed Software Evolution (Schwerpunktprogramme)
-
- laufende Projekte
- Als beteiligter Wissenschaftler
- Als Teilprojektleiter
- laufende Projekte
- Formalisierung und Verknüpfung verschiedener Begriffe von Konsistenz (Sonderforschungsbereiche)
- B02 Gleichzeitige Bearbeitung und Transaktionalität (Sonderforschungsbereiche)
- Konsistenzgestützte inkrementelle Qualitätsanalyse von CPS (Sonderforschungsbereiche)
- Zentrale Aufgaben des CRC (Sonderforschungsbereiche)
-
- laufende Projekte
- Als Co-Sprecher
- laufende Projekte
- Nationale Forschungsdateninfrastruktur für und mit Computer Science (Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien)
-
- laufende Projekte
- Als Mitverantwortlich
