Logo des Repositoriums

P199 - Software Engineering 2012 - Workshopband

https://dl.gi.de/handle/20.500.12116/19969
Auflistung nach:

Auflistung P199 - Software Engineering 2012 - Workshopband nach Autor:in "Gerken, Stefan"

1 - 1 von 1
  • Konferenzbeitrag
    GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen
    (Software Engineering 2012. Workshopband, 2012) Werner, Patrick; Gerken, Stefan; Huhn, Michaela
    In diesem Paper wird ein Konzept und eine prototypische Implementierung von GSNM-Edit vorgestellt, einem Editor, der eine Modularisierung von GSN- Strukturen unterstützt. Modularisierung von Argumentationstrukturen in Sicherheitsnachweisen erleichtern die Wiederverwendbarkeit von Modulen in verschiedenen Goal Structures. Das vorgestellte Konzept wird anhand einer konkreten Implementierung - sowie anschließender Anwendung auf eine Argumentation evaluiert.