Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397

Issue content

Issue N4 2022 year

Shelekhov V. I.
Automata-based Software Engineering with Event-B
pp. 155—167
Godunov A. N., Khomenkov I. I., Shchepkov V. G., Khoroshilov A. V.
Configurable Test System for RTOS of BAGET Family
pp. 168—177
Evgenev G. B.
Russian Technology of Industry 5.0. Metaontology
pp. 178—186
Gaydamaka K. I., Belonogova A. D.
Applying Unsupervised Machine Learning Algorithms to Ensure Requirements Consistency
pp. 187—199
Fedotov I. A., Khritankov A. S., Obidare M. D.
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
pp. 200—208