Now showing items 1-1 of 1

  • Logic-Based Analysis of Product Line Variant Model 

    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 ...