Logic Verification of Product-Line Variant Requirements

Autor: Ripon, Shamim, Hossain, Sk. Jahir, Azad, Keya, Hassan, Mehidee

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

Contributors

Autor: Saju Adhikary, Nadia Afroz, Disha Agarwal, Yamini Agrawal, Zeeshan Ahmad, Saif Alharbi, Mohammed Anwar Ali, Fahad Alotaibi, Abdullah Alrajhi, Muhammad Ameen, Mst. Anamika Amzad, null Anjali, null Annu, Most. Waheda Rahman Ansary, Hirdayesh Anuragi, Md. Arifuzzaman, Tabinda Athar, Kousik Atta, Ananya Baidya, Aneesa Batool, Vijendra S. Baviskar, Anurag Bera, K.L. Bhutia, Cheng Chang, Shukti Rani Chowdhury, Sri Sai Subramnyam Dash, Shreenivas A. Desai, Kapil Deswal, Yengkhom Linthoingambi Devi, Rajiv Dubey, Debjani Dutta, Mateja Germ, Sait Gezgin, Fatma Gokmen Yilmaz, K. Gopalareddy, Alisha Goyal, Dinoo Gunasekera, Mehmet Hamurcu, M. Hasanuzzaman, Mst. Hasna Hena, Akbar Hossain, Huan Hu, Ashal Ilyas, Md. Rafiqul Islam, Tofazzal Islam, Sohana Jui, Snehashis Karmakar, Amit Kesarwani, Ayesha Azad Keya, Mohd. Kamran Khan, Manoj Kumar, Mukesh Kumar, Pawan Kumar, Anita Kumari, Nita Lakra, Haoyu Li, Xiaolan Li, Chengcheng Liao, Jianguo Liu, Sagar Maitra, Sadia Majeed, Hina Ahmed Malik, Riffat Naseem Malik, null Manorma, Mst. Salma Masuda, null Meenakshi, M.A. Baset Mia, Udit Nandan Mishra, Saptarshi Mondal, Subhasis Mondal, Md. Mosfeq-Ul-Hasan, Soumik Mukherjee, Renu Munjal, Zarin Mushrat, Aneta Myskova, Sudhir Navathe, Manoj D. Oak, Apurba Pal, Anamika Pandey, Himanshu Pandey, Megha Panwar, Ravindra Patil, Pravin Bhausaheb Pawar, Nitesh Kumar Poddar, Biswajit Pramanick, Sankar Pramanick, Most. Maria Haque Prodhan, Xiaokang Qian, Umar Masood Quraishi, Hanuman Ram, Vineeta Rana, Sudarshana Ranjan, Disna Ratnasekera, null Reena, Mingjian Ren, Qunli Ren, Disha Roy, Anjana Rustagi, Rahul Sadhukhan, Muhammad Saeed, Ajanta Sarker, Maksud Hasan Shah, Shreya Sharma, Aditya Pratap Singh, Sanjay Kumar Singh, Rajesh Kumar Singhal, Aarti Soni, Pooja Swami, Neveen B. Talaat, Ali Topal, Mst. Tanjina Shahanaj Turin, Suhasini Venkatesan, Miao Wang, Qian Wang, Xiaoyu Wang, Devvart Yadav, Shengwei Yang, Zige Yang, K.J. Yashavanthakumar, Hamza Yousaf, Sajad Majeed Zargar, Mingsheng Zhang, Pengfei Zhi

Publikováno v: Abiotic Stresses in Wheat ISBN: 9780323953689

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1dfadde9935310e672dff93c28f5ff86
https://doi.org/10.1016/b978-0-323-95368-9.09992-6