Sciweavers

VAMOS
2016
Springer
8 years 16 days ago
Variability Hiding in Contracts for Dependent Software Product Lines
Software product lines are used to efficiently develop and verify similar software products. While they focus on reuse of artifacts between products, a product line may also be re...
Thomas Thüm, Tim Winkelmann, Reimar Schrö...
VAMOS
2016
Springer
8 years 16 days ago
Variability Modeling of Cryptographic Components: Clafer Experience Report
Software systems need to use cryptography to protect any sensitive data they collect. However, there are various classes of cryptographic components (e.g., ciphers, digests, etc.)...
Sarah Nadi, Stefan Krüger