Modeling Variability in Software Product Line Using First Order Logic

Abdelrahman Osman Elfaki, Somnuk Phon-Amnuaisuk, Chin Kuan Ho. Modeling Variability in Software Product Line Using First Order Logic. In Roger Y. Lee, Wencai Du, Haeng-Kon Kim, Shaochun Xu, editors, Proceedings of the Seventh ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2009, Haikou, China, 2-4 December 2009. pages 227-233, IEEE Computer Society, 2009. [doi]

Authors

Abdelrahman Osman Elfaki

This author has not been identified. Look up 'Abdelrahman Osman Elfaki' in Google

Somnuk Phon-Amnuaisuk

This author has not been identified. Look up 'Somnuk Phon-Amnuaisuk' in Google

Chin Kuan Ho

This author has not been identified. Look up 'Chin Kuan Ho' in Google