SPbPU Journal. Computer Science. Telecommunication and Control Systems
St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunication and Control Systems Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2304-9766
ISSN online 2618-8694
en Английский
Version for the visually impaired
Submit Your Paper
Publication schedule
  • №1 March 2020
    Submission deadline: 10 February 2020
  • №2 June 2020
    Submission deadline: 10 May 2020

Articles by keywords "UCM"

Approach for testing automation based on user scenarious

Conference "Technologies Microsoft in the theory and programming practice"
Drobintsev P.D. Kotlyarov V,P. Chernorutsky I.G.
  • Year: 2012
  • Issue: 4
  • 0
  • 980
  • Pages: 123-126

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
  • 991
  • Pages: 114-119

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
  • 919
  • Pages: 191-195

Restrictions on concurrent construction and time delays of UCM language

Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V. Kotlyarov V,P. Drobintsev P.D.
  • Year: 2013
  • Issue: 3
  • 534
  • 1827
  • Pages: 148-153

Formal models structurization based technique of complex software projects testing

Microsoft Сonference
Drobintsev P.D. Nikiforov I.V. Kotlyarov V,P.
  • Year: 2013
  • Issue: 3
  • 745
  • 1950
  • Pages: 99-104

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
  • 959
  • Pages: 180-184