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]

Abstract

Abstract is missing.