http://dspace.bsu.edu.ru/handle/123456789/55853| Название: | О возможностях автоматизированного формирования и верификации описания и информационных процессов |
| Авторы: | Куртов, Н. Н. |
| Ключевые слова: | техника информационные системы верификация миниспецификации информационные процессы потоки данных внутренняя логика |
| Дата публикации: | 2013 |
| Библиографическое описание: | Куртов, Н.Н. О возможностях автоматизированного формирования и верификации описания и информационных процессов / Н. Н. Куртов ; Белгородский университет кооперации, экономики и права // Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика. - 2013. - №8(151), вып.26/1.-С. 161-166. - Библиогр.: с. 166. |
| Краткий осмотр (реферат): | На примере разработанного алгоритма составления описания внутренней логики информационных процессов анализируются возможности и ограничения автоматизированного формирования и верификации этого описания |
| URI (Унифицированный идентификатор ресурса): | http://dspace.bsu.edu.ru/handle/123456789/55853 |
| Располагается в коллекциях: | № 8 (151), вып. 26/1 |
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| Kurtov_O_Vozmozhnostyakh.pdf | 129.7 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.