Ziel dieses Buches ist es, eine umfassende und systematische Einführung in die wichtige und hochanwendbare Methode der Datenveredelung und die Simulationsmethoden zum Nachweis ihrer Korrektheit zu geben. Die Autoren konzentrieren sich im ersten Teil auf die allgemeinen Prinzipien, die erforderlich sind, um die Richtigkeit der Datenverfeinerung zu beweisen. Sie beginnen mit einer Erläuterung der grundlegenden Begriffe, die zeigen, dass sich Datenverfeinerungsbeweise auf den Beweis der Simulation reduzieren. Der zweite Teil des Buches enthält einen detaillierten Überblick über wichtige Methoden auf diesem Gebiet, die sorgfältig analysiert werden und sich entweder als unvollständig mit Gegenbeispielen zu ihrer Anwendung erwiesen haben oder immer dann anwendbar sind, wenn die Datenverfeinerung zutrifft. Dies zeigt sich durch den erstmaligen Nachweis, dass all diese Methoden mit zwei einfachen Begriffen beschrieben und analysiert werden können: Vorwärts- und Rückwärtssimulation. Das Buch ist in sich geschlossen und führt den Leser vom fortgeschrittenen Grundstudium bis zum Stand der Technik bei Methoden zum Nachweis von Simulationen. Sprache: Englisch