http://dspace.bsuedu.ru/handle/123456789/55853| Title: | О возможностях автоматизированного формирования и верификации описания и информационных процессов |
| Authors: | Куртов, Н. Н. |
| Keywords: | техника информационные системы верификация миниспецификации информационные процессы потоки данных внутренняя логика |
| Issue Date: | 2013 |
| Citation: | Куртов, Н.Н. О возможностях автоматизированного формирования и верификации описания и информационных процессов / Н. Н. Куртов ; Белгородский университет кооперации, экономики и права // Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика. - 2013. - №8(151), вып.26/1.-С. 161-166. - Библиогр.: с. 166. |
| Abstract: | На примере разработанного алгоритма составления описания внутренней логики информационных процессов анализируются возможности и ограничения автоматизированного формирования и верификации этого описания |
| URI: | http://dspace.bsu.edu.ru/handle/123456789/55853 |
| Appears in Collections: | № 8 (151), вып. 26/1 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Kurtov_O_Vozmozhnostyakh.pdf | 129.7 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.