О возможностях автоматизированного формирования и верификации описания и информационных процессов

Куртов, Н. Н.

О возможностях автоматизированного формирования и верификации описания и информационных процессов

Дата публикации: 2013

Дата публикации в реестре: 2023-09-26T10:46:42Z

Аннотация:

На примере разработанного алгоритма составления описания внутренней логики информационных процессов анализируются возможности и ограничения автоматизированного формирования и верификации этого описания

Ключевые слова:
техника, информационные системы, верификация, миниспецификации, информационные процессы, потоки данных, внутренняя логика

Тип: Article