Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Hossain, Sk. Jahir"'
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. However, there is a lack of precisely defined formal notation for repr
Externí odkaz:
http://arxiv.org/abs/1402.5595
Publikováno v:
International Journal of Software Engineering & Applications (IJSEA), Vol.4, No.5, September 2013
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. However, there is a lack of precisely defined formal notations for repr
Externí odkaz:
http://arxiv.org/abs/1310.0152
Publikováno v:
2012 African Conference for Software Engineering & Applied Computing; 2012, p29-33, 5p
Publikováno v:
International Journal of Knowledge & Systems Science; Oct-Dec2014, Vol. 5 Issue 4, p52-76, 25p