Computing, Telecommunications and Control
    Computing, Telecommunications and ControlPeter the Great St. Petersburg Polytechnic University
    Since 2008
    ISSN 2687-0517
    enАнглийский
    Version for the visually impaired
    AuthorAleksey V. Petrov
    Submit Your Paper
    Publication schedule
    • №3 September 2026
      Submission deadline: 31 August 2026
    • №4 December 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
    • 8764
    • 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
    • 1
    • 8449
    • 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
    • 8554
    • 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
    • 8374
    • Pages: 236-241