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 2014 · cs.SEShow all
2 papers · 2 filters
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…