Arrow Research search
Back to FormaliSE

FormaliSE 2015

Measuring Behaviour Interactions between Product-Line Features

Conference Paper Exploratory Applications Formal Methods ยท Logic in Computer Science

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

  • Computational modeling
  • Online banking
  • Software systems
  • Feature extraction
  • Reactive power
  • Software measurement
  • Transit System
  • Production Line
  • Target State
  • Number Of Behaviors
  • Pair Of States

Context

Venue
IEEE/ACM International Conference on Formal Methods in Software Engineering
Archive span
2013-2025
Indexed papers
156
Paper id
201413486480999007
v2026.09.13