Petrov Aleksey V.
Publication schedule
-
№2 June 2024
-
№3 September 2024
-
№4 December 2024
Latest issues
- 2023, Volume 16 Issue 4 Full text
- 2023, Volume 16 Issue 3 Full text
- 2023, Volume 16 Issue 2 Full text
- 2023, Volume 16 Issue 1 Full text
Static approach for debugging of test scenarious generated with usage of heuristics.
- Year: 2012
- Issue: 4
- 0
- 5299
- Pages: 114-119
Usage of formalization approaches for creation of system models from ucm-specification
- Year: 2011
- Issue: 3
- 0
- 5108
- Pages: 180-184
Generation of formal model of a sysmem from requirements specified in Use Case Map
- Year: 2010
- Issue: 4
- 1
- 5016
- Pages: 191-195
Automation of formalization of requirement to program projects
- Year: 2009
- Issue: 3
- 0
- 5080
- Pages: 236-241