Publication schedule
  • №2 June 2024
  • №3 September 2024
  • №4 December 2024
Nikiforov Igor V.

Approach to concurrent systems testing based on UCM specification

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2014
  • Issue: 3
  • 287
  • 5560
  • Pages: 85-91

Formal models structurization based technique of complex software projects testing

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 747
  • 6135
  • Pages: 99-104

Integrated criteria of software requirement checking

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 608
  • 6209
  • Pages: 111-117

Restrictions on concurrent construction and time delays of UCM language

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2013
  • Issue: 3
  • 534
  • 6211
  • Pages: 148-153

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

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 5416
  • Pages: 114-119

Elaboration of the toolsuite for automation of the static and dynamic software requirement checking

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 5249
  • Pages: 119-123

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

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 3
  • 0
  • 5212
  • 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"
  • Year: 2010
  • Issue: 4
  • 1
  • 5145
  • Pages: 191-195

Technique for automating charging of an electric vehicle based on a Raspberry Pi controller using neural networks

Intellectual Systems and Technologies
  • Year: 2022
  • Volume: 15
  • Issue: 4
  • 36
  • 1732
  • Pages: 37-50