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, 16 (1), pp. 125-152. Springer Berlin Heidelberg, ISSN 1619-1366,
[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
Journal volume: 16
Number: 1
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
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
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
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details