TU Darmstadt / ULB / TUbiblio

Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation

Deckwerth, Frederik and Kulcsar, Geza and Lochau, Malte and Varró, Gergely and Schürr, Andy :
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.206.3]
In: Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering. In: Electronic Proceedings in Theoretical Computer Science , 206 .
[Conference or Workshop Item] , (2016)

Official URL: http://dx.doi.org/10.4204/EPTCS.206.3
Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Deckwerth, Frederik and Kulcsar, Geza and Lochau, Malte and Varró, Gergely and Schürr, Andy
Title: Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation
Language: English
Series Name: Electronic Proceedings in Theoretical Computer Science
Volume: 206
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
18 Department of Electrical Engineering and Information Technology
Event Title: Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
Date Deposited: 26 Jan 2017 12:59
Official URL: http://dx.doi.org/10.4204/EPTCS.206.3
Export:

Optionen (nur für Redakteure)

View Item View Item