Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation
Software Design and Quality
Adresse
Am Fasanengarten 5
76131 Karlsruhe
Deutschland
GERiT
Diese Institution in GERiT
76131 Karlsruhe
Projekte
Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
abgeschlossene Projekte
Aktionsplan Informatik: Verfahren und Werkzeuge zur systematischen Konstruktion komponentenbasierter Software-Architekturen mit vorhersagbaren Qualitätseigenschaften
(Antragsteller
Reussner, Ralf Heinrich
)
Schwerpunktprogramme
abgeschlossene Projekte
Concepts, methods and tools for architecture - and quality-centric evolution of long-living software systems
(Antragsteller
Goedicke, Michael
;
Reussner, Ralf Heinrich
)
Domänen-übergreifende Wartbarkeitsabschätzungen von Informationssystemen und Fertigungsautomatisierungssystemen
(Antragstellerinnen / Antragsteller
Reussner, Ralf Heinrich
;
Vogel-Heuser, Birgit
)
Integrierte Beobachtungs- und Modellierungstechniken zur Adaption und Evolution von Softwaresystemen
(Antragsteller
Hasselbring, Wilhelm
;
Pohl, Klaus
;
Reussner, Ralf Heinrich
)
Scientific Coordination of SPP 1593
(Antragstellerinnen / Antragsteller
Goltz, Ursula
;
Reussner, Ralf Heinrich
)
Scientific Coordination of SPP 1593
(Antragsteller
Reussner, Ralf Heinrich
)
Serviceproject
(Antragsteller
Reussner, Ralf Heinrich
)
SPP 1593: Design for Future - Managed Software Evolution
(Sprecher
Reussner, Ralf Heinrich
)
Sachbeihilfen
abgeschlossene Projekte
Kontinuierliche Leistungsbewertung evolvierender Software-Systeme im Kontext elastischer Plattformtechnologien
(Antragsteller
Reussner, Ralf Heinrich
)
Modellgetriebene Methoden und Werkzeuge zur Performanz-Vorhersage und Kapazitätsplanung komponentenbasierter Software-Systeme (Ferdinand)
(Antragsteller
Reussner, Ralf Heinrich
)
Sonderforschungsbereiche
laufende Projekte
B02 Gleichzeitige Bearbeitung und Transaktionalität
(Teilprojektleiterinnen / Teilprojektleiter
Acosta, Maribel
;
Reussner, Ralf Heinrich
)
Formalisierung und Verknüpfung verschiedener Begriffe von Konsistenz
(Teilprojektleiter
Aßmann, Uwe
;
Beckert, Bernhard
;
Reussner, Ralf Heinrich
)
Konsistenzgestützte inkrementelle Qualitätsanalyse von CPS
(Teilprojektleiter
Beckert, Bernhard
;
Reussner, Ralf Heinrich
;
Sax, Eric
)
SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme
(Sprecher
Reussner, Ralf Heinrich
)
Zentrale Aufgaben des CRC
(Teilprojektleiter
Reussner, Ralf Heinrich
)
Forschungsdaten und Software
abgeschlossene Projekte
Open Source-Infrastruktur zur Etablierung neuer Wege in der Erhebung, Speicherung und Weitergabe von Informationen in der chemischen Forschung: Entwicklung eines dezentralen elektronischen Laborjournals mit Repositorium-Anbindung
(Antragsteller
Bräse, Stefan
;
Neumair, Bernhard
;
Scholze, Frank
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 1076: Vertrauenswürdige Software Systeme - Konstruktion, Zertifizierung, Einsatz
(Sprecher
Hasselbring, Wilhelm
;
Olderog, Ernst-Rüdiger
)
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
laufende Projekte
Nationale Forschungsdateninfrastruktur für und mit Computer Science
(Sprecher
Goedicke, Michael
)