32 citations · 55 across the 11 of their papers we have counts for
11 papers
Analysis Tool for UNL-Based Knowledge Representation
Shamim Ripon, Aoyan Barua, Mohammad Salah Uddin
The fundamental issue in knowledge representation is to provide a precise definition of the knowledge that they possess in a manner that is independent of procedural considerations…
Elicitation and Modeling Non-Functional Requirements - A POS Case Study
Md. Mijanur Rahman, Shamim Ripon
Proper management of requirements is crucial to successful development software within limited time and cost. Nonfunctional requirements (NFR) are one of the key criteria to derive…
Verification of A Security Adaptive Protocol Suite Using SPIN
Shamim Ripon, Sumaya Mahbub, K. M. Intiaz-ud-Din
The advancement of mobile and wireless communication technologies in recent years introduced various adaptive protocols to adapt the need for secured communications. Security is a…
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.…
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…
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…