148 citations
- BRAC UniversityBD3 papers
- Purdue University West LafayetteUS3 papers
- University of DhakaBD3 papers
- Daffodil International UniversityBD2 papers
- Ahsanullah University of Science and TechnologyBD1 paper
- Bangladesh University of Engineering and TechnologyBD1 paper
- City UniversityBD1 paper
- Government of West BengalIN1 paper
- Jadavpur UniversityIN1 paper
- Jagannath UniversityIN1 paper
- Marquette UniversityUS1 paper
- Milwaukee School of EngineeringUS1 paper
Showing cs.SEShow all
3 papers · 1 filter
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.SE2014★ 4 cited
Web Service Composition - BPEL vs cCSP Process Algebra
Shamim Ripon, Mohammad Salah Uddin, Aoyan Barua
Web services technology provides a platform on which we can develop distributed services. The interoperability among these services is achieved by various standard protocols. In re…
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…