EWU Institutional Repository

Browsing B.Sc in Computer Science and Engineering by Subject "Logic Based Verification of Software"

Browsing B.Sc in Computer Science and Engineering by Subject "Logic Based Verification of Software"

Sort by: Order: Results:

  • Logic Based Verification of Software Product Line Feature Model 
    Hossain, Md. Mosarrof (East West University, 5/21/2016)
    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. However, there is a lack of precisely ...
  • Logic Based Verification of Software Product Line Feature Model 
    Bari, Mirza Faisal Md. Abdul; Akter, Morium (East West University, 12/18/2014)
    Feature diagrams are widely used to model product line variant . Formal Verification of variant requirements has gained much interest in the software product line(SPL) community . However, there is a lack of precisely ...

Search DSpace


Browse

My Account