Especificación lógico-dinámica e implementación informática

La tendencia de desarrollo de las herramientas de simulación informática es excluir el trabajo de los programadores a la hora de crear y modificar modelos. El uso de programadores implica el intercambio de conocimientos entre ellos y los especialistas en temas y problemas. Este intercambio es bastante laborioso. La tarea es proporcionar a los especialistas herramientas que les permitan crear especificaciones de procesos ejecutables. El libro está dedicado a la descripción y al estudio experimental del enfoque transitivo lógico-dinámico de la especificación e implementación informática de procesos. La especificación es la base de las reglas de transformación que determinan la relación de la secuencia entre el estado actual del proceso y su estado después de un cierto período de tiempo. Los ejemplos muestran las capacidades del enfoque para aplicar los procesos especificados por los modelos físicos y matemáticos de los sistemas, y los esquemas estructurales de los procesos elementales. El libro puede ser de interés para los investigadores de sistemas dinámicos, profesores y estudiantes.