Перша державна система
УДК 002
УДК 004.4, 004.6, 004.9
Автор: Максим Сохацький (1980)
Анотація
Формальна модель та програмна архітектура функціонального верифікованого мовного забезпечення для побудови інфраструктурних процесінгових систем орієнтованих на державну модель управління: процесами для проведення зовнішнього аудиту, різними видами розподілених сховищ, телекомунікаційними та реєстровими фреймворками, інтернет-утворюючими сервісами зокрема та для автоматизації захищених автономних офісів і державних підприємств України у цілому.
Система управління державними підприємствами ERP/1 визначає формальну специфікацію та її імплементацію для сучасних оптимізованих підприємств які вимагають сучасних засобів контролю операцій та цілістності даних. Телекомунікаційна платформа Erlang/OTP від Ericsson успішно застосовується в індустрії мобільними операторами понад 30 років, а її віртуальна машина досі вважається однією з найкращих в галузі. Системи ERP на її базі також уже не один рік використовується у банківській сфері, процесінгу транзакцій, розподілених системах повідомлень, в IoT секторі. У цій книзі ви знайдете перелік модулів системи та основні сутності схеми.
Офіційне видання
978-617-8027-23-0 М.Сохацький. Перша державна система. 2022.
Про автора
Максим Сохацький, доктор філософії КПІ (ЄДРПОУ 02070921), буддистський піп-капелан лінії передачі Лонгчен Нінгтік тибетського буддизму (ЄДРПОУ 38778275). Провідний інженер-програміст ДП «ІНФОТЕХ» (ЄДРПОУ 34239034) у підпорядкуванні МВС України (ЄДРПОУ 00032684). Автор «Депозитів ПриватБанк» та «МІА: Документообіг» побудованих на авторських творах ERP.UNO та N2O.DEV.
Open Source Документація
🌐 М.Сохацький. Перша державна система ERP.UNO. 2019—2022.
🌐 М.Сохацький. WebSocket та MQTT фреймворк N2O.DEV. 2010—2022.
Продукти дослідження
🌐 М.Сохацький. Система зв'язків з громадськістю СЕВ ОВВ НПА. 2019—2022.
🌐 А.Задорожній. Реєстрові системи. 2020—2022.
Видавництво «Αξίωσις»
Видавництво спеціалізується на наукових дослідженнях, формальних системах, аксіоматичних системах, програмному забезпеченні, математиці, філософії, літературі, мистецтву. Сайт видавництва — axiosis.top