Benutzer: Gast  Login
Originaltitel:
A Probabilitistic Theory of Interactive Systems 
Übersetzter Titel:
Eine Wahrscheinlichkeitstheorie über interaktive Systeme 
Jahr:
2012 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c) 
Gutachter:
Broy, Manfred (Prof. Dr. Dr. h.c.); Klüppelberg, Claudia (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
Probability, Modeling, Interactive Systems 
Übersetzte Stichworte:
Wahrscheinlichkeit, Modellierung, Interaktive Systeme 
Schlagworte (SWD):
Systementwicklung; Wahrscheinlichkeitstheorie 
TU-Systematik:
DAT 310d; MAT 600d 
Kurzfassung:
The aim of this dissertation is to provide foundations for the specification and development of interactive systems in consideration of probabilistic effects. We develop a theory of probabilistic and interactive systems based on probability theory and the Focus theory for interactive systems. The notions of composition, specification and properties thereof like realizability are adapted to the probabilistic case. We discuss the interaction of nondeterministic and probabilistic systems as well as...    »
 
Übersetzte Kurzfassung:
Diese Dissertation schafft eine mathematische Theorie zur Spezifikation und Entwicklung interaktiver Systeme unter Berücksichtigung probabilistichen Verhaltens. Als Grundlage dient sowohl die Wahrscheinlichkeitstheorie als auch die Theorie "Focus" für interaktive Systeme. Es werden die Konzepte Komposition und Spezifikation sowie deren Eigenschaften wie Realisierbarkeit erarbeitet und analysiert. Als zentrales Thema stellt sich dabei das Zusammenspiel von Nichtdeterminismus und probabilistischem...    »
 
Mündliche Prüfung:
05.12.2012 
Dateigröße:
1312950 bytes 
Seiten:
153 
Letzte Änderung:
27.11.2013