Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen
Der Trend zur Digitalisierung führt zu neuen Anwendungsszenarien (z.B. Industrie 4.0, Internet der Dinge, intelligente Stromnetze), die laufzeitadaptive Software-Systeme erfordern, die sich durch kontinuierliche Rekonfiguration an verändernde Umgebungsbedingungen anpassen. Integrierte Software-Produ...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | de |
| Published: |
2019
|
| Online Access: | https://tuprints.ulb.tu-darmstadt.de/8875/1/2019-06-28_Weckesser_MarkusTobias.pdf Weckesser, Markus Tobias <http://tuprints.ulb.tu-darmstadt.de/view/person/Weckesser=3AMarkus_Tobias=3A=3A.html> (2019): Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.Darmstadt, Technische Universität, [Ph.D. Thesis] |
Internet
https://tuprints.ulb.tu-darmstadt.de/8875/1/2019-06-28_Weckesser_MarkusTobias.pdfWeckesser, Markus Tobias <http://tuprints.ulb.tu-darmstadt.de/view/person/Weckesser=3AMarkus_Tobias=3A=3A.html> (2019): Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.Darmstadt, Technische Universität, [Ph.D. Thesis]