Werner, PatrickGerken, StefanHuhn, MichaelaJähnichen, StefanRumpe, BernhardSchlingloff, Holger2018-11-192018-11-192012978-3-88579-293-2https://dl.gi.de/handle/20.500.12116/18371In 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.deText/Conference Paper1617-5468