@conference { ISI:000345780700059,
	title = {Survey of Non-Functional Requirements Modeling and Verification of Software Product Lines},
	booktitle = {2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)},
	series = {International Conference on Research Challenges in Information Science},
	year = {2014},
	note = {IEEE 8th International Conference on Research Challenges in Information Science (RCIS), Marrakesh, MOROCCO, MAY 28-30, 2014},
	publisher = {IEEE; IEEE Morocco Sect; EMSI; Lab Math Informatique \& Applicat},
	organization = {IEEE; IEEE Morocco Sect; EMSI; Lab Math Informatique \& Applicat},
	abstract = {Undoubtedly, Non-Functional Requirements (NFR) such as security, performance and reliability are critical to software systems as there is a growing demand on a higher quality of software. Simultaneously, the increasing pressure to develop software in less time and at lower costs drives software industry towards the promising paradigm of Software Product Line (SPL). However, different approaches have been advanced for modeling NFR of the traditional individual products and few approaches focused on a family of products. On the other hand, as a product line contains several products, it is impracticable and not feasible to verify NFR for each possible product. Therefore, there is a major need for verification approaches specific to product lines. In this paper, we present and analyze the main NFR modeling and verification approaches of SPL.},
	isbn = {978-1-4799-2393-9},
	issn = {2151-1349},
	author = {Hammani, Fatima Zahra},
	editor = {Bajec, M and Collard, M and Deneckere, R}
}
