Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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 )

© 2024 DFG Kontakt / Impressum / Datenschutz