2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2014★ 2 cited
Logic Verification of Product-Line Variant Requirements
Shamim Ripon, Sk. Jahir Hossain, Keya Azad +1
Formal verification of variant requirements has gained much interest in the software product line (SPL) community. Feature diagrams are widely used to model product line variants.…
cs.SE2013★ 2 cited
Managing and Analysing Software Product Line Requirements
Shamim Ripon, Sk. Jahir Hossain, Touhid Bhuiyan
Modelling software product line (SPL) features plays a crucial role to a successful development of SPL. Feature diagram is one of the widely used notations to model SPL variants. H…