Publication schedule
  • №3 September 2020
  • №4 December 2020
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
  • 1577
  • Pages: 85-91

Formal models structurization based technique of complex software projects testing

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

Integrated criteria of software requirement checking

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 608
  • 2192
  • 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
  • 2166
  • 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
  • 1330
  • 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
  • 1230
  • 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
  • 1317
  • 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
  • 1219
  • Pages: 191-195