Auflistung nach Autor:in "Gerken, Stefan"
1 - 4 von 4
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragCeMoSS – Certification and model-driven development of safe and secure software(Software Engineering 2014, 2014) Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten
- KonferenzbeitragGSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen(Software Engineering 2012. Workshopband, 2012) Werner, Patrick; Gerken, Stefan; Huhn, MichaelaIn 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.
- KonferenzbeitragZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software(Software Engineering 2013, 2013) Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten
- KonferenzbeitragZertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012)(Software Engineering 2012, 2012) Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten