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

dc.contributor.author	Werner, Patrick
dc.contributor.author	Gerken, Stefan
dc.contributor.author	Huhn, Michaela
dc.contributor.editor	Jähnichen, Stefan
dc.contributor.editor	Rumpe, Bernhard
dc.contributor.editor	Schlingloff, Holger
dc.date.accessioned	2018-11-19T13:30:00Z
dc.date.available	2018-11-19T13:30:00Z
dc.date.issued	2012
dc.identifier.isbn	978-3-88579-293-2
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/18371
dc.description.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.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Software Engineering 2012. Workshopband
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-199
dc.title	GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen	de
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	163-174
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Berlin
mci.conference.date	27. Februar - 2. März 2012