| DC Field | Value | Language |
|---|
| dc.contributor.author | Куртов, Н. Н. | - |
| dc.date.accessioned | 2023-08-11T08:01:26Z | - |
| dc.date.available | 2023-08-11T08:01:26Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.citation | Куртов, Н.Н. О возможностях автоматизированного формирования и верификации описания и информационных процессов / Н. Н. Куртов ; Белгородский университет кооперации, экономики и права // Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика. - 2013. - №8(151), вып.26/1.-С. 161-166. - Библиогр.: с. 166. | ru |
| dc.identifier.uri | http://dspace.bsu.edu.ru/handle/123456789/55853 | - |
| dc.description.abstract | На примере разработанного алгоритма составления описания внутренней логики информационных процессов анализируются возможности и ограничения автоматизированного формирования и верификации этого описания | ru |
| dc.language.iso | ru | ru |
| dc.subject | техника | ru |
| dc.subject | информационные системы | ru |
| dc.subject | верификация | ru |
| dc.subject | миниспецификации | ru |
| dc.subject | информационные процессы | ru |
| dc.subject | потоки данных | ru |
| dc.subject | внутренняя логика | ru |
| dc.title | О возможностях автоматизированного формирования и верификации описания и информационных процессов | ru |
| dc.type | Article | ru |
| Appears in Collections: | № 8 (151), вып. 26/1
|
