Context adaptive systems have manifold dependencies on the environment. These dependencies imply additional complexity and impose special challenges for their development. Only a comprehensive specification and analysis allow avoiding unintended adaptations potentially causing harm especially in safety-critical applications. The thesis introduces a formal language for specifying requirements of context adaptive systems, discusses its application, and describes the use of its algebraic properties for an extensive analysis.     «

Context adaptive systems have manifold dependencies on the environment. These dependencies imply additional complexity and impose special challenges for their development. Only a comprehensive specification and analysis allow avoiding unintended adaptations potentially causing harm especially in safety-critical applications. The thesis introduces a formal language for specifying requirements of context adaptive systems, discusses its application, and describes the use of its algebraic properties...     »

Kontextadaptive Systeme besitzen vielfältige Abhängigkeiten von ihrer Umgebung. Diese Abhängigkeiten bedeuten zusätzliche Komplexität und stellen besondere Herausforderungen an die Entwicklung. Erst eine umsichtige Spezifikation und Analyse erlauben es, ungewollte Adaptionen zu vermeiden, die speziell in sicherheitskritischen Anwendungen zu Gefährdungen führen können. Die Dissertation führt eine formale Sprache zur Spezifikation von Anforderungen an adaptive Systeme ein, diskutiert deren Anwendung und beschreibt die Nutzung ihrer algebraischen Eigenschaften für eine umfassende Analyse.     «

Kontextadaptive Systeme besitzen vielfältige Abhängigkeiten von ihrer Umgebung. Diese Abhängigkeiten bedeuten zusätzliche Komplexität und stellen besondere Herausforderungen an die Entwicklung. Erst eine umsichtige Spezifikation und Analyse erlauben es, ungewollte Adaptionen zu vermeiden, die speziell in sicherheitskritischen Anwendungen zu Gefährdungen führen können. Die Dissertation führt eine formale Sprache zur Spezifikation von Anforderungen an adaptive Systeme ein, diskutiert deren Anwendu...     »