Ripon, Shamim; Hossain, Sk. Jahir; Bhuiyan, Touhid
(Semantic Scholar, 2014-06)
Logical representation of feature diagram of product line and formal verification of requirements gained much interest in recent years. Several proposals have been made to model product line features. This paper presents ...