FormaliSE 2015
Measuring Behaviour Interactions between Product-Line Features
Abstract
We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift it to compute a behaviour interaction score in featured transition systems. We then develop an algorithm which can compute the degree of feature interactions in a featured transition system in an efficient manner.
Authors
Keywords
Context
- Venue
- IEEE/ACM International Conference on Formal Methods in Software Engineering
- Archive span
- 2013-2025
- Indexed papers
- 156
- Paper id
- 201413486480999007