TU Darmstadt / ULB / TUbiblio

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

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

Offizielle URL: http://dx.doi.org/10.1007/s10270-015-0470-4
Typ des Eintrags: Artikel
Erschienen: 2015
Autor(en): Lochau, Malte ; Bürdek, Johannes ; Hölzle, Stefan ; Schürr, Andy
Titel: Specification and automated validation of staged reconfiguration processes for dynamic software product lines
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Software & Systems Modeling
Verlag: Springer Berlin Heidelberg
Freie Schlagworte: Dynamic software product lines; Staged configuration; Model-based domain engineering and validation; Model checking
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 08 Jun 2015 12:09
Offizielle URL: http://dx.doi.org/10.1007/s10270-015-0470-4
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen