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 provide the framework for their integration. The thesis finishes with the formalization of various description techniques and of activities during the development of software systems using probabilistic models.     «

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...     »

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 Verhalten heraus. Die Arbeit schließt mit der Formalisierung verschiedener Beschreibungstechniken und Aktivitäten bei der Systementwicklung unter Nutzung probabilistischer Modelle.     «

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...     »