Specifiche logico-dinamiche e implementazione informatica

La tendenza di sviluppo degli strumenti di simulazione al computer è quella di escludere il lavoro dei programmatori nella creazione e nella modifica dei modelli. L'uso dei programmatori comporta lo scambio di conoscenze tra questi e gli specialisti delle aree tematiche e problematiche. Questo scambio è piuttosto laborioso. Il compito è quello di fornire agli specialisti strumenti che consentano loro di creare specifiche di processo eseguibili. Il libro è dedicato alla descrizione e allo studio sperimentale dell'approccio transitivo logico-dinamico alla specifica e all'implementazione informatica dei processi. La specifica è la base delle regole di trasformazione che determinano il rapporto della sequenza tra lo stato attuale del processo e il suo stato dopo un certo periodo di tempo. Gli esempi mostrano le capacità dell'approccio per l'implementazione dei processi specificati da modelli fisici e matematici di sistemi e schemi strutturali di processi elementari. Il libro può interessare i ricercatori di sistemi dinamici, gli insegnanti e gli studenti.