TU Darmstadt / ULB / TUbiblio

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

Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; 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 .
[Konferenz- oder Workshop-Beitrag], (2016)

Offizielle URL: http://dx.doi.org/10.4204/EPTCS.206.3
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2016
Autor(en): Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Titel: Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation
Sprache: Englisch
Reihe: Electronic Proceedings in Theoretical Computer Science
Band: 206
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
Veranstaltungstitel: Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
Hinterlegungsdatum: 26 Jan 2017 12:59
Offizielle URL: http://dx.doi.org/10.4204/EPTCS.206.3
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen