SQ: Software Qualität
Vorhergehende Gruppe
Aufgabe
Ziel der SQ-Forschungsgruppe ist die Konzeption, das Design und die Entwicklung von Engineering-Methoden und -Werkzeugen zur Verbesserung der Produkt-/Prozessqualität und zur Innovation von Systemen mit spezifischen IT-Anforderungen. Unsere Forschung zielt auch darauf ab, Systeme (z.B. cyber-physikalische Systeme) umzugestalten, Schwachstellen zu identifizieren und zu beseitigen, um deren Sicherheit und Gesamtqualität zu erhöhen.
Wir sind spezialisiert auf:
- Entwicklung von Entscheidungshilfen und Sammlung, Analyse und Visualisierung von (großen) Daten aus Softwarearchiven (Mining Software Repository) zur Unterstützung von Entwicklern und Projektmanagern bei der Entwicklung und Wartung von Softwareprodukten, der Verbesserung von Entwicklungsprozessen und der allgemeinen Wartung von Systemen.
- Überwachung und Verifikation von Systemen während ihres Echtzeitbetriebs sowie Entwicklung und Einsatz von Softwaretechnologien für solche Aktivitäten
Relevanz
Die Gruppe und ihre Aktivitäten sind relevant für:
- Aus Forschungssicht zielt die Forschung der Gruppe darauf ab, neue Modelle, Methoden und Softwaretechnologien zur Innovation von Softwareprodukten/-prozessen und IT-Systemen zu konzipieren, zu entwerfen und zu entwickeln.
- Aus pädagogischer Sicht betrifft der Kompetenzbereich Programmiersprachen und Werkzeuge für die Softwareentwicklung, Methoden und Verfahren zur Softwareprozessverbesserung und Softwareverifikation, Systemanalyse und Bergbau-Softwaredaten.
- Aus Sicht des Technologietransfers- bietet die Forschung der Gruppe Praktikern neue Grenzen, Technologien und bewährte Verfahren für die Softwareentwicklung und Prozessverbesserung (wie DevOps), die den tatsächlichen Bedürfnissen von IT-Unternehmen gerecht werden können.
Themen
- Empirische und experimentelle Softwareentwicklung
- Entwicklung datengesteuerter Software
- Kontinuierliche schlanke Prozessinnovation
Schlüsseltechnologien
- Technologien für Softwareentwicklung und -wartung (z.B. Programmiersprachen und Entwicklungsplattformen)
- Technologien zur Software- und Systemvalidierung und -verifikation (z.B. Technologien zur Überwachung, Simulation und Verifikation von Mikrodiensten)
- Methoden, Praktiken und Werkzeuge zur Prozessinnovation (z.B. Lean Development)
- Technologien der Software- und Systemanalyse (z.B. Wissenschaftliche Software)
Schlüsseltechnologien
- Technologien für Softwareentwicklung und -wartung (z.B. Programmiersprachen und Entwicklungsplattformen)
- Technologien zur Software- und Systemvalidierung und -verifikation (z.B. Technologien zur Überwachung, Simulation und Verifikation von Mikrodiensten)
- Methoden, Praktiken und Werkzeuge zur Prozessinnovation (z.B. Lean Development)
- Technologien der Software- und Systemanalyse (z.B. Wissenschaftliche Software)
Anwendungen
- Software- und Systemanalyse
- Software-Prozessverbesserung
- Testen und Verifizieren von Software und Systemen
- Produktivitätswerkzeuge für Softwareentwickler
- Software-Visualisierung
- Überwachung und Wartung von Cyber-Physikalischen Systemen
Kontakt
, 
Webseite)Barbara Russo ist Professorin für Informatik an der Freien Universität Bozen und Prodekanin für Forschung. Sie hat an der Universität Trient in reiner Mathematik promoviert. Sie war Gastforscherin am Max-Planck-Institut für Mathematik in Bonn und an der University of Liverpool. Sie hat 150 Arbeiten in reiner Mathematik und Informatik mit mehr als 2100 Zitaten veröffentlicht. Sie ist Gutachterin für führende Fachzeitschriften und Konferenzen im Bereich Software und Systemtechnik. Ihre aktuelle Forschung konzentriert sich auf künstliche Intelligenz für die Erstellung, das Design und die Entwicklung innovativer Softwaresysteme. Finden Sie auf ihrer Webseite mehr über sie heraus.
Wir haben ein Diagramm erstellt, die häufige Schlagwörter aus Artikeln die Barbara Russo verfasst hat, darstellt. Dies ist oft nützlich um zu sehen womit sich der/die jeweilige Forscher/Forscherin beschäftigt: Hier klicken.
