| Маркер записи | n 22 4500 |
| Контрольный номер | BY/FL BSU/Stat/Lesovaya/020e061d26a64fba99cb35a183f9ce72 |
| Дата корректировки | 10:18:34 30 апреля 2021 г. |
| Кодируемые данные | 210419s2021||||by |||||||||||||||||rus|| |
| Служба первич. каталог. |
Фундаментальная библиотека Белорусского государственного университета БелАР |
| Код языка каталог. | rus |
| Код языка издания |
rus rus |
| Индекс УДК | 94 |
| Индекс ББК | 32.973-018.2 |
|
070 Шарыкин, Р. Е. Роман Евгеньевич |
|
|
Применение формальных методов при проектировании системы одного окна Р. Е. Шарыкин |
|
| Дата издания оригинала | 2021 |
| Иллюстрации/ тип воспроизводства | рис. |
| Текст | |
| непосредственный | |
| Библиография | Библиогр.: с. 89-90 (8 назв.) |
| Аннотация | Предлагается подход, демонстрирующий разработку систем документооборота по принципу одного окна на раннем этапе их проектирования, основанный на применении формальных методов в части спецификации системы и метрик ее анализа, а также оценки значений метрик. |
|
Вычислительная техника Имитационное компьютерное моделирование |
|
| Ключевые слова |
математическое моделирование стохастические системы статистический анализ документооборот системы одного окна одно окно |
|
BY/FL BSU/Stat/Lesovaya/fec419406397427f92b26f190df0f11e Журнал Белорусского государственного университета. Математика. Информатика 2021 № 1. - С. 79-90 1561-834X |
|
| RU | |
| 863 | |
|
https://elib.bsu.by/handle/123456789/258441 |
|
|
https://doi.org/10.33581/2520-6508-2021-1-79-90 |
|
| Тип документа | b |
| Теоретические основы информатики |
