Browsing by Subject Software Product Line, Featured Transition System, Feature Diagram, Specification, Verification, Rewriting Logic, Maude, Graph Transformation
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
8-Jun-2014 | )- Formal Specification of Software Product Lines: A Graph Transformation Based Approach | Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche |