Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
Version for the visually impaired
Author Aleksey V. Petrov
Submit Your Paper
Publication schedule
  • №4 December 2025
  • №1 March 2026
    Submission deadline: 27 February 2026
  • №2 June 2026
    Submission deadline: 29 May 2026
  • №3 September 2026
    Submission deadline: 31 August 2026
Latest issues
Aleksey V. Petrov
Aleksey V. Petrov

Static approach for debugging of test scenarious generated with usage of heuristics.

Conference «Technologies Microsoft in the theory and programming practice»
Nikiforov I.V. Petrov A.V. Kotlyarov V,P.
  • Year: 2012
  • Issue: 4
  • 0
  • 7491
  • Pages: 114-119

Usage of formalization approaches for creation of system models from ucm-specification

Conference «Technologies Microsoft in the theory and programming practice»
Nikiforov I.V. Petrov A.V. Yusupov Yu.V. Kotlyarov V,P.
  • Year: 2011
  • Issue: 3
  • 0
  • 7268
  • Pages: 180-184

Generation of formal model of a sysmem from requirements specified in Use Case Map

Conference «Technologies Microsoft in the theory and programming practice»
Nikiforov I.V. Petrov A.V. Yusupov Yu.V.
  • Year: 2010
  • Issue: 4
  • 1
  • 7272
  • Pages: 191-195

Automation of formalization of requirement to program projects

Conference «Technologies Microsoft in the theory and programming practice»
Kotlyarov V,P. Petrov A.V.
  • Year: 2009
  • Issue: 3
  • 0
  • 7165
  • Pages: 236-241