EWU Institutional Repository

Browsing Department of Computer Science & Engineering by Subject "Logic Based Verification of Software"

Browsing Department of Computer Science & 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