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

Куртов, Н. Н.

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

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

Дата публикации в реестре: 2020-02-28T08:58:48Z

Аннотация:

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

Белгородский университет кооперации, экономики и права

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

Тип: Article