Sciweavers

Share
2 search results - page 1 / 1
» vamos 2016
Sort
View
VAMOS
2016
Springer
4 years 3 months 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
VAMOS
2016
Springer
4 years 3 months 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ö...
books