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

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.
  • Vollständige Referenz
  • BibTeX
Werner, P., Gerken, S. & Huhn, M., (2012). GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. In: Jähnichen, S., Rumpe, B. & Schlingloff, H. (Hrsg.), Software Engineering 2012. Workshopband. Bonn: Gesellschaft für Informatik e.V.. (S. 163-174).
@inproceedings{mci/Werner2012,
author = {Werner, Patrick AND Gerken, Stefan AND Huhn, Michaela},
title = {GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen},
booktitle = {Software Engineering 2012. Workshopband},
year = {2012},
editor = {Jähnichen, Stefan AND Rumpe, Bernhard AND Schlingloff, Holger} ,
pages = { 163-174 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
163.pdf930.1Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-293-2
ISSN: 1617-5468
Datum: 2012
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige