Статья: ВЕРИФИКАЦИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА ИНФОРМАЦИОННОЙ СИСТЕМЫ (2022)

Читать онлайн

Предложен способ верификации вычислительного процесса информационной системы. Актуальность исследования определяется востребованностью надежных, корректно работающих информационных систем при недостаточной их верификации. Верификация вычислительного процесса ранее не применялась к информационным системам. Рассматриваются вычислительные процессы информационной системы, а также основные блоки информационной системы „Конференция“. Используемые графоаналитическая и программная модели проверяют основные точки верификации вычислительного процесса. Рассмотрено использование разработанной системы верификации вычислительного процесса для веб-ориентированной информационной системы „Конференция“

Ключевые фразы: информационная система, вычислительный процесс, верификация, ПРОГРАММНАЯ СИСТЕМА, ДАННЫЕ
Автор (ы): Поляков Владимир Иванович (Polyakov V. I.), Зиннатулин Фаиль Фидаэлевич (Zinnatulin F. F.)
Журнал: ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ. ПРИБОРОСТРОЕНИЕ

Предпросмотр статьи

Идентификаторы и классификаторы

SCI
Нанотехнология
УДК
004.896. Искусственный интеллект в промышленных системах. Интеллектуальные САПР и АСУ. Интеллектуальные роботы
Для цитирования:
ПОЛЯКОВ В. И., ЗИННАТУЛИН Ф. Ф. ВЕРИФИКАЦИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА ИНФОРМАЦИОННОЙ СИСТЕМЫ // ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ. ПРИБОРОСТРОЕНИЕ. 2022. Т. 65 № 8
Текстовый фрагмент статьи
Будьте первым, кто начнет обсуждение

Если у вас возникли вопросы или появились предложения по содержанию статьи, пожалуйста, направляйте их в рамках данной темы.