2009-12-09

Models, Automations and Analyses of Software Product Lines: An Overview of Recent Work by PReCISE

by: Patrick Heymans

Abstract: In this talk, we will give an overview of our current research on Software Product lines. The topics include:

- Efficient model-checking of temporal logic properties in feature-aware transition systems.

- Step-by-step and workflow-driven product configuration.

- Separation of concerns in variability models.

- TVL: a textual approach to variability modelling.

- Recent Industrial applications.

Questions/Points to be discussed:

- OMG's request for proposal: CVL (Common Variability Language)

- possible joint case studies

- discussion about your (Uni.Lu) research topics.