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.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.identifier.isbn	978-3-88579-293-2
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/18371
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
gi.citation.endPage	174
gi.citation.publisherPlace	Bonn
gi.citation.startPage	163
gi.conference.date	27. Februar - 2. März 2012
gi.conference.location	Berlin
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1