Constructing product-line safety cases from contract-based specifications.

Damir Nesic Mattias Nyberg Barbara Gallina

Published in: SAC (2019)

Keyphrases

product line
software product line
software engineering
product lines
software architecture
software development
cooperative
lessons learned
delay insensitive
case study
case based reasoning
cloud computing
life cycle
traffic accidents