Benutzer: Gast  Login
Originaltitel:
Specification and analysis of adaptive systems 
Übersetzter Titel:
Spezifikation und Analyse adaptiver Systeme 
Jahr:
2015 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Gutachter:
Broy, Manfred (Prof. Dr. Dr. h.c.); Reif, Wolfgang (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
formal methods, specification, analysis, proof, adaptive systems 
Übersetzte Stichworte:
formale Methoden, Spezifikation, Analyse, Beweis, adaptive Systeme 
TU-Systematik:
DAT 310d 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Mündliche Prüfung:
19.06.2015 
Dateigröße:
1420309 bytes 
Seiten:
283 
Letzte Änderung:
21.09.2015