Konferenzbeitrag
GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Datum
2012
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Software Engineering 2012. Workshopband
Regular Research Papers
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.