Feature link propagation across variability representations with Isabelle/HOL.

Florian Kammüller Alexander Rein Mark-Oliver Reiser

Published in: PLEASE@ICSE (2010)

Keyphrases

theorem prover
natural deduction
vector representation
first order logic
inference rules
multiscale
feature vectors
feature set
theorem proving
software product line
data sets
higher order
logical framework
topological features
wave propagation
sequent calculus