Data Refinement

Celem tej książki jest kompleksowe i systematyczne wprowadzenie do ważnej i wysoce stosowanej metody udoskonalania danych oraz metod symulacyjnych stosowanych do udowodnienia ich poprawności. Autorzy koncentrują się w pierwszej części na ogólnych zasadach potrzebnych do udowodnienia poprawności uściślenia danych. Zaczynają się od wyjaśnienia podstawowych pojęć pokazujących, że dowody udoskonalenia danych sprowadzają się do udowodnienia symulacji. Druga część książki zawiera szczegółowy przegląd ważnych metod w tej dziedzinie, które są starannie analizowane i okazują się albo niekompletne z kontrprzykładami do ich zastosowania, albo zawsze mają zastosowanie, gdy utrzymuje się udoskonalenie danych. Pokazuje to udowodnienie po raz pierwszy, że wszystkie te metody można opisać i przeanalizować w kategoriach dwóch prostych pojęć: symulacji do przodu i do tyłu. Książka jest samodzielna, przechodząc z zaawansowanego poziomu licencjackiego i zabierając czytelnika do najnowocześniejszych metod udowadniania symulacji. Język: angielski