Specyfikacja logiczno-dynamiczna i komputerowa implementacja

Trendem rozwojowym narz¿dzi symulacji komputerowej jest wykluczanie pracy programistów przy tworzeniu i modyfikacji modeli. Wykorzystanie programistów polega na wymianie wiedzy mi¿dzy nimi a specjalistami w dziedzinach tematycznych i problemowych. Wymiana ta jest dö¿ pracoch¿onna. Zadanie polega na dostarczeniu specjalistom narz¿dzi pozwalaj¿cych na tworzenie wykonywalnych specyfikacji procesów. Ksi¿¿ka jest pöwi¿cona opisowi i eksperymentalnemu badaniu logiczno-dynamicznego, przechodniego podej¿cia do specyfikacji i komputerowej realizacji procesów. Specyfikacja jest podstaw¿ zasad transformacji, które okre¿laj¿ stosunek sekwencji pomi¿dzy aktualnym stanem procesu a jego stanem po pewnym okresie czasu. Przyk¿ady pokazuj¿ möliwöci podej¿cia do implementacji procesów okre¿lonych przez modele fizyczne i matematyczne uk¿adów oraz schematy strukturalne procesów elementarnych. Ksi¿¿ka möe by¿ interesuj¿ca dla badaczy systemów dynamicznych, nauczycieli i studentów.