Logo des Repositoriums
 
Konferenzbeitrag

GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2012

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

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.

Beschreibung

Werner, Patrick; Gerken, Stefan; Huhn, Michaela (2012): GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. Software Engineering 2012. Workshopband. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-293-2. pp. 163-174. Regular Research Papers. Berlin. 27. Februar - 2. März 2012

Schlagwörter

Zitierform

DOI

Tags