TU Darmstadt / ULB / TUbiblio

Specification and automated validation of staged reconfiguration processes for dynamic software product lines

Lochau, Malte and Bürdek, Johannes and Hölzle, Stefan and Schürr, Andy (2015):
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
In: Software & Systems Modeling, Springer Berlin Heidelberg, pp. 1-28, ISSN 1619-1366,
[Online-Edition: http://dx.doi.org/10.1007/s10270-015-0470-4],
[Article]

Item Type: Article
Erschienen: 2015
Creators: Lochau, Malte and Bürdek, Johannes and Hölzle, Stefan and Schürr, Andy
Title: Specification and automated validation of staged reconfiguration processes for dynamic software product lines
Language: English
Journal or Publication Title: Software & Systems Modeling
Publisher: Springer Berlin Heidelberg
Uncontrolled Keywords: Dynamic software product lines; Staged configuration; Model-based domain engineering and validation; Model checking
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Date Deposited: 08 Jun 2015 12:09
Official URL: http://dx.doi.org/10.1007/s10270-015-0470-4
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item