Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Software Engineering 2012. Workshopband P-199, 163-174 (2012).

Gesellschaft für Informatik, Bonn
2012


Copyright © Gesellschaft für Informatik, Bonn

Contents

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

Patrick Werner , Stefan Gerken and Michaela Huhn

Abstract


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.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-293-2


Last changed 04.10.2013 18:38:03