3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SE2010★ 3 cited
Modelling Variability for System Families
Shamim Hasnat Ripon, Kamrul Hasan Talukder, Khademul Islam Molla
In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variabil…
cs.LO2010
Deriving Relationship Between Semantic Models - An Approach for cCSP
Shamim H. Ripon, Michael Butler
Formal semantics offers a complete and rigorous definition of a language. It is important to define different semantic models for a language and different models serve different pu…
cs.LO2010★ 1 cited
Formalizing cCSP Synchronous Semantics in PVS
Shamim H. Ripon, Michael Butler
Compensating CSP (cCSP) is a language defined to model long running business transactions within the framework of standard CSP process algebra. In earlier work, we have defined bot…