3 citations · 3 across the 2 of their papers we have counts for
2 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.SE2010
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Kamrul Hasan Talukder
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards an…