«
Publikationen
Sie verwenden einen sehr veralteten Browser und können Funktionen dieser Seite nur sehr eingeschränkt nutzen. Bitte aktualisieren Sie Ihren Browser. http://www.browser-update.org/de/update.html
Variability hiding in contracts for dependent software product lines
Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar ; Hentschel, Martin ; Krüger, StefanProceedings of the tenth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS'16 - New York: ACM, 2016 . - 2016, S. 97-104;
[Kongress: 10th International Workshop on Variability Modelling of Software-intensive Systems, VaMoS'16, Salvador, Brazil, January 27 - 29, 2016]
Universitätsplatz 2
39106 Magdeburg
Tel.:+49 391 6752994
Fax:+49 391 6712020
Universitätsplatz 2
39106 Magdeburg
Tel.:+49 391 6751899
Fax:+49 391 6712020
Eine Herausforderung in der Softwaretechnik ist die Korrektheit von Software sicherzustellen. Die Verifikation von Software ist zunehmend von Bedeutung, da Software immer mehr in eingebetteten Systemen eingesetzt wird. Beispielsweise können Fehlfunktionen in Fahrzeugen oder Produktionsanalagen katastrophale Auswirkungen haben. Seit etwa 60 Jahren werden Methoden zur Softwareverifikation entwickelt, jedoch betrachten diese meist nur ein Softwaresystem. Doch oft gibt es von einer Software mehrere Varianten, die auf bestimmte Anforderungen maßgeschneidert sind (z.B. verschiedene Modelle eines Fahrzeugs). Die Varianten einer Software werden auch als Softwareproduktlinie bezeichnet. Ziel meiner Doktorarbeit ist die Entwicklung von Methoden zur effizienten Verifikation von Softwareproduktlinien. In mehreren Fallstudien konnte bereits gezeigt werden, dass eine effiziente Spezifikation und Verifikation von Softwareproduktlinien möglich ist.