Информационная система состоит из блоков (модулей), каждый из которых выполняет свою функцию для осуществления функциональных задач данной информационной системы. Каждый блок информационной системы должен быть проверифицирован с помощью моделей верификации вычислительного процесса. В докладе приведен пример графоаналитической и программной моделей. Описаны вычислительные процессы информационной системы.

Зиннатулин Ф.Ф. (науч. рук. Поляков В.И.) Модели вычислительных процессов информационной системы // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2023]. URL: https://kmu.itmo.ru/digests/article/9735