Formal Specification of Software Product Lines: A Graph Transformation Based Approach

Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche. Formal Specification of Software Product Lines: A Graph Transformation Based Approach. JSW, 7(11):2518-2532, 2012. [doi]

Abstract

Abstract is missing.