Lochau, Malte ; Bürdek, Johannes ; Hölzle, Stefan ; Schürr, Andy (2015)
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
In: Software & Systems Modeling, 16 (1)
Artikel, Bibliographie
URL / URN: 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 |
| Art des Eintrags: | Bibliographie |
| Titel: | Specification and automated validation of staged reconfiguration processes for dynamic software product lines |
| Sprache: | Englisch |
| Publikationsjahr: | 2015 |
| Verlag: | Springer Berlin Heidelberg |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Software & Systems Modeling |
| Jahrgang/Volume einer Zeitschrift: | 16 |
| (Heft-)Nummer: | 1 |
| URL / URN: | http://dx.doi.org/10.1007/s10270-015-0470-4 |
| Freie Schlagworte: | Dynamic software product lines; Staged configuration; Model-based domain engineering and validation; Model checking |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik |
| Hinterlegungsdatum: | 08 Jun 2015 12:09 |
| Letzte Änderung: | 21 Sep 2020 12:05 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum