Skip navigation
BelSU DSpace logo

Please use this identifier to cite or link to this item: http://dspace.bsu.edu.ru/handle/123456789/13197
Title: О возможностях автоматизированного формирования и верификации описания и информационных процессов
Authors: Куртов, Н. Н.
Keywords: технические науки
информационные системы
верификация
миниспецификации
информационные процессы
потоки данных
внутренняя логика
Issue Date: 2013
Citation: Куртов, Н.Н. О возможностях автоматизированного формирования и верификации описания и информационных процессов / Н. Н. Куртов // Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика. - 2013. - №8(151), вып.26/1.-С. 161-166. - Библиогр.: с. 166.
Series/Report no.: История. Политология. Экономика. Информатика;
Abstract: На примере разработанного алгоритма составления описания внутренней логики информационных процессов анализируются возможности и ограничения автоматизированного формирования и верификации этого описания
URI: http://dspace.bsu.edu.ru/handle/123456789/13197
Appears in Collections:Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика

Files in This Item:
File Description SizeFormat 
Kurtov_O_Vozmozhnostyakh.pdf129.7 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.