Pedro A. Santos Neto

Model Verification of Dynamic Software Product Lines

2016

Dynamic Software Product Lines (DSPLs) extend the concept of Software Product Lines enabling adaptation at runtime according to context changes. Such dynamic behavior is typically designed using adaptation rules, context-triggered actions responsible for features activation …