Publication schedule
-
№4 December 2025
-
№1 March 2026Submission deadline: 27 February 2026
-
№2 June 2026Submission deadline: 29 May 2026
-
№3 September 2026Submission deadline: 31 August 2026
Latest issues
- 2025, Volume 18 Issue 2 Full text
- 2025, Volume 18 Issue 1 Full text
- 2024, Volume 17 Issue 4 Full text
- 2024, Volume 17 Issue 3 Full text
Approach to concurrent systems testing based on UCM specification
- Year: 2014
- Issue: 3
- 287
- 7776
- Pages: 85-91
Formal models structurization based technique of complex software projects testing
- Year: 2013
- Issue: 3
- 747
- 8253
- Pages: 99-104
Restrictions on concurrent construction and time delays of UCM language
- Year: 2013
- Issue: 3
- 534
- 8416
- Pages: 148-153
Static approach for debugging of test scenarious generated with usage of heuristics.
- Year: 2012
- Issue: 4
- 0
- 7491
- Pages: 114-119
Usage of formalization approaches for creation of system models from ucm-specification
- Year: 2011
- Issue: 3
- 0
- 7268
- Pages: 180-184
Generation of formal model of a sysmem from requirements specified in Use Case Map
- Year: 2010
- Issue: 4
- 1
- 7272
- Pages: 191-195
Technique for automating charging of an electric vehicle based on a Raspberry Pi controller using neural networks
- Year: 2022
- Volume: 15
- Issue: 4
- 42
- 4172
- Pages: 37-50
Algorithm for monitoring and improving the stability of the IT infrastructure based on availability and reliability metrics
- Year: 2024
- Volume: 17
- Issue: 2
- 33
- 2151
- Pages: 24-37
A method for modeling of individual agent behavior in the process-network paradigm of discrete-event simulation
- Year: 2025
- Volume: 18
- Issue: 1
- 10
- 2501
- Pages: 23-35
IT project infrastructure setup automation with help of large language models
- Year: 2025
- Volume: 18
- Issue: 2
- 0
- 36
- Pages: 74-90